大约有1,000项符合查询结果项。（搜索耗时：0.0113秒）
为您推荐：
华东师范大学政教系逻辑教研室
华东师范大学政教系逻辑教研室编
陕西师范大学政教系马列主义基础教研室
press南京师范学院政教系政治经济学教研组
南京师范学院政教系政治经济学教研组选
福建师范大学政教系资料室
-
昂扬编著1991 年出版230 页ISBN：7309006682
本书系统地讲解了数理逻辑的思想与方法
-
李仲来主编2005 年出版320 页ISBN：7303074945
-
陈淑敏编1984 年出版185 页ISBN：13217·126
-
翟连林，陈伟侯主编1987 年出版715 页ISBN：7216·302
-
李娜编著2010 年出版271 页ISBN：9787307079915
本书介绍了三个在线逻辑软件和LPL逻辑软件包的使用，简单命题、复合命题、命题逻辑，量词的引入和量词的逻辑介绍。适合相关专业学生使用。...
-
汪芳庭编著2010 年出版205 页ISBN：9787312027086
本书内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书可用作计算机专业研究生或高年级本科生教材。...
-
王世强，孟晓青著1999 年出版377 页ISBN：7303048553
国家自然科学基金教育部博士点基金资助项目。
-
（英）拉卡托斯（Lakatos，I.）等编著；康宏逵译1987 年出版209 页ISBN：2188·44
本书探讨了数学发现的逻辑
-
-
