FPF: UIINP51 Logika a logické programování (zima 2025)
Cíle předmětu
Kurz navazuje na kurz Úvod do logiky. Zabýváme se postupně několika logickými systémy, z nichž poslední, Klauzulární axiomatický systém, je využit jako základ pro logické programování. V kurzu se studenti zabývají především teoretickými východisky logického programování, tedy základní myšlenkou, možnostmi a postupy. Od postupů demonstrovaných v klauzulární logice přecházíme k programování v programovacím jazyce Prolog.
Výstupy z učení
Student bude po absolvování předmětu schopen:
- použít dedukci a odvozování v logických systémech;
- popsat Klauzulární axiomatický systém;
- aplikovat principylogického programování na jednoduchý praktický problém.
Výukové metody
Interaktivní přednášky
Cvičení
Metody hodnocení
Zápočet: povinná účast na cvičeních min. 75 %, písemný a online test.
Zkouška: písemná.
Sylabus předmětu
FPF: UIINK51 Logika a logické programování (zima 2025)
Cíle předmětu
Kurz navazuje na kurz Úvod do logiky. Zabýváme se postupně několika logickými systémy, z nichž poslední, Klauzulární axiomatický systém, je využit jako základ pro logické programování. V kurzu se studenti zabývají především teoretickými východisky logického programování, tedy základní myšlenkou, možnostmi a postupy. Od postupů demonstrovaných v klauzulární logice přecházíme k programování v programovacím jazyce Prolog.
Výstupy z učení
Student bude po absolvování předmětu schopen:
- použít dedukci a odvozování v logických systémech;
- popsat Klauzulární axiomatický systém;
- aplikovat principy logického programování na jednoduchý praktický problém.
Výukové metody
Interaktivní přednášky
Cvičení
Metody hodnocení
Zápočet: povinná účast na cvičeních min. 75 %, písemný a online test.
Zkouška: písemná.
Sylabus předmětu
FPF: UIMOIBK015 Logika a logické programování (zima 2025)
Cíle předmětu
Kurz navazuje na kurz Úvod do logiky. Zabýváme se postupně několika logickými systémy, z nichž poslední, Klauzulární axiomatický systém, je využit jako základ pro logické programování. V kurzu se studenti zabývají především teoretickými východisky logického programování, tedy základní myšlenkou, možnostmi a postupy. Od postupů demonstrovaných v klauzulární logice přecházíme k programování v programovacím jazyce Prolog.
Výstupy z učení
Student bude po absolvování předmětu schopen:
- použít dedukci a odvozování v logických systémech;
- popsat Klauzulární axiomatický systém;
- aplikovat principylogického programování na jednoduchý praktický problém.
Výukové metody
Interaktivní přednášky
Cvičení
Metody hodnocení
Zápočet: povinná účast na cvičeních min. 75 %, písemný a online test.
Zkouška: písemná.
Sylabus předmětu
FPF: UIMOIBP015 Logika a logické programování (zima 2025)
Cíle předmětu
Kurz navazuje na kurz Úvod do logiky. Zabýváme se postupně několika logickými systémy, z nichž poslední, Klauzulární axiomatický systém, je využit jako základ pro logické programování. V kurzu se studenti zabývají především teoretickými východisky logického programování, tedy základní myšlenkou, možnostmi a postupy. Od postupů demonstrovaných v klauzulární logice přecházíme k programování v programovacím jazyce Prolog.
Výstupy z učení
Student bude po absolvování předmětu schopen:
- použít dedukci a odvozování v logických systémech;
- popsat Klauzulární axiomatický systém;
- aplikovat principylogického programování na jednoduchý praktický problém.
Výukové metody
Interaktivní přednášky
Cvičení
Metody hodnocení
Zápočet: povinná účast na cvičeních min. 75 %, písemný a online test.
Zkouška: písemná.
Sylabus předmětu
