Mathematical logic 2001/02.

For 3rd year computer science students. 
Official name: Logica
Script (only Perl programming)

BOOLEAN LOGIC

Boolean functions
Minimal polynomials
Finite dynamical systems
Binary decision graphs
Some Perl programs for boolean logic

PROPOSITIONAL LOGIC

The syntax of propositional logic
The semantics of propositional logic
Connections with boolean logic and decidability

PREDICATE LOGIC

The syntax of predicate logic
The semantics of predicate logic