Vyuka

• Aktuality, terminy, ...
• Skusky, zapocty ...
• Algoritmy a datove struktury I, II (1.r.,LS; 2.r.ZS) NTIN060 NTIN061
• Neprocedurální programování (2.r.,LS) NPRG005 a download
• Vyrokova a predikatova logika, (2.r.,ZS) NAIL062.
• Herni algoritmy, (ZS) NAIL103, stránka semináře,
• Lambda-kalkulus a funkcionální programování I, II , (ZS, LS) NAIL078 ZS, NAIL079 LS.
• Logické programování I, II, (ZS, LS) NAIL076 ZS, NAIL077 LS.
• Automaty a gramatiky, (2.r.,LS) PRG071.
• Umela inteligence I, (I/3,I/4 ZS) AIL069.
• Metody logickeho programovani (ZS) AIL022
• Seminář z logickeho programovani (ZS) AIL006 (LS) AIL009
• Rocnikovy projekt - specifikace, implementace, temy (2.r.,LS, 3.r. ZS) PRG033, PRG034.
• (Softwarovy) Projekt (4.r.)
• Ako pisat: dokumentaciu, referát, ...
• Sylaby viz SIS
• Diplomove prace viz SIS
• Praktikum z informatiky, ZRUSENO (2.r.,LS)
• Download
• Dodatky
• Algorithms and Data Structures 1, in English
• Algorithms and Data Structures 2, in English
• Lambda Calculus and Functional Programming, in English

Aktualne terminy a novinky

Skusky

Algoritmy a datove struktury I, II (TIN060, TIN061)

Průběh přednášek, LS 2023/24, zde.
Slajdy k prednaske: pdf v pořadí přednášek 2022-.. (jsou/budou průběžně updatovány), pdf v původním pořadí.
Přednáška se nahrává a streamuje (https://www.mff.cuni.cz/cs/verejnost/multimedia/impakt-stream). Nahrávky budou dostupné na Moodlu přednášky (mojí paralelky X) na https://dl1.cuni.cz/course/view.php?id=9559 (pravděpodobně) přes https://stream.cuni.cz. Pro přihlášení do kurzu v Moodlu potřebujete klíč: napište mi nebo se zeptejte někoho, kdo byl na první přednášce. .

Příklady na cvičení, DÚ: přes Moodle: nove html, (2018), jiné stare pdf, (ps). Kopia slajdov-zip (v priebehu roku sa mozu menit). (Ne)udelene zápočty LS 19/20 a výsledky DÚ.

Algoritmy a datove struktury II (TIN061)

Příklady na cvičení, DÚ (a průběh cvičení ADS 2): používané nové html (mění *se*), jiné staré pdf, (ps). Příklady na DÚ a výsledky: v Moodlu, kurz 10296.

Stránky jiných cvičících (i dřívějších): Vladan Majerech, Miloš Chromý, Jiří Švancara, Michal Opler, (výuka), Matej Lieskovský (EN), Jakub Pekárek, ... a přednášejících: Ondřej Čepek, Martin Mareš

Literatura

Algorithms and Data Structures I (TIN060)

Lectures: part 1, part 2, part (3). Part 1: 1st lecture, part 2: 2nd-last lecture, 3: B-trees
Seminar to ADS I, Petr Kučera

Algorithms and Data Structures II (TIN061)

Lectures: 1.
Covered topics here.
An exam example (TBA) .pdf (TBA).
Seminar to ADS II, Petr Kučera

Programovani 1

• Slajdy LS 17/18 (menene postupne), Haskell .pdf P8-P12, ( .ppt), 2019 .pdf P8-P13, pokud budou
• Materialy na cviceni, i LS 17/18, src (postupne) cv1 (.pl), cv2 (.pl), 3, 4, 5, 6, 7, 9 (.hs), 10, 11, 12, 13 (s modulem Z17), zip LS17 (s update), zip LS19 (bude na konci semestru), domaci ulohy,
• Ucastnici cviceni, pridelene zap. priklady 2018/19L,
• Poziadavky 2007/2008 Postscript, dvi, tex.
• Priklady na cvicenia (pdf),
• "Zaznam" cviceni (11/12 - 15/16) (.txt),
• Prolog - zapoctove priklady (win), pdf,
• Archiv, cviceni Scheme/Racket 8 (.rkt),
• Slajdy '10 (zmenene postupne), Prolog 1&2, 2, 3, 4, 5, 6, 7, 8, add, Scheme, Haskell 10-13, cast ako zip (16.4.2012: scheme, ppt+html; bude Hs)
• Prednaska 12.05.2009 Haskell: fold, Huffmanovo kodovanie pdf
• Stranka M. Piláta, materiály k cvičením Prologu a Hs,
• Stranka R.Kryla , predmet PRG005, ucebny textpdf, zip,
• Stranka R. Bartaka, vyukove materialy k Prologu (anglicky),
• texty k jazyku Haskell:
  • Haskell v prikladech,pdf(?)
  • Uvod (.ps, A Gentle Introduction to Haskell 98), (.ps.gz) (doporucujem tento text, vybrat si len odprednasane temy), Uvod (.ps, starsia a kratsia verzia) (.dvi)
  • vzorky kodu
  • uvod na slajdoch (.ps), (.dvi)
  • popis jazyka (.ps), (.dvi) - prilis podrobne a technicke,
  • referencna prirucka implementacie Gofera (.ps), (.dvi).
  Spustitelne implementacie v L3: SWI-prolog, Hugs.
• Download: http://www.swi-prolog.org/ SWI Prolog,
• http://www.haskell.org/, zdroje k Haskellu, lokalne ...
• Prolog - prednasky (win), ascii, kam (=tex), dvi, ps,
• Prolog - cvicenia (win), ascii, kam (=tex), dvi, ps,
• Scheme - prednasky (win), ascii, kam (=tex), dvi, ps,
• Haskel - cvicenia (win), ascii, kam (=tex), dvi, ps,

• Stránka semináře.
• Slajdy ze seminářů: 1 uvod, 2_a_3 AB (upravovane), 4 PNS a lambda search, MCTS, ...

• Slajdy, vše 4x1: 1 netypovaný l.k. (ZS), 2 typovaný l.k. (ZS+LS), 3 typovaný (LS,částečně),
• Varianta slajdů 1x1: FP1, FP2, FP3.
• priklady.
• slajdy (a další zdroje) na stránkách katedry

• Slides, all as 4x1: Part 1 untyped l.c. (WS), Part 2 typed l.c. (WS+SS), Part 3 typed (SS, partially),
• Variant of slides 1x1: Part 1, Part 2, Part 3.
• Examples / homeworks. (in preparation)
• slides (a other sources) on department pages

• Slajdy: (budu lokalne) ,
• slajdy na stránkách katedry
• [LP1], [LP2], [LP3], [LP4], [LP5], [LP6], [LP7], [LP8], [LP9], [LP10], [LP11], [LP12], [LP13], [LP14], [LP15], [LP16], [Argumentace_(Dung,_Kowalski)].

Rocnikovy projekt (PRG033, PRG034, 2.r.LS, 3.r.ZS)

• Temy rocnikovych projektov (a potencialne Bc. praci),
• Priklady pre inspiraciu, zastarale, ascii

Automaty a gramatiky ( TIN071, 2.r.LS)

• Informacie k prednaskam na strankach prednasajuceho R. Bartaka, konkretne tu; aj priklady z cviceni.
• Priklady z cviceni. (A nahradne priklady na zapocet za chyby v písomke - 08/09)
• 27.5.2009 vysledky (LS08/09) zapoctovych pisomiek. Nahradne priklady su (28.5.09) v príkladoch k cviceniam.
• (14.3.)2008 .pl s ulohami pre emailove odovzdavanie, vratane popisu struktury a testov syntaktickej spravnosti; instrukcie pre emailove odovzdavanie (mozu sa menit). Vysledky ulohy1a,b, došlé riešenia ulohy1a,b, statistika uloha1: 8ok, 4 semanticky zle, 0 syntakticky zle; vysledky ulohy2a,b a ulohy3a-d (2007), došlé riešenia ulohy2a,b a ulohy3a-d, statistika uloha2: 19ok, 6 semanticky zle, 2 syntakticky zle; statistika uloha3: 29ok, 18 semanticky zle, 3 syntakticky zle.
• 01.06.2007 vysledky (LS06/07) zapoctovych pisomiek. Nahradne priklady su (1.6.07) v príkladoch k cviceniam.
• 15.5.2006 vysledky (LS05/06) zapoctovych pisomiek a nahradne priklady.
• 11.4.2003 Priklady (LS04/05) za chyby v priebežnej písomke; a zapoctovych pisomkach.
• Zápočtové písomky: 19.5.2003, 23.5.2003 Výsledky. Priklady viz vyssie.

Výroková a predikátová logika

(Ne)udelene zapocty ZS 19/20. Příklady pro ZS 2019/20 jsou/budou zde (.htm).(10.10.2019)

Umela inteligence (AIL069, ZS, I/3,I/4)

Metody logickeho programovani

Seminar z logickeho programovani

Projekt 00/01: Goisticka databaza

Projekt 97/98: Vyhladavanie ... OBHAJENE

• Okomentovana predbezna dokumentacia,
• Text navrhu projektu
• Prednaska Dokumentograficke informacni systemy (M. Kopecky)
• Moj clanok na Cofaxe'96: Vyhladavanie v textoch s lingvistickou podporou dvi, ps (snad uz OK),

Praktikum z informatiky, LS 2.r

... in (permanent) (re)construction

back

last update: 21.5.'18 příliš žluťoučký kůň úpěl ďábelské ódy.