数理逻辑

ISBN-10
7810242768
ISBN-13
9787810242769
Category
Logic, Symbolic and mathematical
Pages
245
Language
Chinese
Published
1993
Author
王兵山

Description

研究生教材

Other editions

Similar books

  • 吴允曾选集: 数理逻辑与计算机科学
    By 吴允曾

    本书包括吴先生的论文、演讲等39篇。内容大体分为四类一、关于逻辑;二、关于计算机科学;三、关于数理逻辑与计算机科学的相互关系;四、其它。

  • 离散数学
    By 屈婉玲, 耿素云, 张立昂

    21世纪大学本科计算机专业系列教材根据教育部高教司主持评审的《中国计算机科学与技术学科教程2002》组织编写

  • 陇上学人文存.陶景侃卷
    By 王福生, 范鹏, 陶景侃

    这位曾为法国拿破仑干杯的普鲁士王国顺民,以其自己的特色总结上列的哲学线索,写出了他的《逻辑学》。《逻辑学》作为认识论,其终点是“实践”,不过在黑格尔那里是概念中的实践。马克思用点睛之笔改造了黑格尔概念中的“实践”,使之成为人的感性活动的真正实践, ...

  • 汤用彤先生编年事辑(精)
    By 赵建永

    汤用彤先生作为“会通中西,接通华梵,熔铸古今”的国学大师,其求学、治学、教学、办学之经历,是中国学术现代化进程的一个缩影。全书力求体现资料性、学术性、传记性、可读性四者之统一,以翔实可靠的一手文献为依据,大量使用手稿、档案等未刊材料,采用客观陈述的方法,辅以必要的考辨和评论,细节考证甚见功力。

  • 聚变能引论
    By 罗思

    Ben shu ji jie shao le ju bian deng li zi ti wu li zhong de ji ben wen ti;Ye jie shao le ju bian fan ying dui gong cheng...

  • 数学思想教育研究论
    By 孙杰

    学科教育学是在20世纪70年代发展起来的新兴学科群体,其中当以数学学科教育比较领先。数学学科教育作为学科教育的重要内容和表现形式,以当时的社会历史和文化为背景,随着数学学科的发展而发展,并经过历次改革而不断丰富。随着我国教育改革的不断深入与数学教育研究的不断深化,无论是数学教育观念,还是数学教师的角色都发生了深刻变化,各种新思想和新理论不断涌现,各种相应的教学改革实验也相继展开,这已成为世界数学教育改革的潮流。邓小平同志的“教育要面向现代化,面向世界,面向未来”昭示人们:要赶上世界数学教育发展的潮流,结合我国数学教育的成功经验,建立起具有中国特色的数学教育体系,是我们面临的任务,21世纪为数学学科教育将带来新的发展契机。可以预见,21世纪我国的数学学科教育必将进入一个新的发展阶段,达到一个全新的理论水平,为数学学科教育的研究提供更加广阔的用武空间。在这样的一个背景下,数学教育的理论研究仍然有许多空白需要填补,数学教育需要运用现代的先进教育理论、观念和科学方法,需要在已有的基础上进一步深入地开展研究工作,以适应不断发展的新形势。基于此,撰写了本书。

  • 计算机类教材书目(2005.9)

    计算机类教材书目(2005.9)

  • 分析哲學家的智慧
    By 沈學甫

    本書主要介紹了語言分析哲人中的代表人物如羅素、維特根斯坦等人的思想智慧,解析了語言分析哲學的含義、研究內容及方法等常識性知識。鑒於語言哲學是現代西方哲學中影響大、成果為卓著的一個哲學流派,因此本書對於我們瞭解該學派,及如何通過分析日常語言解決哲學問題具有普及和啟發意義,並從中汲取智慧養分。

  • 数学与哲学:林夏水文选
    By 林夏水

    馬克思《數學手稿》與微積分理論具有何種關係;現代數學的研究物件是純量還是結構;數學是經驗科學還是演繹科學;實踐檢驗數學的真理性是否只有一種真假判斷;非線性科學揭示出自然界存在一類新的、更普遍的、既確定又隨機的混沌現象,它向決定論自然觀提出哪些挑戰,是否說明世界是非決定論的;等等。對這些問題,作者從數學哲學的角度提出了自己的見解和解決方法。

  • 哲学导论新编
    By 章仁彪主编

    本书对哲学与时代、哲学与社会、哲学与科学、哲学与宗教、哲学与民族传统等方面的关系作出诠释和思索,对一些哲学基本概念如存在、思维、时空、和合、真理等作出新的缕析和界定。