Project information
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia
(logika-ramec-rozvoje)
- Project Identification
- CZ.1.07/2.2.00/28.0216
- Project Period
- 4/2013 - 6/2015
- Investor / Pogramme / Project type
-
Ministry of Education, Youth and Sports of the CR
- Operational Programme Education for Competitiveness
- 2.2 Higher education
- MU Faculty or unit
- Faculty of Arts
- Cooperating Organization
-
Institute of Philosophy of the ASCR, v. v. i.
Charles University
Technical University Ostrava
University of West Bohemia in Pilsen
- Responsible person Mgr. Ludmila Dostálová, Ph.D.
Cílem projektu je zkoordinovat pracoviště věnující se logice tak, aby mohla účinně spolupracovat jak v oblasti oborového studia, tak v souvislosti s úvodními kurzy logiky pro různé obory.
V oblasti oborových studií budou vytvořeny podmínky pro sdílení výuky mezi akreditovanými obory "logika" v rámci celé ČR, což prohloubí interakci mezi jednotlivými pracovišti a studentům zajistí odpovídající zázemí specializovaného byť spíše virtuálního pracoviště srovnatelného s pracovišti evropskými. Dalším krokem bude napojení takto sjednocených oborů na analogické obory v Evropě s cílem dosáhnout joint degrees.
V oblasti vzdělávacích propedeutik dojde ke sjednocení požadavků na úvodní kurzy logiky podle potřeb oborů, pro které jsou vyučovány. Vzniknou specializované oborové didaktiky i metodiky výuky logiky pro právníky, učitele, informatiky, lingvisty, studenty humanitních oborů apod.
Výstupem projektu bude:
40 inovovaných produktů
30 podpořených akademických pracovníků
3.000 podpořených studentů.
Publications
Total number of publications: 11
2015
-
Epistemická logika: úvod se zaměřením na studenty humanitních oborů
Year: 2015, edition: 1. vyd., number of pages: 185 s.
-
Sbírka řešených úloh z logiky pro informatiky
Year: 2015, type:
-
Sbírka řešených úloh z logiky pro informatiky
Year: 2015, type:
-
Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator
Year: 2015, edition: 1. vyd., number of pages: 322 s.
-
Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator
Year: 2015, edition: 1. vyd., number of pages: 312 s.
-
Úvod do logiky: klasická predikátová logika
Year: 2015, type:
-
Úvod do logiky: klasická výroková logika
Year: 2015, type:
2014
-
Beta-reduction and parciality
Year: 2014, type: Appeared in Conference without Proceedings
-
Beta-redukce v (Tichého) parciálním lambda-kalkulu
Year: 2014, type:
-
Dva standardní a dva modální logické čtverce
Year: 2014, type: Appeared in Conference without Proceedings