
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).
Exercises (Czech only)

Lecture 1 [PDF]

Lecture 2 [PDF]

Lecture 3 [PDF]

Lecture 4 [PDF]

Lecture 5 [PDF]

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]

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).

Binary search trees [PDF]

Trie, dynamization, UNIONFIND problem, Twochoice hashing, etc. [PDF]

Ordered universum, priority queue [PDF]

Amendment [PDF]

Logic Progamming
Prof. Petr Štěpánek
Presentations for the lecture Logic Programming (NAIL076,NAIL077).