This text is designed for those instructors who desire a comprehensive introduction to formal logic that is both rigorous and accessible to students encountering the subject for the first time. Numerous carefully crafted exercise sets accompanied by clear, crisp exposition give students a firm grasp of basic concepts and take the student from sentential logic through first-orde...
2023-07-24 11:43:31
6.04MB
1
1.1 实验目的 3
1.2 实验内容及要求 3
2.1 总体设计思路与总体框架 3
2.1.1 总体设计思路 3
2.1.2 具体做法 3
2.1.3 总体思
2022-11-29 21:01:14
779KB
1
外文版的一阶逻辑经典书籍(First-Order-Logic)，不可多得的好书！
2021-10-12 11:08:09
14.6MB
1