Calogero G. Zarba
Home
> Lecture Notes
Lecture Notes on Theoretical Foundations of Computer Science
Table of Contents
Chapter 1:
Naive Set Theory
Chapter 2:
Natural Numbers
Chapter 3:
Cardinality
Chapter 4:
Well-Founded Induction
Chapter 5:
Propositional Logic
Chapter 6:
First-Order Logic
Chapter 7:
Regular Languages
Lecture notes on Decision Procedures
Table of Contents
Chapter 1:
Many-Sorted Logic
Chapter 2:
Equality
Chapter 3:
Reals
Chapter 4:
Integers
Chapter 5:
Lists
Chapter 6:
Arrays
Chapter 7:
Sets
Chapter 8:
Multisets
Chapter 9:
Combination