Filetype PDF | Posted on 27 Jan 2023 | 2 years ago
Authentication
digital resources
125x Filetype PDF File size 1.08 MB Source: www.lrde.epita.fr
June 8, 2022
AnIntroduction to Logic and Lambda
Calculus
Adrien Pommellet
Contents
AHistorical Overview of Logic 5
Of Induction 7
Propositional Formulas 11
The Boolean Satisfiability Problem 15
Hilbert Calculus 19
Proof Systems and Semantics 23
Natural Deduction 25
Properties of Natural Deduction 29
First-order Logic 33
Extending Natural Deduction 37
Sequent Calculus 39
Properties of Classical Predicate Logic 43
Lambda Calculus 47
Reducing Lambda Terms 51
Lambda Calculus as a Programming Language 57
Simply Typed Lambda Calculus 63
Type Assignments 67
4
The Curry-Howard Isomorphism 71
Going Further 77
no reviews yet
Please Login to review.
