Title
Tvorba interaktivní podpory výuky logiky a logické analýzy přirozeného jazyka
Code
RPP2020/148
Summary
Projekt je zaměřen na tvorbu interaktivních SW nástrojů a textů pro podporu výuky logiky a logické analýzy přirozeného jazyka ve studijním programu Informatika na bakalářském stupni v předmětech Úvod do logického myšlení a Logika v praxi a studijního programu Informační a komunikační technologie předmětech Matematická logika a Zpracování přirozeného jazyka.
Systém bude modulární a bude obsahovat následující moduly:
1. Základy výrokové logiky (syntax, sémantika)
2. Dokazování ve výrokové logice (sémantické, syntaktické)
3. Základy teorie množin, relačních a algebraických struktur
4. Základy predikátové logiky 1. řádu (syntax, sémantika)
5. Dokazování v predikátové logice (sémantické, syntaktické)
6. Základy Transparentní intensionální logiky
7. Definice procedur a rozvětvená teorie typů
8. Logická analýza vět v přirozeném jazyce
Každý modul bude jak textový, tak bude obsahovat SW část, která uživatele povede a jednotlivé kroky budou podloženy teorií a vysvětlujícími příklady.
Start year
2020
End year
2020
Provider
Projekty FRVŠ (MŠMT)
Category
Obecná forma
Type
Projekty FRVŠ, RPP projekty
Solver