Calogero G. Zarba: Lecture Notes

The Wayback Machine - https://web.archive.org/web/20081006212815/http://react.cs.uni-sb.de:80/~zarba/notes.html

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