Studijní materiály
Online materiály
Průvodce programováním v Prologu
Prof. Roman Barták
Prolog je deklarativní programovací jazyk s úspěšnými aplikacemi v několika oblastech, jako je umělá inteligence a plánování. Průvodce poskytuje výuku programování v Prologu počínaje úrovní začátečníků. Obsahuje mnoho příkladů zdrojového kódu.
Průvodce omezujícími podmínkami
Prof. Roman Barták
Programování s omezujícími podmínkami je deklarativní přístup k řešení problémů s využitím formalního popisu toho jak má, nebo naopak nemá vypadat správné řešení; vztahů mezi problémovými proměnnými. Průvodce poskytuje několik lekcí které představují různé techniky využívající omezující podmínky. Je zde prezentováno mnoho algoritmů a omezujících podmínek.
Prof. Roman Barták
Studijní materiály k předmětu Automaty a Gramatiky (NTIN071)
Programování s omezujícími podmínkami
Prof. Roman Barták
Studijní materály k předmětu Programování s omezujícími podmínkami (NOPT042)