Logika a logické programování
RNDr. Šárka Vavrečková, Ph.D.
Logika a logické programování

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.

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

Kapitola obsahuje:
1
Studijní text

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

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

Kapitola obsahuje:
1
Studijní text
1
Web

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

Kapitola obsahuje:
4
Odpovědník

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

Kapitola obsahuje:
1
Studijní text
Předchozí