doc. RNDr. Vítězslav Švejdar, CSc.
| Address: | nám. J. Palacha 22, Praha 1, |
|---|---|
| Office: | Katedra logiky Filozofická fakulta UK |
| Fax: | |
| Additional information: | https://is.cuni.cz/webapps/whois2/osoba/1825896371175144 |
| Faculty: | Faculty of Arts |
| Department: | Department of Logic (21-KLOG) |
| Phone: | 221619646 |
| E-mail: | vitezslav.svejdar@ff.cuni.cz |
| Consultation hours: | |
| Courses Schedule Noticeboard |
 |
  Code | Title | Semester | Hours per week, examination | Department | Faculty | Virtual mobility | Capacity | 4EU+ | |
 |
ALG110008 | Arithmetic and Algorithms | summer | summer s.:1/1, Ex [HT] | 21-KLOG | FF | no | no | |
|
AXLOOAK00 | Publications and Research Activities I - Total Requirement Completed | winter | winter s.:0/0, --- [HT] summer s.:0/0, other [HT] |
21-KLOG | FF | no | no | |
|
ALINV374B | Applications of Logic | summer | summer s.:0/2, C [HT] | 21-UL | FF | no | no | |
|
ALINV380M | Applications of Logic | summer | summer s.:0/2, C [HT] | 21-UL | FF | no | no | |
|
ALG119007 | Gödel's Theorems and Incompletness | summer | summer s.:2/2, Ex [HT] | 21-KLOG | FF | no | no | |
|
AXLOOAK01 | Publications and Research Activities I | winter | winter s.:0/0, --- [HT] summer s.:0/0, other [HT] |
21-KLOG | FF | no | no | |
|
AXLOOAK02 | Publications and Research Activities II | winter | winter s.:0/0, --- [HT] summer s.:0/0, other [HT] |
21-KLOG | FF | no | no | |
|
AXLOOAK03 | Publications and Research Activities III | winter | winter s.:0/0, --- [HT] summer s.:0/0, other [HT] |
21-KLOG | FF | no | no | |
|
AXLOOAK04 | Publications and Research Activities IV | winter | winter s.:0/0, --- [HT] summer s.:0/0, other [HT] |
21-KLOG | FF | no | no | |
|
AXLOOAK05 | Publications and Research Activities V | winter | winter s.:0/0, --- [HT] summer s.:0/0, other [HT] |
21-KLOG | FF | no | no | |
|
AXLOOAK06 | Publications and Research Activities VI | winter | winter s.:0/0, --- [HT] summer s.:0/0, other [HT] |
21-KLOG | FF | no | no | |
|
AXLOOAK07 | Publications and Research Activities VII | winter | winter s.:0/0, --- [HT] summer s.:0/0, other [HT] |
21-KLOG | FF | no | no | |
|
AXLOOAK08 | Publications and Research Activities VIII | winter | winter s.:0/0, --- [HT] summer s.:0/0, other [HT] |
21-KLOG | FF | no | no | |
|
ALG119006 | Properties of axiomatic theories | winter | winter s.:2/2, Ex [HT] | 21-KLOG | FF | no | no | |
|
ALGV19024 | Selected topics in recursion theory | summer | summer s.:2/0, Ex [HT] | 21-KLOG | FF | no | no |