-
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).
-
Lambda-calculus
Prof. Petr Štěpánek
Presentations and materials for the course Lambda-calculus 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 NP-completeness
Dr. Vladan Majerech
Textbook for the lecture Introduction to Complexity and NP-completeness (Czech). [PDF]
-
Complexity and NP-completeness
Dr. Vladan Majerech
Textbook for the lecture Complexity and NP-completeness (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 Multi-agent Systems
Prof. Petr Štěpánek
Presentations for the lecture Knowledge in Multi-agent 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, UNION-FIND problem, Two-choice 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).