数理逻辑

Georg Cantor

(集合论)

Georg Cantor (集合论) | Paul Cohen(数理逻辑,集合论) | Paul Erdos(分析,组合,数论)

dialectical logic

辩证逻辑 formal logic形式逻辑

logic n.逻辑,逻辑学,逻辑性 | dialectical logic辩证逻辑 formal logic形式逻辑 | mathematical logic数理逻辑 chop logic 诡辩,公孙龙,名家

Digit Circuit and Logic Design

数字电路与逻辑设计

概率论与数理统计 Probability and Mathematical Statistics | 数字电路与逻辑设计 Digit Circuit and Logic Design | 操作系统 Operating System

evolutionism

进化主义

(3)行为主义(actionism),又称为进化主义(evolutionism)或控制论学派(cyberneticsism),其原理为控制论及感知-动作型控制系统. 他们对人工智能发展历史具有不同的看法. 1、符号主义 认为人工智能源于数理逻辑. 数理逻辑从19世纪末起得以迅速发展,

辩证逻辑 formal logic形式逻辑

dialectical logic

logic n.逻辑,逻辑学,逻辑性 | dialectical logic辩证逻辑 formal logic形式逻辑 | mathematical logic数理逻辑 chop logic 诡辩,公孙龙,名家

Mathematical Intelligencer

数学情报

Mathematical Geology 数理地质学 | Mathematical Intelligencer 数学情报 | Mathematical Logic Quarterly 数理逻辑学报

proof theory

证明论

在证明论(proof theory)和相关的数理逻辑的领域中,一个形式的演算(caluclus)相对于一个特定的逻辑(即相对于它的语义(semantics))是完备的,如果任何由一组前提Q根据语义导出的陈述P,都可以从这组前提出发利用这个演算语法地(syntactically)导出.

propositional calculus

命题演算

关系演算基于数理逻辑的一个分支命题演算(propositional calculus),更精确地说是一阶谓词演算(first-order predicate calculus). 关系演算在逻辑表达式中使用AND和OR这样的运算符来进行关系运算. SEQUEL(结构化英语查询语言)是SQL的前身,由IBM开发,

Logics

逻辑学

逻辑学(Logics)我们主要指数理逻辑,形式逻辑在推理问题中也有比较广泛的应用. (比如我们学校还为此专门开设了选修课程)这方面的参考推荐中科院软件所陆钟万教授的<<面向计算机科学的数理逻辑>>. 现在可以找到陆钟万教授的讲课录像,

traditional logic

传统逻辑

按其历史发展的不同阶段,通常把它分为传统逻辑(traditional logic)和现代逻辑(modern logic)(吴家国等,1993). 传统逻辑是指从古希腊亚里士多德(Aristotle)开创至19世纪进入现代发展阶段以前所发展起来的形式逻辑体系和理论;现代逻辑的主流是数理逻辑,

But there's no greater sin than to overcook a quail：最大的罪恶就是把鹌鹑煮得过熟

...barbecue them, and even braise them.|甚... | But there's no greater sin than to overcook a quail.|最大的罪恶就是把鹌鹑煮得过熟 | Perfectly cooked, it must have a touch of pink on the breast.|烹煮得刚...

stylistic features：文体特点

文体标记:stylistic marker | 文体特点:stylistic features | 体例:stylistic rules and layout