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/whois/osoba/?entId=909727 |
Faculty: | Faculty of Arts |
Department: | Department of Logic (21-KLOG) |
Phone: | 221619646 |
E-mail: | vitezslav.svejdar@ff.cuni.cz |
Consultation hours: | |
Courses Schedule Noticeboard |
![]() |
![]() ![]() | ![]() ![]() | ![]() ![]() | 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 | |
![]() |
ALG519019 | Chapters from Classical Logic I | winter | winter s.:2/1, Ex [HT] | 21-KLOG | FF | no | no | |
![]() |
ALG519020 | Chapters from Classical Logic II | summer | summer s.:2/1, Ex [HT] | 21-KLOG | FF | no | no | |
![]() |
ALINV380M | Applications of Logic | summer | summer s.:0/2, C [HT] | 21-ULING | FF | no | no | |
![]() |
ALINV374B | Applications of Logic | summer | summer s.:0/2, C [HT] | 21-ULING | 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 |