当前位置:首页 > 数理化
数理逻辑漫谈
数理逻辑漫谈

数理逻辑漫谈PDF电子书下载

数理化

  • 电子书积分:7 积分如何计算积分?
  • 作 者:莫绍揆编著
  • 出 版 社:济南:山东科学技术出版社
  • 出版年份:1980
  • ISBN:13195·35
  • 页数:80 页
图书介绍:
《数理逻辑漫谈》目录

一 数理逻辑简史 1

二 数理逻辑的性质 14

三 数理逻辑的主要内容 19

四 一些基本概念的讨论 35

关于符号的使用 35

关于函数的概念 42

关于约束词(算子) 56

关于推导过程 68

五 研究数理逻辑的一些有关问题 77

相关图书
作者其它书籍
返回顶部