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