Lecture notes

Online materials


  • On-line 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.


  • On-line 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.

  • Automata and Grammars

    Prof. Roman Barták

    Study materials for the lecture Automata and Grammars (NTIN071)

  • Constraint programming

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

    • Propositional logic [PDF]

    • Predicate logic [PDF]

    • Temporal logic [PDF]


  • Lambda-calculus

    Prof. Petr Štěpánek

    Presentations and materials for the course Lambda-calculus and Functional Programming (NAIL078 & NAIL079).

    • Presentation 1 [PDF]

    • Presentation 2 [PDF]

    • Presentation 3 [PDF]

    • Church-Rosser Theorem [PDF]

    • Böhm's Theorem [PDF]

    • Lambda-calculus as a programming language [PDF]


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


Last change: June 12, 2017 17:40 
Share on:  
Contact

Department secretary

(Petra Novotná)

+420 951 554 245

Fax: +420 951 554 323

E-mail:

Petra Novotná

Web administrator

(Jindřich Vodrážka)

Jindřich Vodrážka

Server administrator

(Milan Fučík)

Milan Fučík









Address

Department of Theoretical Computer Science and Mathematical Logic

Faculty of Mathematics and Physics

Charles University


Malostranské náměstí 25

Prague 1, 118 00

Czech Republic



Map