Logika - ASZKN1LO17
|
|
Pořadí | Název předmětu |
Tématický okruh 1 (TO1) | |
1 | Klasická logika |
Tématický okruh 2 (TO2) z nabídky 2 | |
2 | Filozofie logiky a jazyka |
2 | Výpočtová složitost |
2 | Teorie rekurzívních funkcí a množin |
2 | Neklasické logiky |
2 | Teorie důkazů |
2 | Teorie modelů |
2 | Obecná jazykověda |
2 | Teorie množin a její modely |