Vytvorenie sústavy študijných materiálov univerzitného kurzu matematickej logiky s pracovným názvom "Lectures on Mathematical Logic" pre kombinované online a prezenčné využitie v medzinárodných programoch štúdia v odboroch matematiky a informatiky

Základné informácie

Tematická oblasť: komisia č. 2 pre nové technológie, metódy a formy vo vzdelávaní

Názov projektu (slovenský): Vytvorenie sústavy študijných materiálov univerzitného kurzu matematickej logiky s pracovným názvom "Lectures on Mathematical Logic" pre kombinované online a prezenčné využitie v medzinárodných programoch štúdia v odboroch matematiky a informatiky

Názov projektu (anglický): Creating a system of materials of a university course of mathematical logic with preliminary title "Lectures on Mathematical Logic" for combined online and classroom use in international programs of study of mathematics and computer science majors

Začiatok riešenia projektu: 2023

Koniec riešenia projektu: 2025

Stav projektu: Ukončený

Číslo projektu: 066UK-4/2023

Vedúci projektu: prof. RNDr. Pavol Zlatoš, CSc.

Vysoká škola: Univerzita Komenského v Bratislave

Pracovisko: Fakulta matematiky, fyziky a informatiky

Finančná dotácia z MŠVVaŠ SR v rámci KEGA

	Finančná dotácia z MŠVVaŠ SR v rámci KEGA	Kapitálové výdavky v €
Čerpané za celé obdobie riešenia projektu	14 591,00	0,00

Zoznam výstupov projektu za celé obdobie riešenia

Publikačná činnosť

Kód kategórie	Konkrétny výstup, názov (ISBN, počet strán a i.)
P1	Prednášky z matematickej logiky (ISBN 978-80-223-6121-7 (tlač), ISBN 978-80-223-6122-4 (online), 175 strán)
P1	Lectures on Mathematical Logic (ISBN 978-80-223-6123-1 (print), ISBN 978-80-223-6124-8 (online), 178 pages)

Iné výstupy (napr. e-learning, webové stránky, virtuálne laboratórium, školenia, kurzy, workshop a pod.)

Názov výstupu	Opis výstupu	Link
Propositional Calculus Lecture Notes	Anglická verzia prvej kapitoly učebného materiálu venovaná výrokovému počtu.	http://thales.doa.fmph.uniba.sk/katc/index.php?clen=zlatos
First Order Logic Lecture Notes	Anglická verziadruhej kapitoly učebného materiálu venovaná logike prvého rádu.	http://thales.doa.fmph.uniba.sk/katc/index.php?clen=zlatos
Godel's Incompleteness Theorems LN	Anglická verzia tretej kapitoly učebného materiálu venovaná Godelovým vetám o neúplnosti	http://thales.doa.fmph.uniba.sk/katc/index.php?clen=zlatos

Záverečné hodnotenie príslušnej komisie KEGA

Záverečná správa projektu ešte nebola hodnotená príslušnou komisiou KEGA, keďže ide o riešený projekt, ktorého ukončenie je plánované v roku 2025.