Lecture notes ****************************************************************************************** * ****************************************************************************************** Online materials • On-line Guide to Prolog Programming [ URL "http://kti.mff.cuni.cz/~bartak/prolog/"] Prof. Roman Barták Prolog is a declarative programming language with succesfull applications in several are artificial intelligence and scheduling. The guide provides a tutorial to programming in from the beginners level. There are a lot of examples of Prolog source code. • On-line Guide to Constraint Programming [ URL "http://kti.mff.cuni.cz/~bartak/constraint Prof. Roman Barták Constraint Programming is a framework for declarative problem solving using constraints; among problem variables. The guide provides a tutorial to constraint satisfaction techni overconstrained problems. Many constraint algorithms are presented here. • Automata and Grammars [ URL "http://ktiml.mff.cuni.cz/~bartak/automaty/"] Prof. Roman Barták Study materials for the lecture Automata and Grammars (NTIN071) • Constraint programming [ URL "http://ktiml.mff.cuni.cz/~bartak/podminky/"] 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 [ URL "KTIML-13-versi stepanekpetr_predikatovalogika.pdf"] ] Boundaries of the formal method - a material for Propositional and Predicate Logic. [PDF "KTIML-13-version1-stepanekpetr_meze.pdf"] ] Presentation for the lecture Propositional and Predicate Logic (NAIL062). • Propositional logic [PDF [ URL "KTIML-13-version1-stepanekpetr_vyrokovalogika_1x.pdf"] • Predicate logic [PDF [ URL "KTIML-13-version1-stepanekpetr_predikatovalogika.pdf"] ] • Temporal logic [PDF [ URL "KTIML-13-version1-stepanekpetr_temporalnilogika_.pdf"] ] • Lambda-calculus Prof. Petr Štěpánek Presentations and materials for the course Lambda-calculus and Functional Programming (N NAIL079). • Presentation 1 [PDF [ URL "KTIML-13-version1-calculus1.pdf"] ] • Presentation 2 [PDF [ URL "KTIML-13-version1-calculus2.pdf"] ] • Presentation 3 [PDF [ URL "KTIML-13-version1-calculus3.pdf"] ] • Church-Rosser Theorem [PDF [ URL "KTIML-13-version1-stepanekpetr_church_rosser_the.pdf • Böhm's Theorem [PDF [ URL "KTIML-13-version1-stepanekpetr_bohmova_veta.pdf"] ] • Lambda-calculus as a programming language [PDF [ URL "KTIML-13-version1- stepanekpetr_lambda_jako_progr.pdf"] ] Exercises (Czech only) • Lecture 1 [PDF [ URL "KTIML-13-version1-stepanekpetr_lambdaseminar_1.pdf"] ] • Lecture 2 [PDF [ URL "KTIML-13-version1-stepanekpetr_lambdaseminar_2.pdf"] ] • Lecture 3 [PDF [ URL "KTIML-13-version1-stepanekpetr_lambdaseminar_3.pdf"] ] • Lecture 4 [PDF [ URL "KTIML-13-version1-stepanekpetr_lambdaseminar_4.pdf"] ] • Lecture 5 [PDF [ URL "KTIML-13-version1-stepanekpetr_lambdaseminar_5.pdf"] ] • Conceptual aggregation Doc. Zdeněk Renc Textbook for a topic from Machine Learning (Czech) (NAIL029). [PDF [ URL "KTIML-13-versi pojm_shluk.pdf"] ] • Relevance Doc. Zdeněk Renc Textbook for a topic from Machine Learning (Czech) (NAIL029). [PDF [ URL "KTIML-13-versi relevance.pdf"] ] • Algebraic Algorithms Prof. Václav Koubek Primality testing (Czech). [PDF [ URL "KTIML-13-version1-koubekvaclav_prime.pdf"] ] • Automata and grammars Prof. Václav Koubek Textbook for the lecture Automata and Grammars (Czech). [PDF [ URL "KTIML-13-version1-au • Introduction to Logic Calculus Dr. Karel Čuda Textbook for the Seminar on Logic (Czech). [PDF [ URL "KTIML-13-version1-baklog.pdf"] ] • Introduction to Set Theory Dr. Karel Čuda Textbook for the Seminar on Logic (Czech). [PDF [ URL "KTIML-13-version1-baktm.pdf"] ] • Introdution to Mathematical Logic and Set Theory Doc. Petr Kůrka Textbook for the Seminar on Logic. [PDF [ URL "KTIML-13-version1-logika.pdf"] ] • Introduction to Complexity and NP-completeness Dr. Vladan Majerech Textbook for the lecture Introduction to Complexity and NP-completeness (Czech). [PDF [ version1-vladanmajerech_uvoddoslozitost.pdf"] ] • Complexity and NP-completeness Dr. Vladan Majerech Textbook for the lecture Complexity and NP-completeness (Czech). [PDF [ URL "KTIML-13-ve vladanmajerech_slozitostanpupl.pdf"] ] • TeX Internals Dr. Vladan Majerech Texbook on TeX internals (Czech). [DVI [ URL "https://ktiml.mff.cuni.cz/~maj/ftp/inTeX/i • Computability Doc. Antonín Kučera (compiled by Mgr. Ladislav Strojil) Lecture notes on Computability (Czech). [PDF [ URL "KTIML-13-version1-vycislitelnost.pdf • Computability Doc. Antonín Kučera (compiled by Kyrylo Karlov) Lecture notes on Computability (Czech). [PDF [ URL "KTIML-13-version1- computability_by_kyrylo_karlov.pdf"] ] • Knowledge in Multi-agent Systems Prof. Petr Štěpánek Presentations for the lecture Knowledge in Multi-agent Systems (Czech) (NAIL059,NAIL081) • Reasoning about knowledge [PDF (1x1) [ URL "KTIML-13-version1-a1.pdf"] ] [PDF (2x2) [ version1-a1_1.pdf"] ] • Properties of knowledge [PDF (1x1) [ URL "KTIML-13-version1-a2.pdf"] ] [PDF (2x2) [ UR version1-a2_1.pdf"] ] • Completeness and complexity [PDF (1x1) [ URL "KTIML-13-version1-a3.pdf"] ] [PDF (2x2) version1-a3_1.pdf"] ] • Runs and systems [PDF (1x1) [ URL "KTIML-13-version1-a4.pdf"] ] [PDF (2x2) [ URL "KTIM a4_1.pdf"] ] • Knowledge in multi-agent systems [PDF (1x1) [ URL "KTIML-13-version1-a4a.pdf"] ] [PDF "KTIML-13-version1-a4a_1.pdf"] ] • Application: knowledge bases [PDF (1x1) [ URL "KTIML-13-version1-a4b.pdf"] ] [PDF (2x2 "KTIML-13-version1-a4b_1.pdf"] ] • Application: games and message-passing systems [PDF (1x1) [ URL "KTIML-13-version1-a4c (2x2) [ URL "KTIML-13-version1-a4c_1.pdf"] ] • Protocols and programs [PDF (1x1) [ URL "KTIML-13-version1-a5.pdf"] ] [PDF (2x2) [ URL version1-a5_1.pdf"] ] • Agreeing to disagree [PDF (1x1) [ URL "KTIML-13-version1-a6_ad.pdf"] ] [PDF (2x2) [ UR version1-a6_ad_1.pdf"] ] • Simultaneous byzantine agreement [PDF (1x1) [ URL "KTIML-13-version1-a6_ba.pdf"] ] [PD "KTIML-13-version1-a6_ba_1.pdf"] ] • Common knowledge and agreement [PDF (1x1) [ URL "KTIML-13-version1-a6_ca.pdf"] ] [PDF "KTIML-13-version1-a6_ca_1.pdf"] ] • Logical omniscience [PDF [ URL "KTIML-13-version1-stepanekpetr_logical_omniscien.pdf"] • Data Structures I Prof. Václav Koubek, Dr. Alena Koubková Textbooks for the lecture Data Structures I (Czech). • Hashing [PDF [ URL "KTIML-13-version1-koubekvaclav_hasovani.pdf"] ] • Trees [PDF [ URL "KTIML-13-version1-koubekvaclav_stromy.pdf"] ] • Heaps [PDF [ URL "KTIML-13-version1-koubekvaclav_haldy.pdf"] ] • Amendment [PDF [ URL "KTIML-13-version1-koubekvaclav_dodatek.pdf"] ] • Data Structures II Prof. Václav Koubek, Dr. Alena Koubková Textbooks for the lecture Data Structures II (Czech). • Binary search trees [PDF [ URL "KTIML-13-version1-koubekvaclav_binvyhst.pdf"] ] • Trie, dynamization, UNION-FIND problem, Two-choice hashing, etc. [PDF [ URL "KTIML-13- koubekvaclav_dsii2.pdf"] ] • Ordered universum, priority queue [PDF [ URL "KTIML-13-version1-koubekvaclav_dvhal.pdf • Amendment [PDF [ URL "KTIML-13-version1-koubekvaclav_doplnek.pdf"] ] • Logic Progamming Prof. Petr Štěpánek Presentations for the lecture Logic Programming (NAIL076,NAIL077). • [Lecture 1 [ URL "KTIML-13-version1-lp1.pdf"] ] [Lecture 2 [ URL "KTIML-13-version1-lp [Lecture 3 [ URL "KTIML-13-version1-lp3.pdf"] ] [Lecture 4 [ URL "KTIML-13-version1-lp • [Lecture 5 [ URL "KTIML-13-version1-lp5.pdf"] ] [Lecture 6 [ URL "KTIML-13-version1-lp [Lecture 7 [ URL "KTIML-13-version1-lp7.pdf"] ] [Lecture 8 [ URL "KTIML-13-version1-lp • [Lecture 9 [ URL "KTIML-13-version1-lp9.pdf"] ] [Lecture 10 [ URL "KTIML-13-version1-l [Lecture 11 [ URL "KTIML-13-version1-lp11.pdf"] ] [Lecture 12 [ URL "KTIML-13-version1 • [Lecture 13 [ URL "KTIML-13-version1-lp13.pdf"] ] [Lecture 14 [ URL "KTIML-13-version1 [Lecture 15 [ URL "KTIML-13-version1-lp15.pdf"] ] [Lecture 16 [ URL "KTIML-13-version1 • [Argumentation (Dung, Kowalski) [ URL "KTIML-13-version1-stepanekpetr_argumentation_du