一阶逻辑
1990-01
一阶逻辑是关于一阶语言及其模型的逻辑理论。它是现代逻辑的基础分支学科。19世纪70年代以后,康托(Cantor,G.)建立了集合论。19世纪80年代,弗雷格(Frege,G.)用形式化方法建立了谓词理论。此后,在谓词理论和模型论的基础上发展了一阶...... （本文共 1266 字 ） [阅读本文]>>
更多同类【现代学科】......
词 典
- 论语孟子
- 中国学术
- 哲学著作
- 爱犬养护
- 百花百话
- 百科合称
- 保定庙会
- 北大百联
- 哺乳动物
- 军事常识
- 人文常识
- 艺术常识
- 中外名人
- 重大事件
- 藏传佛教
- 三峡昆虫
- 城市供热
- 传世名方
- 词名索引
- 大历诗略
- 大学历史
- 当代科学
- 东方文化
- 东方文学
- 冬虫夏草
- 法律文书
- 佛源语词
- 福州方言
- 港口经济
- 高等数学
- 公共关系
- 公证律师
- 古今谋略
- 古钱百咏
- 古诗百科
- 古诗评译
- 古文鉴赏
- 关东文化
- 广播电视
- 国防经济
- 国际关系
- 国际金融
- 国际政治
- 国史纪事
- 汉代长安
- 汉英经贸
- 汉族风俗
- 河南蜻蜓
- 赫章彝族
- 红河彝族
- 湖湘文化
- 画说西藏
- 环境科学
- 环球地名
- 皇帝内经
- 皇权兴衰
- 皇权兴衰
- 黄帝内经
- 黄节诗学
- 机械加工
- 蓟州风物
- 民间疗法
- 精细化工
- 同义反义
- 文史知识
- 文学知识
- 西方哲学
- 建安诗文
- 建筑经济
- 交叉科学
- 教师百科
- 教育评价
- 金属材料
- 京剧剧目
- 经济法学
- 经济科学
- 精细化工
- 决策科学
- 科技编辑
- 科学技术
- 孔子文化
- 老子鉴赏
- 李白诗歌
- 历代典故
- 历代绝句
- 历代骈文
- 爱情佳句
- 文坛掌故
- 历史大事
- 国史全鉴
- 名城杭州
- 名城临海
- 名城衢州
- 连用成语
- 两汉职官
- 领导干部
- 吕氏春秋
- 伦理百科
- 论语鉴赏
- 漫画知识
- 美丑大典
- 美军服装
- 美食中国
- 美术辞林
- 唐墓壁画
- 民间禁忌
- 民间文学
- 民族知识
- 名著缩微
- 明清西安
- 明清治藏
- 南社戏剧
- 宁波古韵
- 欧洲历史
- 热工技术
- 人口管理
- 人口科学
- 人类科学
- 人生哲学
- 儒林外史
- 三宝合璧
- 三国韬略
- 陕北方言
- 陕西烹饪
- 常用钢材
- 商业会计
- 尚氏易学
- 神州秘方
- 诗歌美学
- 石油技术
- 实用方法
- 实用公文
- 外国文学
- 外国哲学
- 外台秘要