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

Basic informations

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

Project name (Slovak): 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

Project name (English): 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

Start of project: 2023

End of project: 2025

Condition of project: Ukončený

Project number: 066UK-4/2023

Project leader: prof. RNDr. Pavol Zlatoš, CSc.

University: Univerzita Komenského v Bratislave

Department: Fakulta matematiky, fyziky a informatiky

Financial grant of MŠVVandŠ SR within KEGA

	Financial grant of MŠVVandŠ SR within KEGA	Capital expenditures in €
Pumped for the entire period of the project	14 591,00	0,00

List of project outcomes for the entire solution

Publishing activity

Category code	Specific output, name (ISBN, number of pages 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)

Other outcomes (eg e-learning, websites, virtual laboratory, training, courses, workshops and the like.)

Output name	Description of output	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

Final evaluation of the commission KEGA

The final report of the project has not yet been evaluated by the relevant KEGA commission, as it is a solved project, the completion of which is planned in 2025.