疯狂的Aatrox

导航

2022年7月1日 #

二元关系

摘要： 阅读全文

posted @ 2022-07-01 18:36 疯狂的Aatrox 阅读(61) 评论(0) 推荐(0)

函数

摘要： 阅读全文

posted @ 2022-07-01 17:33 疯狂的Aatrox 阅读(18) 评论(0) 推荐(0)

逻辑学的发展史

摘要： 在西方思想史中，逻辑学的发展有三大时期，当然这三个时期也并非持续连贯，期间包夹了一些荒芜时期。整体来说，第一个时期是公元前400年至公元前200年的古希腊，这一时期最有影响力的人物是亚里士多德，就是他发展了“三段论”。 第二个时期是从12世纪到14世纪，这一时期的繁荣源于中世纪的欧洲大学，比如巴黎大 阅读全文

posted @ 2022-07-01 17:22 疯狂的Aatrox 阅读(2674) 评论(0) 推荐(0)

一阶逻辑等值演算与推理

摘要： 阅读全文

posted @ 2022-07-01 17:21 疯狂的Aatrox 阅读(21) 评论(0) 推荐(0)

一阶逻辑基本概念

摘要： 阅读全文

posted @ 2022-07-01 16:48 疯狂的Aatrox 阅读(107) 评论(0) 推荐(0)