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
Courses
Term
Winter 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
Open

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

Chapter contains:
1
Study text
Požadavky na studenta
Open

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.

Chapter contains:
1
Study text
1
Web
Studijní materiály
Open

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

Chapter contains:
1
Study text
1
Web
Otestuj své znalosti
Open

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

Chapter contains:
4
ROPOT

Zkouška Logika a logické programování
Další literatura
Open

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

Chapter contains:
1
Study text
Previous
Next