Lectures:
1) Proof calculi, consistence and completeness.
2) Hilbert-style proof calculus.
3) Logical theories; completeness and incompleteness of a theory, decidability.
4) Theory of relations; equivalence and orderings.
5) Algebraic theories; groups, rings and fields.
6) Lattice theory, conceptual lattices.
7) Theories of arithmetic, Gödel results; incompleteness theorems.
8) Theory of recursive functions and algorithms.
9) Sequent calculi
10) Intensional logics and Kripke semantics.
Seminars:
1) Proof calculi, consistence and completeness.
2) Hilbert-style proof calculus.
3) Logical theories; completeness and incompleteness of a theory, decidability.
4) Theory of relations; equivalence and orderings.
5) Algebraic theories; groups, rings and fields.
6) Lattice theory, conceptual lattices.
7) Theories of arithmetic, Gödel results; incompleteness theorems.
8) Theory of recursive functions and algorithms.
9) Sequent calculi
10) Intensional logics and Kripke semantics.
1) Proof calculi, consistence and completeness.
2) Hilbert-style proof calculus.
3) Logical theories; completeness and incompleteness of a theory, decidability.
4) Theory of relations; equivalence and orderings.
5) Algebraic theories; groups, rings and fields.
6) Lattice theory, conceptual lattices.
7) Theories of arithmetic, Gödel results; incompleteness theorems.
8) Theory of recursive functions and algorithms.
9) Sequent calculi
10) Intensional logics and Kripke semantics.
Seminars:
1) Proof calculi, consistence and completeness.
2) Hilbert-style proof calculus.
3) Logical theories; completeness and incompleteness of a theory, decidability.
4) Theory of relations; equivalence and orderings.
5) Algebraic theories; groups, rings and fields.
6) Lattice theory, conceptual lattices.
7) Theories of arithmetic, Gödel results; incompleteness theorems.
8) Theory of recursive functions and algorithms.
9) Sequent calculi
10) Intensional logics and Kripke semantics.