Online materials
Online Guide to Prolog Programming
Prof. Roman Barták
Prolog is a declarative programming language with succesfull applications in several areas like artificial intelligence and scheduling. The guide provides a tutorial to programming in Prolog starting from the beginners level. There are a lot of examples of Prolog source code.
Online Guide to Constraint Programming
Prof. Roman Barták
Constraint Programming is a framework for declarative problem solving using constraints; relations among problem variables. The guide provides a tutorial to constraint satisfaction techniques and solving overconstrained problems. Many constraint algorithms are presented here.
Prof. Roman Barták
Study materials for the lecture Automata and Grammars (NTIN071)
Prof. Roman Barták
Study materials for the lecture Constraint Programming (NOPT042)
Downloadable
Propositional and Predicate Logic
Prof. Petr Štěpánek
Lecture notes for Propositional and Predicate Logic (NAIL062) [PDF]
Boundaries of the formal method  a material for Propositional and Predicate Logic. [PDF]
Presentation for the lecture Propositional and Predicate Logic (NAIL062).
Lambdacalculus
Prof. Petr Štěpánek
Presentations and materials for the course Lambdacalculus and Functional Programming (NAIL078 & NAIL079).
Presentation 1 [PDF]
Presentation 2 [PDF]
Presentation 3 [PDF]
ChurchRosser Theorem [PDF]
Böhm's Theorem [PDF]
Lambdacalculus as a programming language [PDF]
Exercises (Czech only)
Conceptual aggregation
Doc. Zdeněk Renc
Textbook for a topic from Machine Learning (Czech) (NAIL029). [PDF]
Relevance
Doc. Zdeněk Renc
Textbook for a topic from Machine Learning (Czech) (NAIL029). [PDF]
Algebraic Algorithms
Prof. Václav Koubek
Primality testing (Czech). [PDF]
Automata and grammars
Prof. Václav Koubek
Textbook for the lecture Automata and Grammars (Czech). [PDF]
Introduction to Logic Calculus
Dr. Karel Čuda
Textbook for the Seminar on Logic (Czech). [PDF]
Introduction to Set Theory
Dr. Karel Čuda
Textbook for the Seminar on Logic (Czech). [PDF]
Introdution to Mathematical Logic and Set Theory
Doc. Petr Kůrka
Textbook for the Seminar on Logic. [PDF]
Introduction to Complexity and NPcompleteness
Dr. Vladan Majerech
Textbook for the lecture Introduction to Complexity and NPcompleteness (Czech). [PDF]
Complexity and NPcompleteness
Dr. Vladan Majerech
Textbook for the lecture Complexity and NPcompleteness (Czech). [PDF]
TeX Internals
Dr. Vladan Majerech
Texbook on TeX internals (Czech). [DVI]
Computability
Doc. Antonín Kučera (compiled by Mgr. Ladislav Strojil)
Lecture notes on Computability (Czech). [PDF]
Computability
Doc. Antonín Kučera (compiled by Kyrylo Karlov)
Lecture notes on Computability (Czech). [PDF]
Knowledge in Multiagent Systems
Prof. Petr Štěpánek
Presentations for the lecture Knowledge in Multiagent Systems (Czech) (NAIL059,NAIL081).
Data Structures I
Prof. Václav Koubek, Dr. Alena Koubková
Textbooks for the lecture Data Structures I (Czech).
Data Structures II
Prof. Václav Koubek, Dr. Alena Koubková
Textbooks for the lecture Data Structures II (Czech).
Logic Progamming
Prof. Petr Štěpánek
Presentations for the lecture Logic Programming (NAIL076,NAIL077).
[Lecture 9] [Lecture 10] [Lecture 11] [Lecture 12]
[Lecture 13] [Lecture 14] [Lecture 15] [Lecture 16]
Department secretary (Petra Novotná) Tel.:+420 951 554 245 Email: 

Web administrator (Jindřich Vodrážka)


Server administrator (Milan Fučík)

