- Věty o úplnosti a kompaktnosti v klasické logiceAXLOSPE12 | Filozofická fakulta
- Výroková a predikátová logika +1NAIL062 | Matematicko-fyzikální fakulta
- VyčíslitelnostNLTM021 | Matematicko-fyzikální fakulta
- Metrické a normované prostory +1OKBM3M046A | Pedagogická fakulta
- Základy složitosti a vyčíslitelnosti +1NTIX090 | Matematicko-fyzikální fakulta
- Matematická logika +5OKBM4M052B | Pedagogická fakulta
- Automaty a výpočetní složitostNMMB415 | Matematicko-fyzikální fakulta
- Ekonometrie IIJEB014 | Fakulta sociálních věd
- Algoritmy na mřížíchNMMB411 | Matematicko-fyzikální fakulta
- Klasická logika I +1ALG210002 | Filozofická fakulta
- Dynamické logikyALGV00040 | Filozofická fakulta
- Vyčíslitelnost AALG110010 | Filozofická fakulta
- Logika +2ASG100015 | Filozofická fakulta
- Řecký jazyk a četba IAGR400002 | Filozofická fakulta
- Jazykové cvičení I [1]AGR400003 | Filozofická fakulta
- Lexikální cvičeníAGR400004 | Filozofická fakulta
- Jazykové cvičení I [2]AGR400038 | Filozofická fakulta
- Modální logikyALG110012 | Filozofická fakulta
- Modální logiky IALG210008 | Filozofická fakulta
