Lehrinhalte
Elementary logic: propositional logic and first order logic; syntax, semantics
and deductive calculi. Basic axiomatic set theory; set-theoretic construction
of basic mathematical entities; ordinal and cardinal numbers. Computability,
decidability and recursive enumerability based on a simple model of
computation.
Online-Angebote
moodle
Elementary logic: propositional logic and first order logic; syntax, semantics
and deductive calculi. Basic axiomatic set theory; set-theoretic construction
of basic mathematical entities; ordinal and cardinal numbers. Computability,
decidability and recursive enumerability based on a simple model of
computation.
Online-Angebote
moodle
- Lehrende: Martin Otto
Semester: ST 2020