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

Anotácia projektu v slovenskom jazyku

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.

Anotácia projektu v anglickom jazyku

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.

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é v roku 2024	3 360,00	0,00