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: Financovaný/rieš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

Project annotation in Slovak language

Cieľom projektu je prispieť k zlepšeniu základov kritického myslenia so zameraním na rozvoj matematickej logiky cez vytvorenie sústavy zdrojov vysokoškolskej matematickej logiky v anglickej verzii (pracovný názov "Lectures on Mathematical Logic"), a to v on-line aktívnej forme a zároveň v printovej učebnici. 

Počas nasledujúcich troch rokov chceme otestovať formu a obsah materiálov pre predmet Matematická logika u poslucháčov odborov Matematika, teoretická a aplikovaná informatika, so špeciálnym zmeraním na medzinárodný program FMFI UK CogSci (Mgr. štúdium kognitívnej vedy).

Sústava materiálov si nekladie za cieľ monografickú úplnosť. Bude dostatočne pokrývať všetky základné partie modernej matematickej logiky a zároveň poskytne čitateľovi náležitý prehľad o tejto disciplíne a ako aj pochopenie úlohy, ktorú logika hrá v matematike a v našom myslení všeobecne.

Project annotation in English language

The aim of the project is to contribute to improving the basics of critical thinking with a focus on the development of mathematical logic through the creation of a system of resources of university mathematical logic in English (working title "Lectures on Mathematical Logic"), both online and in print.

Over the next three years we plan to test the format and content of materials for the subject Mathematical Logic in the students of Mathematics, Theoretical and Applied Informatics, with a special focus on the international program FMFI UK CogSci (M. Sc. study of cognitive science).

Our set of resources does not aim at monographic completeness. It will sufficiently cover all the basic parts of modern mathematical logic and at the same time provide the reader with a proper overview of this discipline as well as an understanding of the role that logic plays in mathematics and in our thinking in general.

Financial grant of MŠVVandŠ SR within KEGA

	Financial grant of MŠVVandŠ SR within KEGA	Capital expenditures in €
Drawn in year 2024	3 360,00	0,00