SubjectsSubjects(version: 978)
View by plans, academic year 2025/2026
   

Filozofie - Logika Bc 2 (od 2021) (valid since 2021)

AFSV00344 NWhat is dialectic? [SS schedule]summer2/0CHT3prof. PhDr. Vojtěch Kolman, Ph.D.21-UFARFACzech
ALG110008Arithmetic and Algorithms [SS schedule]summer1/1ExHT4doc. RNDr. Vítězslav Švejdar, CSc.21-KLOGFAEnglish, Czech
AFS100746 NPragmatism [WS schedule]winter2/2CHT3prof. PhDr. Vojtěch Kolman, Ph.D., doc. Ondřej Švec, Ph.D.21-UFARFACzech
ALGV19003 NIntroduction to finite and infinite combinatorics [WS schedule]winter2/0ExHT4Mgr. Šárka Stejskalová, Ph.D.21-KLOGFACzech
ALGV19001 NFoundations of modern mathematics [WS schedule]winter2/1ExHT6doc. Radek Honzík, Ph.D.21-KLOGFACzech
ALGV19002 NInterpretable AI [WS schedule]winter0/2CHT4Mgr. Petr Švarný, Ph.D.21-KLOGFACzech, English
NMAG265 NStudents' Seminar on Set Theory [WS schedule]winter0/2CHT2RNDr. David Chodounský, Ph.D.32-KAFMPCzech
ALGV19005 NAlternative programming paradigms [SS schedule]summer0/2CHT4Mgr. Petr Švarný, Ph.D.21-KLOGFAEnglish
ALGV19004Philosophy of mathematics [SS schedule]summer2/0ExHT5Mgr. Vít Punčochář, Ph.D.21-KLOGFAEnglish
ALGV00041 NMathematical Fuzzy Logic [SS schedule]summer2/0ExHT5Mgr. Marta Bílková, Ph.D., Chun-Yu Lin21-KLOGFAEnglish
ALG110015History of Logic [WS schedule]winter2/0ExHT4PhDr. Mgr. Marta Vlasáková, Ph.D.21-KLOGFAALGV00030Czech
ALG119005 NAlgebras and structures in logic [WS schedule]
[SS schedule]
winter semesterboth2/0ExHT5Mgr. Šárka Stejskalová, Ph.D.21-KLOGFACzech
ALGV19011 NSet Theory I+ [WS schedule]
[SS schedule]
winter semesterboth2/0ExHT5Mgr. Šárka Stejskalová, Ph.D.21-KLOGFACzech
ALGV00054Introduction to forcing [SS schedule]summer2/0ExHT5doc. Radek Honzík, Ph.D., Mgr. Šárka Stejskalová, Ph.D.21-KLOGFACzech
AFS100774 NWittgenstein's Tractatus logico-philosophicus [SS schedule]summer0/2CHT5prof. PhDr. Vojtěch Kolman, Ph.D.21-UFARFACzech
ALG119003 NPhilosophical aspects of logic and mathematics [WS schedule]
[SS schedule]
winter semesterboth2/0ExHT4doc. Radek Honzík, Ph.D., PhDr. Mgr. Marta Vlasáková, Ph.D.21-KLOGFACzech
ALG119014Analytic Philosophy II [SS schedule]summer2/2CHT3doc. Radek Honzík, Ph.D., prof. PhDr. Vojtěch Kolman, Ph.D., doc. Jakub Čapek, Ph.D.21-KLOGFACzech
NTIN090Introduction to Complexity and Computability [WS schedule]winter2/1C+ExHT4prof. RNDr. Ondřej Čepek, Ph.D., RNDr. Petr Kučera, Ph.D.32-KTIMLFMPN#IA022, NTIX090Czech, English
ALGV19012 NIntroduction to group and ring theory [SS schedule]summer1/1ExHT4Mgr. Šárka Stejskalová, Ph.D.21-KLOGFACzech
ALG119008 NModal and nonclassical logc [WS schedule]
[SS schedule]
winter semesterboth2/1ExHT6doc. RNDr. Vítězslav Švejdar, CSc.21-KLOGFACzech
ALG119007Gödel's Theorems and Incompletness [SS schedule]summer2/2ExHT6doc. RNDr. Vítězslav Švejdar, CSc.21-KLOGFACzech
NAIL111Advanced mathematical logic [WS schedule]winter2/0ExHT3doc. RNDr. Josef Mlček, CSc.32-KTIMLFMPCzech
NMAG407Model Theory [WS schedule]winter2/0ExHT3prof. RNDr. Jan Krajíček, DrSc.32-KAFMPNLTM011English, Czech
NMAG167 NGalileo, Descartes and Newton as founders of mathematical physics [WS schedule]winter2/0ExHT3prof. RNDr. Ladislav Kvasz, DSc., Dr.32-KAFMPCzech
ALG119004Selected topics in mathematics [WS schedule]
[SS schedule]
winter semesterboth2/0ExHT5doc. Radek Honzík, Ph.D.21-KLOGFACzech
NMAG536Proof Complexity and the P vs. NP Problem [SS schedule]summer2/0ExHT3prof. RNDr. Jan Krajíček, DrSc.32-KAFMPNALG139English
NMAG446 NLogic and Complexity [SS schedule]summer2/0ExHT3prof. RNDr. Jan Krajíček, DrSc.32-KAFMPNALG128English, Czech
ATJ100304 NPVP2 Chinese Mathematics - Seminar [WS schedule]winter0/2CHT4Mgr. Ing. Jiří Hudeček, Ph.D.21-KSIFACzech
NTIN064Computability [SS schedule]summer2/0ExHT3doc. RNDr. Antonín Kučera, CSc., RNDr. Petr Kučera, Ph.D.32-KTIMLFMPCzech, English
NLTM011 NAdvanced Model Theory [SS schedule]summer2/2C+ExHT6doc. RNDr. Josef Mlček, CSc.32-KTIMLFMPCzech, English
ALG119010Logic exercise II [SS schedule]summer0/2CHT4Mgr. Šárka Stejskalová, Ph.D.21-KLOGFACzech
ALGV19013 NSet Theory and Logic Throughout Mathematics [WS schedule]
[SS schedule]
winter semesterboth2/0ExHT4Chris Lambie-Hanson, Ph.D.21-KLOGFAEnglish
ALGV19014 NInfinite trees [SS schedule]summer2/0ExHT4Mgr. Šárka Stejskalová, Ph.D.21-KLOGFACzech
ALGV19015General Theories of Logical Systems [WS schedule]
[SS schedule]
winter semesterboth2/0ExHT4Mgr. Marta Bílková, Ph.D., Chun-Yu Lin21-KLOGFAEnglish
ALG110009 NSet Theory II [WS schedule]winter2/0ExHT5Mgr. Šárka Stejskalová, Ph.D.21-KLOGFACzech
ALGV19017 NReading Modern Czech Logic [WS schedule]winter0/2CHT4RNDr. Zuzana Haniková, Ph.D.21-KLOGFAEnglish
NMAG537 NSelected topic from Set Theory [WS schedule]winter2/0ExHT3doc. Radek Honzík, Ph.D.32-KAFMPEnglish
NMTM305History of Mathematics I [WS schedule]winter2/0colloquiumHT2Mgr. Zdeněk Halas, DiS., Ph.D., doc. RNDr. Jindřich Bečvář, CSc.32-KDMFMPNMUM305Czech
ALGV19018 NMethods in Philosophical Logic [WS schedule]winter2/0ExHT4Daniel Wesley Fussner, Ph.D.21-KLOGFAEnglish
ALGV00012 NProof Theory [SS schedule]summer2/0ExHT4Bc. Jan Bydžovský, M.Sc., Ph.D.21-KLOGFACzech
ALGV19019 NInfinite combinatorics [SS schedule]summer2/0ExHT4Mgr. Šárka Stejskalová, Ph.D.21-KLOGFACzech
NUMV058Greek Mathematical Texts I [WS schedule]winter0/2CHT3doc. RNDr. Zbyněk Šír, Ph.D.32-MUUKFMPCzech
NUMV059Greek Mathematical Texts II [SS schedule]summer0/2CHT3Mgr. Zdeněk Halas, DiS., Ph.D.32-MUUKFMPCzech
NMAG439Introduction to Set Theory 2 [SS schedule]summer2/0ExHT3RNDr. David Chodounský, Ph.D., doc. Radek Honzík, Ph.D.32-KAFMPCzech
ALGV19021Readings on Material Inference [WS schedule]winter0/2CHT4Daniel Wesley Fussner, Ph.D.21-KLOGFAEnglish
ALGV19022Seminar: Trends in Metalogic [WS schedule]winter0/2CHT4Daniel Wesley Fussner, Ph.D.21-KLOGFAEnglish
ALGV19020Many-valued and relevant logics [WS schedule]winter2/1CHT4Mgr. Šárka Stejskalová, Ph.D.21-KLOGFACzech
NMMB568Formal Mathematics and Proof Assistants [SS schedule]summer2/1C+ExHT4Mgr. Miroslav Olšák, Ph.D.32-KAFMPNMMB566English
ALGV19023Conditionals: Logic, Probability, and New Perspectives [SS schedule]summer1/1CHT4Giuliano Rosella, Ph.D.21-KLOGFAEnglish
ALGV19024Selected topics in recursion theory [SS schedule]summer2/0ExHT5doc. RNDr. Vítězslav Švejdar, CSc.21-KLOGFACzech
ALGV19025Selected topics in set theory [SS schedule]summer2/0ExHT5doc. Radek Honzík, Ph.D.21-KLOGFACzech
ASZAJ1000Foreign Language - English for FA Programmes - Exam B2 [WS schedule]
[SS schedule]
winter semesterboth0/0ExHT6Mgr. Blanka Zádrapová21-JCAFAAADEK00012, AVIR00019, AVIR00011, AVIR00005, ASZAJ1100, ASZAJ0002, ASZAJ0001, ACN300395, ACN300307Czech
ASZNJ1000Foreign Language - German for FA Programmes - Exam B2 [WS schedule]
[SS schedule]
winter semesterboth0/0ExHT6Klára Tschek, M.A.21-JCNFAAVIR00022, AVIR00012, AVIR00006, ASZNJ0002Czech
ASZFJ1000Foreign Language - French for FA Programmes - Exam B2 [WS schedule]
[SS schedule]
winter semesterboth0/0ExHT6Mgr. Kristýna Švorcová21-JCFFAASZFJ0001, ASZFJ0002, AVIR00007, AVIR00013, AVIR00020Czech
ASZSOP326Acknowledged Record - Foreign Language Exam [WS schedule]
[SS schedule]
winter semesterboth0/0---HT021-DEKFAASZSOP001Czech
ASZSOP857Acknowledged Record - Foreign B2 Language Exam [WS schedule]
[SS schedule]
winter semesterboth0/0---HT021-DEKFACzech
ASZAJ1001Foreign Language - English for FA Programmes - Exam B1 [WS schedule]
[SS schedule]
winter semesterboth0/0ExHT4Mgr. Blanka Zádrapová21-JCAFAAADEK00012, AVIR00046, ACN300307, ASZAJ0001, ASZAJ0002, AVIR00019, ASZAJ1100, ASZAJ2000, AVIR00005, AVIR00011, ASZAJ1000Czech
ASZNJ1001Foreign Language - German for FA Programmes - Exam B1 [WS schedule]
[SS schedule]
winter semesterboth0/0ExHT4Klára Tschek, M.A.21-JCNFAAVIR00022, AVIR00047, AVIR00012, AVIR00006, ASZNJ2000, ASZNJ1000, ASZNJ0002Czech
ASZFJ1001Foreign Language - French for FA Programmes - Exam B1 [WS schedule]
[SS schedule]
winter semesterboth0/0ExHT4Mgr. Kristýna Švorcová21-JCFFAASZFJ2000, AVIR00007, AVIR00013, AVIR00020, AVIR00048, ASZFJ0001, ASZFJ0002, ASZFJ1000Czech
ASZRJ1001Foreign Language - Russian for FA Programmes - Exam B1 [WS schedule]
[SS schedule]
winter semesterboth0/0ExHT4Mgr. Ladislava Dolanová, Ph.D.21-JCRFAASZRJ0001, ASZRJ1000, ASZRJ2000, AVIR00008, AVIR00023, AVIR00014, AVIR00049Czech
ASZSJ1001Foreign Language - Spanish for FA Programmes - Exam B1 [WS schedule]
[SS schedule]
winter semesterboth0/0ExHT4Mgr. et Mgr. Markéta Mlezivová21-JCSFAASZSJ0001, ASZSJ1000, ASZSJ2000, AVIR00015, AVIR00024, AVIR00050, AVIR00009Czech
ASZSOP699Acknowledged Record [WS schedule]winter0/0---HT021-DEKFACzech
ASZSOP700Acknowledged Record [WS schedule]winter0/0---HT021-DEKFACzech
ASZSOPCJ01Acknowledged Record [WS schedule]
[SS schedule]
winter semesterboth0/0---HT021-DEKFACzech
AVIR00059Virtual code - Italian academic reading examination passed by the end of the academic year 2025/26 [WS schedule]
[SS schedule]
winter semesterboth0/0---HT021-DEKFAAVIR00010, AVIR00016, AVIR00021, ASZIJ2000, ASZIJ0001, ASZIJ0002, ASZIJ1000, AVIR00051Czech
ASZAJ3050English. Academic Reading [WS schedule]
[SS schedule]
winter semesterboth0/2ExHT4Mgr. Blanka Zádrapová21-JCAFAAVIR00046, AVIR00011, AVIR00005, ASZAJ1100, ASZAJ1000, ASZAJ0002, ASZAJ0001, ACN300307, AADEK00012, AVIR00019Czech, English
ASZNJ3050German. Academic Reading [WS schedule]
[SS schedule]
winter semesterboth0/2ExHT4Klára Tschek, M.A.21-JCNFAASZNJ3053, ASZNJ1000, ASZNJ0002, AVIR00006, AVIR00012, AVIR00022, AVIR00047Czech
ASZFJ3050French. Academic Reading [WS schedule]
[SS schedule]
winter semesterboth0/2ExHT4Mgr. Kristýna Švorcová, Mgr. Eva Popelková, Ph.D.21-JCFFAAVIR00048, AVIR00020, AVIR00013, AVIR00007, ASZFJ1000, ASZFJ0002, ASZFJ0001Czech, French
ASZRJ3050Russian. Academic Reading [WS schedule]
[SS schedule]
winter semesterboth0/2ExHT4Mgr. Ladislava Dolanová, Ph.D.21-JCRFAASZRJ1000, ASZRJ0001, AVIR00014, AVIR00023, AVIR00049, AVIR00008Russian, Czech
ASZSJ3050Spanish. Academic Reading [WS schedule]
[SS schedule]
winter semesterboth0/2ExHT4Mgr. et Mgr. Markéta Mlezivová21-JCSFAAVIR00050, ASZSJ0001, ASZSJ1000, AVIR00009, AVIR00015, AVIR00024Czech
ASZSOP699Acknowledged Record [WS schedule]winter0/0---HT021-DEKFACzech
ASZSOP700Acknowledged Record [WS schedule]winter0/0---HT021-DEKFACzech
ASZSOPCJ01Acknowledged Record [WS schedule]
[SS schedule]
winter semesterboth0/0---HT021-DEKFACzech
AVIR00059Virtual code - Italian academic reading examination passed by the end of the academic year 2025/26 [WS schedule]
[SS schedule]
winter semesterboth0/0---HT021-DEKFAAVIR00010, AVIR00016, AVIR00021, ASZIJ2000, ASZIJ0001, ASZIJ0002, ASZIJ1000, AVIR00051Czech
ASZSOPCJ1 NForeign language II [WS schedule]
[SS schedule]
winter semesterboth0/0CHT421-DEKFACzech
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html