Logika a logické programování
RNDr. Šárka Vavrečková, Ph.D.
Logika a logické programování
RNDr. Šárka Vavrečková, Ph.D.
Logika a logické programování
Info
Předměty
Období
zima 2023

V tomto předmětu navazujeme na předmět Ú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í. Na přednáškách 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, což je hlavní náplň cvičení.

Předpokladem pro zapsání tohoto předmětu je úspěšné absolvování předmětu Úvod do logiky.

Základní informace
Přejít

V tomto bloku najdete kontakty na vyučující a podrobnější informace o předmětu.

Kapitola obsahuje:
1
Studijní text
Požadavky na studenta
Přejít

V tomto bloku najdete informace o způsobu úspěšného zakončení předmětu, tedy požadavky na zápočet a zkoušku.

Kapitola obsahuje:
1
Studijní text
1
Web
Studijní materiály
Přejít

V tomto bloku najdete soubory se studijními materiály k předmětu.

Kapitola obsahuje:
1
Studijní text
1
Web
Otestuj své znalosti
Přejít

Zde najdete několik autotestů, kterými si sami můžete ověřit nabyté znalosti.

Kapitola obsahuje:
4
Odpovědník

Zkouška Logika a logické programování
Další literatura
Přejít

V tomto bloku najdete doporučenou literaturu na další studium a také odkazy související s Prologem.

Kapitola obsahuje:
1
Studijní text
Předchozí
Následující