Logic Proof Jeremy Avigad, Robert Y. Lewis, Floris van D

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

Logic Proof  Jeremy Avigad, Robert Y. Lewis, Floris van D
1 Introduction
2 Propositional Logic
3 Natural Deduction for Propositional Logic
4 Propositional Logic in Lean
5 Classical Reasoning
6 Semantics of Propositional Logic
7 First Order Logic
8 Natural Deduction for First Order Logic
9 First Order Logic in Lean
10 Semantics of First Order Logic
11 Sets
12 Sets in Lean
13 Relations
14 Relations in Lean
15 Functions
16 Functions in Lean
17 The Natural Numbers and Induction
18 The Natural Numbers and Induction in Lean
19 Elementary Number Theory
20 Combinatorics
21 The Real Numbers
22 The Infinite
23 Axiomatic Foundations
24 Appendix: Natural Deduction Rules
221页

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：Robert Jeremy Logic Rober Lewis