数理逻辑读书介绍

类别	页数	译者	网友评分	年代	出版社
书籍	274页		7.2	2020	北京大学出版社

定价	出版日期	最近访问	访问指数
28.00元	2020-02-20 …	2020-05-31 …	65

主题/类型/题材/标签

数理逻辑,逻辑学,数学,逻辑,哲学,教材,符号学,语义,

作者

邢滔滔 ISBN:9787301112557 原作名/别名:《》

内容和作者简介

数理逻辑摘要

本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，针对逻辑学的初学者，尤其是初学逻辑的学生，介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。

作者简介

邢滔滔，北京大学哲学系副教授

本书后续版本

未发行或暂未收录

喜欢读〖数理逻辑〗的人也喜欢：

面向计算机科学的数理逻辑系统建模与推理计算机科学,数理逻辑,数学,逻辑,计算机,推理,建模,CS,　2020-02-20 …

面向计算机科学的数理逻辑系统建模与推理数理逻辑,计算机科学,计算机,逻辑,数学,逻辑学,推理,模型检测,　2020-02-20 …

数理逻辑数理逻辑,数学,逻辑学,哥德尔,逻辑,大三下,高分,画画,　2020-02-20 …

数理逻辑数理逻辑,逻辑学,数学,逻辑,哲学,教材,符号学,语义,　2020-02-20 …

数学家的逻辑数理逻辑,数学,逻辑学,逻辑,（旧版）,蔡曙山荐,老师推荐,未读完,　2020-02-20 …

形式逻辑和先验逻辑逻辑学,现象学,胡塞尔,哲学,逻辑,数学,西方现代哲学,德国哲学,　2020-02-20 …

数理逻辑数理逻辑,数学,逻辑,逻辑学,计算机,入门,阅读,高分,　2020-02-20 …

数理逻辑数理逻辑,数学,逻辑,逻辑学,计算机科学,计算机,哲学,计算理论,　2020-02-20 …

可计算性与数理逻辑数学,逻辑学,逻辑,人工智能,计算理论,计算机,数理逻辑,计算机科学,　2020-02-20 …

可计算性与数理逻辑数理逻辑,数学,计算机科学,计算机,逻辑,逻辑学,哲学,计算,　2020-02-20 …