Mgr. Šárka Stejskalová, Ph.D.
| | | |  |
|  Code |  Title |  Semester | Hours per week, examination | Department | Faculty | Virtual mobility | Capacity | 4EU+ |
 |
ALG119009 |
Logic exercise I |
winter |
winter s.:0/2, C [HT] |
21-KLOG |
FF |
no |
|
no |
 |
ALG119010 |
Logic exercise II |
summer |
summer s.:0/2, C [HT] |
21-KLOG |
FF |
no |
|
no |
 |
ALG119015 |
Applications of Logic |
summer |
summer s.:0/2, C [HT] |
21-KLOG |
FF |
no |
|
no |
 |
ALGV00035 |
Mathematical Seminar |
winter |
winter s.:0/2, C [HT] |
21-KLOG |
FF |
no |
|
no |
 |
ALG110007 |
Set Theory I |
summer |
summer s.:2/1, Ex [HT] |
21-KLOG |
FF |
no |
|
no |
 |
ALGV00054 |
Introduction to forcing |
summer |
summer s.:2/0, Ex [HT] |
21-KLOG |
FF |
no |
|
no |
 |
ALGV19020 |
Many-valued and relevant logics |
winter |
winter s.:2/1, C [HT] |
21-KLOG |
FF |
no |
|
no |
 |
ALG119011 |
Propositional and predicate logic I |
winter |
winter s.:2/0, Ex [HT] |
21-KLOG |
FF |
no |
|
no |
 |
ALG119012 |
Propositional and predicate logic II |
summer |
summer s.:2/0, Ex [HT] |
21-KLOG |
FF |
no |
|
no |