Students learn to analyze text and understand it from the logic point of view, and to convert simple texts into a formal notation. Students can decide on the validity of logic formulas and prove them. They understand the difference between syntax and semantics of formal logics. They are able to work with axiomatic systems and know their basic properties. Students master Boolean algebra, both theoretically as a formal system and an instance of universal algebra, and practically as a tool to describe digital systems. They get skills needed to work with Boolean functions, normal forms, maps and minimization methods needed in other modules. They know a wider historical context of mathematical logic.

- Examples of models and theories.
- Importance of logic, history. Propositional logic. Formalization of natural language sentences. Basic notions: language, formula.
- Semantics of propositional logic: values, truth tables. Tautology, contradiction, satisfiability, semantic consequence. Basic laws of propositional logic.
- CNF and DNF, decomposition trees. Analysis of natural language text.
- Boolean algebra. Boolean function minimization. Maps.
- Syntax of propositional logic: Hilbert's axiomatic system. Formal proof, types of mathematical proofs.
- Deduction theorem. Correctness and completeness. Compactness theorem.
- Predicate logic. Formalization of natural language sentences. Basic notions: language, quantifier, term, formula.
- Semantics of predicate logic: Tarski's truth definition. Validity of formulas, logically equivalent formulas, basic laws of predicate logic.
- Interpretation, model, theory. Decomposition trees.
- Logical analysis of natural language text. Prenex form of formulas.
- Syntax of predicate logic: Hilbert's axiomatic system. Correctness and completeness.
- Basic concepts of set theory: Actual and potential infinity, significance of sets, cardinality, continuum hypothesis, selection axiom, formal systems, independent statements.

- Formalization of simple statements in propositional logic.
- Truth tables. Tautology, contradiction, satisfiability, semantic consequence.
- CNF and DNF. Boolean algebra. Minimization, maps.
- Decomposition trees. Analysis of natural language text.
- Proofs in Hilbert's axiomatic system. Types of mathematical proofs.
- Formalization of simple statements in predicate logic.
- Three types of logical satisfiability in predicate logic.
- Interpretation, model, theory. Decomposition trees.
- Prenex form of formulas. Analysis of natural language text.
- Examples of models and theories.
- Correctness, consistency, completeness.
- Set cardinality, isomorphisms.

Last modified: 7.9.2010, 11:04