Mathematical logic and theoretical computer science (51 ECTS)
Core modules logic
- 250099 SE [ en ] ( VOR-ORT ) Research seminar in set theory
- 250124 SE [ en ] ( VOR-ORT ) Logic Colloquium
- 250136 VO [ en ] ( VOR-ORT ) Axiomatic set theory 1
- 250137 PS [ en ] ( VOR-ORT ) Introductory seminar on Axiomatic set theory 1
- 510004 SE [ en ] ( VOR-ORT ) Research seminar in Model Theory
Topics courses logic
- 250042 PS [ en ] ( VOR-ORT ) Quantum Information, Quantum Computing, and Quantum Algorithms
- 250078 VO [ en ] ( VOR-ORT ) Quantum Information, Quantum Computing, and Quantum Algorithms
- 250138 VO [ en ] ( VOR-ORT ) Model Theory
Letzte Änderung: Fr 12.01.2024 00:44