FPF: UIINP51 Logika a logické programování (zima 2023)
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 2023)
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: UIMOIBP015 Logika a logické programování (zima 2023)
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: UINK138 Logika a logické programování (zima 2023)
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. Předpokladem pro zapsání tohoto předmětu je úspěšné absolvování předmětu Úvod do logiky.
Výukové metody
Přednáška s aktivizací
Přednáška s diskusí
Přednáška s analýzou videozáznamu
Metody hodnocení
Písemná zkouška
Zkouška
Sylabus předmětu
FPF: UINK108 Logika a logické programování (zima 2023)
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. Předpokladem pro zapsání tohoto předmětu je úspěšné absolvování předmětu Úvod do logiky.
Výukové metody
Přednáška s aktivizací
Přednáška s diskusí
Přednáška s analýzou videozáznamu
Metody hodnocení
Písemná zkouška
Zkouška
Sylabus předmětu
FPF: UIN1008 Logika a logické programování (zima 2023)
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. Předpokladem pro zapsání tohoto předmětu je úspěšné absolvování předmětu Úvod do logiky.
Výukové metody
Přednáška s aktivizací
Přednáška s diskusí
Přednáška s analýzou videozáznamu
Metody hodnocení
Písemná zkouška
Zkouška
Sylabus předmětu
FPF: UIN1038 Logika a logické programování (zima 2023)
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. Předpokladem pro zapsání tohoto předmětu je úspěšné absolvování předmětu Úvod do logiky.
Výukové metody
Přednáška s aktivizací
Přednáška s diskusí
Přednáška s analýzou videozáznamu
Metody hodnocení
Písemná zkouška
Zkouška
Sylabus předmětu
FPF: UIN2028 Logika a logické programování (zima 2023)
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. Předpokladem pro zapsání tohoto předmětu je úspěšné absolvování předmětu Úvod do logiky.
Výukové metody
Přednáška s aktivizací
Přednáška s diskusí
Přednáška s analýzou videozáznamu
Metody hodnocení
Písemná zkouška
Zkouška
Sylabus předmětu
FPF: UIMOIBK015 Logika a logické programování (zima 2023)
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
