SubjectsSubjects(version: 978)
View by plans, academic year 2025/2026   
--:--
 
 Search ... Teachers Departments Classes Classification View by plans Setup
 
 
 
 Details
 
 
 
 

Logika NMgr1 (od 2019) (valid since 2019)

Logika NMgr1 (od 2019)
Compulsory subjects
Compulsory subjects,
Povinné předměty za celé studium (NMgr1 od 19/20)
ALG519019 NChapters from Classical Logic I [WS schedule]winter2/1ExHT6doc. RNDr. Vítězslav Švejdar, CSc.21-KLOGFACzech
ALG519020 NChapters from Classical Logic II [SS schedule]summer2/1ExHT6doc. RNDr. Vítězslav Švejdar, CSc.21-KLOGFACzech
ALG519021 NLogic seminar I [WS schedule]
[SS schedule]		winter semesterboth0/2CHT4doc. Radek Honzík, Ph.D.21-KLOGFAEnglish
ALG519022Logic seminar II [WS schedule]
[SS schedule]		winter semesterboth0/2CHT4doc. Radek Honzík, Ph.D.21-KLOGFAEnglish
ALG519023 NSet theory and mathematics [WS schedule]
[SS schedule]		winter semesterboth2/1ExHT6doc. Radek Honzík, Ph.D.21-KLOGFACzech
ALG519024Philosophy of set theory and mathematics [WS schedule]
[SS schedule]		winter semesterboth2/1ExHT6doc. Radek Honzík, Ph.D.21-KLOGFACzech
ALG519025 NNonclassical models of reasoning [WS schedule]
[SS schedule]		winter semesterboth2/1ExHT6Mgr. Marta Bílková, Ph.D., RNDr. Zuzana Haniková, Ph.D.21-KLOGFAEnglish, Czech
ALG519026Master Thesis Seminar I [WS schedule]winter0/0CHT421-KLOGFAAVIR00029Czech
ALG519027Master Thesis Seminar II [WS schedule]
[SS schedule]		winter semesterboth0/0CHT421-KLOGFACzech
Elective courses
Elective courses,
PVP: Logic (NMgr1 od 19/20) (minimum to fulfill the group: 50 [internal points])
NMAG265 NStudents' Seminar on Set Theory [WS schedule]winter0/2CHT2RNDr. David Chodounský, Ph.D.32-KAFMPCzech
NMAG575Forcing [SS schedule]summer2/0ExHT3RNDr. David Chodounský, Ph.D.32-KAFMPNLTM003Czech, English
ALGV00120 NHistory of Modern Mathematics and Logic [WS schedule]winter2/0ExHT5doc. Radek Honzík, Ph.D.21-KLOGFAEnglish
ALG519023 NSet theory and mathematics [WS schedule]
[SS schedule]		winter semesterboth2/1ExHT6doc. Radek Honzík, Ph.D.21-KLOGFACzech
ASZSOP444Acknowledged Record [WS schedule]winter0/0---HT021-DEKFACzech
ALGV00121Research seminar in Logic [WS schedule]
[SS schedule]		winter semesterboth0/2CHT5doc. Radek Honzík, Ph.D.21-KLOGFACzech
ALGV00122 NSeminar on decision processes with uncertainty [SS schedule]summer1/1CHT4Mgr. Petr Švarný, Ph.D.21-KLOGFACzech
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
AFS100746 NPragmatism [WS schedule]winter2/2CHT3prof. PhDr. Vojtěch Kolman, Ph.D., doc. Ondřej Švec, Ph.D.21-UFARFACzech
ANM50584Contemporary Philosophy [WS schedule]winter2/0ExHT4prof. Mgr. Miroslav Petříček, Dr., Mgr. Josef Šlerka, Ph.D.21-UISKNMFACzech
ALGV19002 NInterpretable AI [WS schedule]winter0/2CHT4Mgr. Petr Švarný, Ph.D.21-KLOGFACzech, English
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
ALG119000Introduction to Computer Science [WS schedule]winter2/1ExHT5Mgr. Aleš Podolník, Ph.D.21-KLOGFACzech
ALGV19004Philosophy of mathematics [SS schedule]summer2/0ExHT5Mgr. Vít Punčochář, Ph.D.21-KLOGFAEnglish
ALGV19005 NAlternative programming paradigms [SS schedule]summer0/2CHT4Mgr. Petr Švarný, Ph.D.21-KLOGFAEnglish
ALGV00041 NMathematical Fuzzy Logic [SS schedule]summer2/0ExHT5Mgr. Marta Bílková, Ph.D., Chun-Yu Lin21-KLOGFAEnglish
ALG110008Arithmetic and Algorithms [SS schedule]summer1/1ExHT4doc. RNDr. Vítězslav Švejdar, CSc.21-KLOGFAEnglish, Czech
ALGV19006 NInterpretations of Gödel incompleteness theorem [WS schedule]
[SS schedule]		winter semesterboth2/0ExHT5doc. RNDr. Vítězslav Švejdar, CSc.21-KLOGFAEnglish
ALG119006Properties of axiomatic theories [WS schedule]winter2/2ExHT6doc. RNDr. Vítězslav Švejdar, CSc.21-KLOGFACzech
ALG119013Analytic Philosophy I [SS schedule]summer2/2CHT3doc. Radek Honzík, Ph.D., prof. PhDr. Vojtěch Kolman, Ph.D., doc. Daniele De Santis, Dott. Ric.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
ALG119007Gödel's Theorems and Incompletness [SS schedule]summer2/2ExHT6doc. RNDr. Vítězslav Švejdar, CSc.21-KLOGFACzech
ALG119008 NModal and nonclassical logc [WS schedule]
[SS schedule]		winter semesterboth2/1ExHT6doc. RNDr. Vítězslav Švejdar, CSc.21-KLOGFACzech
ALG110003Introduction to Mathematics [WS schedule]winter2/1ExHT6doc. Radek Honzík, Ph.D.21-KLOGFACzech
ALG500009 NModel Theory [WS schedule]winter2/0ExHT5Mgr. Jonathan Verner, Ph.D.21-KLOGFAEnglish
ALGV00123 NInteractive theorem proving seminar [WS schedule]
[SS schedule]		winter semesterboth0/2CHT4doc. Radek Honzík, Ph.D.21-KLOGFAEnglish
ALGV19007 NData analysis and representation [WS schedule]winter0/2ExHT4Mgr. Petr Švarný, Ph.D.21-KLOGFAEnglish
ALGV19008Dynamic logic [WS schedule]winter2/0CHT4Mgr. Igor Sedlár, Ph.D.21-KLOGFAEnglish
ALGV19009 NIntroductory Seminar of Mathematical Linguistics I [WS schedule]winter0/2CHT4doc. RNDr. Vladimír Petkevič, CSc.21-KLOGFACzech
ALGV19010 NIntroductory Seminar of Mathematical Linguistics II [SS schedule]summer0/2CHT4doc. RNDr. Vladimír Petkevič, CSc.21-KLOGFACzech
NPFL006Introduction to Formal Linguistics [WS schedule]winter2/0ExHT3doc. Mgr. Magda Ševčíková, Ph.D.32-UFALFMPEnglish, Czech
AFS500272 NSelf-Awareness: Contemporary Theories [WS schedule]winter0/2CHT5prof. James Hill, Ph.D., Mgr. Jakub Mihálik, Ph.D.21-UFARFAEnglish
AFS100774 NWittgenstein's Tractatus logico-philosophicus [SS schedule]summer0/2CHT5prof. PhDr. Vojtěch Kolman, Ph.D.21-UFARFACzech
ALG110021 NIntroduction to Linguistics [SS schedule]summer1/1ExHT5doc. RNDr. Vladimír Petkevič, CSc.21-KLOGFACzech
ALGV19011 NSet Theory I+ [WS schedule]
[SS schedule]		winter semesterboth2/0ExHT5Mgr. Šárka Stejskalová, Ph.D.21-KLOGFACzech
NMMB453Students' Seminar on Logic [WS schedule]
[SS schedule]		winter semesterboth0/2CHT2prof. RNDr. Jan Krajíček, DrSc.32-KAFMPNALG050English, Czech
ALGV19012 NIntroduction to group and ring theory [SS schedule]summer1/1ExHT4Mgr. Šárka Stejskalová, Ph.D.21-KLOGFACzech
ASZSOP738Acknowledged Record [WS schedule]winter0/0---HT021-DEKFACzech
NPFL130Philosophy of Language and NLP [WS schedule]winter0/2CHT2Mgr. Tomáš Musil, Ph.D.32-UFALFMPCzech
ALG119001Introduction to Computer Science II [SS schedule]summer2/0ExHT5Mgr. Aleš Podolník, 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
NMSA211Probability [WS schedule]winter2/2C+ExHT6doc. RNDr. Daniel Hlubinka, Ph.D.32-KPMSFMPCzech
NAIL131 NEthics of AI + [WS schedule]
[SS schedule]		winter semesterboth0/0CHS2Mgr. František Štěch, Th.D., Mgr. Tereza Hannemann, Ph.D., Mgr. Rudolf Rosa, Ph.D.32-KSVIFMPEnglish
NAIL127AI in context [WS schedule]
[SS schedule]		winter semesterboth1/1CHT2H3Mgr. Tereza Hannemann, Ph.D., Mgr. Rudolf Rosa, Ph.D.32-KSVIFMPCzech
ALGV19015General Theories of Logical Systems [WS schedule]
[SS schedule]		winter semesterboth2/0ExHT4Mgr. Marta Bílková, Ph.D., Chun-Yu Lin21-KLOGFAEnglish
NMAG499MSTR Elective 2 [SS schedule]summer2/0ExHT3doc. RNDr. Jan Šťovíček, Ph.D.32-KAFMPEnglish, Czech
NAIL130 NElements of AI+ [WS schedule]
[SS schedule]		winter semesterboth1/1CHT3Mgr. Tereza Hannemann, Ph.D., Mgr. Rudolf Rosa, Ph.D.32-KSVIFMPCzech, English
AFS100796 NFallibilism. Or What Is Sweeter Than the Truth [SS schedule]summer0/2CHT5prof. PhDr. Vojtěch Kolman, Ph.D.21-UFARFACzech
NMAG470Number Theory Seminar [WS schedule]
[SS schedule]		winter semesterboth0/2CHT3doc. Mgr. Vítězslav Kala, Ph.D., DSc.32-KAFMPEnglish
ASZSOP790Acknowledged Record [WS schedule]
[SS schedule]		winter semesterboth0/0---HT021-DEKFACzech
ALGV19018 NMethods in Philosophical Logic [WS schedule]winter2/0ExHT4Daniel Wesley Fussner, Ph.D.21-KLOGFAEnglish
ALGV19017 NReading Modern Czech Logic [WS schedule]winter0/2CHT4RNDr. Zuzana Haniková, Ph.D.21-KLOGFAEnglish
ALG110009 NSet Theory II [WS schedule]winter2/0ExHT5Mgr. Šárka Stejskalová, Ph.D.21-KLOGFACzech
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
ALGV19019 NInfinite combinatorics [SS schedule]summer2/0ExHT4Mgr. Šárka Stejskalová, Ph.D.21-KLOGFACzech
ALGV00012 NProof Theory [SS schedule]summer2/0ExHT4Bc. Jan Bydžovský, M.Sc., Ph.D.21-KLOGFACzech
AFSV00444 NCan Machines Think? [SS schedule]summer2/0ExHT5prof. James Hill, Ph.D.21-UFARFAEnglish
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
NMAT100Mathematical problems of non-mathematicians [WS schedule]
[SS schedule]		winter semesterboth0/1CHT1RNDr. Kateřina Henclová, doc. RNDr. Iveta Hnětynková, Ph.D.32-KNMFMPCzech
NMTM306History of Mathematics II [SS schedule]summer2/0colloquiumHT2Mgr. Zdeněk Halas, DiS., Ph.D., doc. RNDr. Jindřich Bečvář, CSc.32-KDMFMPNMUM306Czech
NMAI059Probability and Statistics 1 [SS schedule]summer2/2C+ExHT5doc. Mgr. Robert Šámal, Ph.D., doc. Mykhaylo Tyomkyn, Ph.D.32-IUUKFMPNMAX059Czech, English
NMSA170Probabilistic and statistical problems [SS schedule]summer0/2CHT2doc. RNDr. Zbyněk Pawlas, Ph.D., doc. RNDr. Jiří Dvořák, Ph.D.32-KPMSFMPCzech
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
AFS100812What we cannot speak about [WS schedule]winter0/2CHT5prof. PhDr. Vojtěch Kolman, Ph.D.21-UFARFACzech
AFS500336AI and Cognition [WS schedule]winter0/2CHT5prof. James Hill, Ph.D.21-UFARFAEnglish
OPNM3M011AHistory of mathematical thinking [WS schedule]winter1/1CHT0H4prof. RNDr. Ladislav Kvasz, DSc., Dr.41-KMDMFEEnglish
YBFB106Introduction to philosophy of mind [WS schedule]winter2/0ExHT4Mgr. Martin Vrabec, Ph.D.24-FMFHCzech
YBFC246Reading Philosophical Texts on Mathematics and Logic [WS schedule]
[SS schedule]		winter semesterboth0/2MCHT3Mgr. Tomáš Holeček, Ph.D.24-FMFHCzech
NMTD305History of descriptive geometry [WS schedule]winter2/0ExHT2RNDr. Vlasta Moravcová, Ph.D.32-KDMFMPNMUG305Czech
ASZSOP927Acknowledged Record [WS schedule]
[SS schedule]		winter semesterboth0/0---HT021-DEKFACzech
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
ALGV00054Introduction to forcing [SS schedule]summer2/0ExHT5doc. Radek Honzík, Ph.D., Mgr. Šárka Stejskalová, Ph.D.21-KLOGFACzech
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html