| 《当代形式逻辑及其在人工智能中的应用理论研究》是由电子工业出版社出版的。 |
龚启荣，江西景德镇人。1964年贵州大学毕业后被选派到贵州省委党校理论研究班学习并开始从事理论教育工作。系贵州省先进科技工作者、国际符号逻辑协会会员、BLS国际逻辑学会会员、东亚国际符号学会会员、贵州省社科联委员、贵州省科协第四届委员、贵州制约逻辑学会理事长、贵州省逻辑教学研究会会长。曾任贵州大学信息管理系系主任。现任贵州大学老科学技术工作者协会基础与人文社会科学工作委员会副主任、逻辑学教授、学术带头人、逻辑学研究生导师，任贵州人民武装学院督导和逻辑学教授。发表论著Entailment Logic——A Development of Traditional Logic Our Times（J）（第 |
| 第1篇 导论 第1章 前言 第2章 当代形式逻辑语义学基础 第3章 逻辑规律是客观世界的规律 第2篇 逻辑思考 第4章 逻辑思考概述 第5章 概念 第6章 原子命题纯真值复合命题 第7章 非纯真值复合命题 第8章 逻辑定理 第9章 逻辑证明与证实 第10章 关于逻辑证明哲学意义的深入探讨 第3篇 当代形式逻辑cm系统 第11章 命题逻辑cm系统的形式语言 第12章 cm的公理、导出公式、规则和元定理 |
内容加载中，请稍后...
商品评论（0条）