Katedrální logo

Katedra teoretické informatiky a matematické logiky

Univerzita Karlova v Praze, Matematicko-fyzikální fakulta

Fakultní logo
 Úvod   Lidé   Výzkum   Výuka   Služby   Kontakt 
English

On-line výukové materiály

Pracovníci katedry připravili následující on-line výukové materiály:


 

On-line průvodce programováním v Prologu

 

Prof. Roman Barták
Prolog je deklarativní programovací jazyk úspěšně nasazovaný v oblastech jako je umělá inteligence a rozvrhování. Tento průvodce poskytuje úvod do programování v Prologu od začátečnické úrovně. Průvodce je opatřen mnoha příklady programů v Prologu. [WWW]


 

On-line průvodce programováním s omezujícími podmínkami

 

Prof. Roman Barták
Programování s omezujícími podmínkami poskytuje rámec pro deklarativní popis problémů pomocí podmínek (relace mezi proměnnými) a techniky pro jejich řešení. Průvodce poskytuje úvod do technik splňování podmínek a řešení příliš omezených problémů. Řada algoritmů pro práci s podmínkami je prezentovaná v průvodci. [WWW]


 

Výroková a predikátová logika

 

Prof. Petr Štěpánek
Skripta pro přednášku Výroková a predikátová logika (NAIL023). [PostScript] [PDF]
Meze formální metody - materiál k přednášce Výroková a predikátová logika (NAIL023). [PostScript] [PDF]

Prezentace k přednášce Výroková a predikátová logika (NAIL023).
Výroková logika [PDF (1x1)] [PDF (2x2)]
Predikátová logika [PDF (1x1)] [PDF (2x2)]
Temporální logika [PDF (1x1)] [PDF (2x2)]


 

Lambda-kalkulus

 

Prof. Petr Štěpánek
Prezentace a materiály ke kurzu Lambda-kalkulus a funkcionální programování (NAIL007):
[Prezentace - část 1.] [Prezentace - část 2.] [Prezentace - část 3.] [Churchova-Rosserova věta]
[Böhmova věta] [Lambda-kalkulus jako programovací jazyk]

Materiály k semináři Lambda-kalkulus a funkcionální programování (NAIL007):
[Seminář 1.] [Seminář 2.] [Seminář 3.] [Seminář 4.] [Seminář 5.]


 

Pojmové shlukování

 

Doc. Zdeněk Renc
Učební text k jednomu z témat přednášky Strojové učení (NAIL029). [PostScript]


 

Relevance

 

Doc. Zdeněk Renc
Učební text k jednomu z témat přednášky Strojové učení (NAIL029). [PostScript]


 

Algebraické algoritmy

 

Prof. Václav Koubek
Testování prvočíselnosti. [PostScript] [PDF]
Rychlá Fourierova transformace. [PostScript] [PDF]


 

Automaty a gramatiky

 

Prof. Václav Koubek
Skripta pro přednášku Automaty a gramatiky (NTIN013). [PostScript] [DVI]


 

Základy logického kalkulu

 

Dr. Karel Čuda
Učební text k Prosemináři z logiky (NAIL012). [PostScript]


 

Základy teorie množin

 

Dr. Karel Čuda
Učební text k Prosemináři z logiky (NAIL012). [PostScript] [DVI]


 

Automaty a gramatiky

 

Prof. Roman Barták
Učební materiály k přednášce Automaty a gramatiky (NTIN013). [WWW]


 

Programování s omezujícími podmínkami

 

Prof. Roman Barták
Učební materiály k přednášce Programování s omezujícími podmínkami (NOPT042). [WWW]


 

Úvod do matematické logiky a teorie množin

 

Doc. Petr Kůrka
Studijní text k Prosemináři z logiky (NAIL012). [PostScript] [DVI]


 

Úvod do složitosti a NP-úplnosti

 

Dr. Vladan Majerech
Skripta ke stejnojmenné přednášce. [PostScript] [DVI] [PDF]


 

Složitost a NP-úplnost

 

Dr. Vladan Majerech
Skripta. [PostScript] [DVI] [PDF]


 

Vnitřnosti TeXu

 

Dr. Vladan Majerech
Skripta. [DVI]


 

Vyčíslitelnost

 

Doc. Antonín Kučera (zpracoval Mgr. Ladislav Strojil)
Poznámky k přednášce. [DVI]


 

Znalosti v multiagentových systémech

 

Prof. Petr Štěpánek
Prezentace k přednášce Znalosti v multiagentových systémemech (NAIL059).
Uvažování o znalostech [PDF (1x1)] [PDF (2x2)]
Jaké vlastnosti mají znalosti [PDF (1x1)] [PDF (2x2)]
Úplnost a složitost [PDF (1x1)] [PDF (2x2)]
Běhy a systémy [PDF (1x1)] [PDF (2x2)]
Znalost v multi-agentních systémech [PDF (1x1)] [PDF (2x2)]
Aplikace: Znalostní báze [PDF (1x1)] [PDF (2x2)]
Aplikace: Hry a systémy předávání zpráv [PDF (1x1)] [PDF (2x2)]
Protokoly a programy [PDF (1x1)] [PDF (2x2)]
Od úmluvy k rozepři [PDF (1x1)] [PDF (2x2)]
Souběžná byzantská úmluva [PDF (1x1)] [PDF (2x2)]
Běžné znalosti a úmluvy [PDF (1x1)] [PDF (2x2)]
Logická vševědoucnost [PDF]


 

Datové struktury I

 

Prof. Václav Koubek, Dr. Alena Koubková
Hašování [PostScript] [PDF]
Stromy [PostScript] [PDF]
Haldy [PostScript] [PDF]
Dodatek [PostScript] [PDF]


 

Datové struktury II

 

Prof. Václav Koubek, Dr. Alena Koubková
Binární vyhledávací stromy [PDF][PS]
Trie, dynamizace, problém UNION-FIND, hašování "dvě-volby"... [PDF][PS]
Uspořádaná univerza, prioritní fronty [PDF][PS]
Doplněk [PostScript] [PDF]


 

Logické programování

 

Prof. Petr Štěpánek
Prezentace k přednášce Logické programování (NAIL076).
[Přednáška 1.] [Přednáška 2.] [Přednáška 3.] [Přednáška 4.] [Přednáška 5.] [Přednáška 6.] [Přednáška 7.] [Přednáška 8.] [Přednáška 9.] [Přednáška 10.] [Přednáška 11.] [Přednáška 12.] [Přednáška 13.] [Přednáška 14.] [Přednáška 15.] [Přednáška 16.]
[Argumentace (Dung, Kowalski)]