- Logika seminář +1OB1310003 | Pedagogická fakulta
- Logika +3OB1310N002 | Pedagogická fakulta
- Matematická logikaNMAG331 | Matematicko-fyzikální fakulta
- Základy složitosti a vyčíslitelnosti +1NTIN090 | Matematicko-fyzikální fakulta
- Vlastnosti axiomatických teoriíALG119006 | Filozofická fakulta
- VyčíslitelnostNTIN064 | Matematicko-fyzikální fakulta
- Automaty a gramatiky +1NTIN071 | Matematicko-fyzikální fakulta