本体逻辑原理与应用PDF电子书下载
- 电子书积分:8 积分如何计算积分?
- 作 者:万继华著
- 出 版 社:广州:广东科技出版社
- 出版年份:2008
- ISBN:9787535944993
- 页数:149 页
第1章 理论概况 1
1.1 本体逻辑的基本思想 1
1.2 本体逻辑与现代数理逻辑的关系 4
1.2.1 本体逻辑与现代数理逻辑的主要区别 4
1.2.2 本体逻辑与现代数理逻辑的联系 6
1.3 理论渊源 6
1.4 理论意义和应用价值 10
1.4.1 理论意义 10
1.4.2 应用价值 12
第2章 理论基础 14
2.1 逻辑基础 14
2.1.1 本体论定理和条件定律 14
2.1.2 定理的证明 18
2.1.3 形式语义学原理 23
2.2 哲学基础 28
2.2.1 概念——逻辑在先的存在根据 35
2.2.2 解释——逻辑可能的存在实体 43
2.2.3 定义——逻辑必然的结构模型 51
第3章 真值演算系统 62
3.1 主要定义 64
3.2 符号系统 66
3.2.1 逻辑真值符号 66
3.2.2 逻辑运算符号 67
3.2.3 变量符号 67
3.2.4 分隔符号 68
3.3 真值赋值规则 68
3.4 系统的逻辑结构 71
3.4.1 命题的组织结构 71
3.4.2 真值形式系统 73
3.5 自然语言的真值演算 75
第4章 理论的推广 81
4.1 本体逻辑与哲学 82
4.2 本体逻辑与物理学 86
4.3 本体逻辑与数学 89
4.4 本体逻辑与化学 91
4.5 本体逻辑与生物学 92
第5章 理论的工程技术应用 95
5.1 应用于计算机程序设计的自然语言编译技术 95
5.1.1 设计思想 95
5.1.2 实现方法 97
5.1.3 自然语言编译器——发明专利说明书 99
5.2 应用于构造智能计算机的数字电路设计 115
5.2.1 设计思想 115
5.2.2 实现方法 115
5.2.3 智能型组合门电路和JH量子编译器——发明专利说明书 120
5.3 应用于生物信息工程的基因语义分析技术 135
5.3.1 逻辑信息模型与基因语义性质的对应关系 135
5.3.2 控制基因表达的技术设计路线 141
附录 JH语言 144
1 基本框架 144
2 主要规则 145
- 《钒产业技术及应用》高峰,彭清静,华骏主编 2019
- 《现代水泥技术发展与应用论文集》天津水泥工业设计研究院有限公司编 2019
- 《英汉翻译理论的多维阐释及应用剖析》常瑞娟著 2019
- 《数据库技术与应用 Access 2010 微课版 第2版》刘卫国主编 2020
- 《区块链DAPP开发入门、代码实现、场景应用》李万胜著 2019
- 《虚拟流域环境理论技术研究与应用》冶运涛蒋云钟梁犁丽曹引等编著 2019
- 《当代翻译美学的理论诠释与应用解读》宁建庚著 2019
- 《第一性原理方法及应用》李青坤著 2019
- 《计算机组成原理解题参考 第7版》张基温 2017
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《刘泽华全集 先秦政治思想史 下》刘泽华著;南开大学历史学院编 2019
- 《口译理论研究》王斌华著 2019
- 《陶瓷工业节能减排技术丛书 陶瓷工业节能减排与污染综合治理》罗民华著 2017
- 《郎才女貌》李之华著 1942
- 《最美的时光》桐华著 2020
- 《禅宗精神与后现代精神的“家族相似”》邱紫华著 2019
- 《钢琴演奏与钢琴教学研究》张鲜华著 2018
- 《澳门人家》梁振华著 2019
- 《春日之书》陆烨华著 2019
- 《刘泽华全集 先秦政治思想史 上》刘泽华著;南开大学历史学院编 2019
- 《中国十大出版家》王震,贺越明著 1991
- 《近代民营出版机构的英语函授教育 以“商务、中华、开明”函授学校为个案 1915年-1946年版》丁伟 2017
- 《科技语篇翻译教程》雷晓峰,李静主编 2020
- 《二十世纪广东包装设计史》王娟著 2019
- 《国之重器出版工程 云化虚拟现实技术与应用》熊华平 2019
- 《新闻出版博物馆 总第33期》新闻出版博物馆 2018
- 《上海市订购外国和港台科技期刊联合目录 1983 上》上海科学技术情报研究所 1983
- 《生物科技、医学与法律》齐延平,安·玛丽·杜盖著 2018
- 《科技新闻英语 英汉互译精选》郑佩芸主编;吴越,郭亮,毛隽副主编 2019
- 《科技法教程》李功国著 1993