z ujovych kurikul:
Podmienky pre získanie zápočtu:
Získať aspoň 21 bodov z maximálneho počtu 40 za dochádzku na prednášky (9), z priebežného kontrolného testu v 9. týždni semestra (16), semestrálneho projektu (10) a od cvičiaceho (5). Semestrálny projekt treba odovzdať do konca 12. týždňa semestra. Spočíva vo vytvorení teórie nejakej stránky bežného života spolu s jej jazykom. Súčasťou projektu je logicky ekvivalentný prenexný tvar axióm, otvorený skolemovský variant ich
uzáveru v klauzulárnom tvare a separácia klauzúl.
Pri hodnotení projektu sa zohľadňuje:
• charakterizácia jazyka a jeho špeciálnych symbolov
• interpretácia špeciálnych symbolov v typickej štruktúre
• adekvátnosť prekladu axióm do formálneho jazyka
• presnosť transformácie axióm na klauzuly pre použitie rezolučnej metódy
• úspornosť a konzistentnosť jazyka a teórie
• bohatosť teórie
• originalita a elegancia
***************************************
trimem palec