Poznámky ze seminářů konaných v LS 2018/19

• (26.2.) Umělá inteligence [Tomáš Dvořák] [pdf]
  • prohledávání stavového prostoru, algoritmus A*
  • minimax, alfa.beta procedura
• Teorie automatů a jazyků [Martin Postupa]
  • (5.3.) Chomského hierarchie, regulární a bezkontextové jazyky
  • (26.3.) uzávěrové vlastnosti, Nerodova věta, pumping lemma
• Základní numerické algoritmy [Dominik Šulc] [pdf]
  • (12.3.) řešení soustav lineárních rovnic
  • (19.3.) řešení nelineárních rovnic, interpolace a aproximace funkcí, numerická integrace
• Správnost a složitost algoritmů [Tomáš Dvořák]
  • (26.3.) časová a prostorová složitost, nedeterminismus
• Datové a řídicí struktury programovacích jazyků [Radovan Kneblík]
  • (2.4) datové typy, podprogramy, principy překladu
  • (2.4.) porovnání jazyků Pascal & C
  • (9.4.) fomální popis syntaxe: syntaktické diagramy [html], Backusova-Naurova forma (BNF) [wiki]
• Principy počítačů a operačních systémů [Iva Kreslová] [pdf]
  • (2.4.) architektury počítačů, strojový kód, přerušení
  • (9.4.) paměť, sběrnice, úkoly operačního systému, historie OS, uváznutí, paralelismums & synchronizace
• Vyčíslitelnost [David Tomandl]
  • (16.4.) Algoritmicky vycíslitelné funkce, rekursivní a rekursivne spocetné množiny a jejich vlastnosti, algoritmicky nerešitelné problémy, Riceova veta
  • (23.4.) Churchova teze, rekurzivní funkce a jejich vlastnosti, Gödelovy věty
• Metodika programování [Radovan Kneblík]
  • (23.4.) strukturované, modulární a objektové programování, abstraktní datové typy, událostmi rízené programy
  • (30.4.) logické a funkcionální programování
• Informační systémy [Martin Postupa]
  • (30.4.) sekvenční, indexované a index.sekvenční soubory, hašování, B-stromy
  • (7.5.) konceptuální, logické a fyzické schéma, relační datový model, SQL
• Počítačové sítě [Iva Kreslová] [pdf]
  • (7.5.) standard ISO, TCP/IP, Internet, elektronická pošta

Materiály na semináře

• Základní numerické algoritmy
  • Tomáš Dvořák, Numerické algoritmy, Sborník Školy učitelů informatiky [pdf]
• Umělá inteligence: Neuronové sítě
  • Iveta Mrázová: Umělé neuronové sítě, Sborník Školy učitelů informatiky [pdf]
• Diskrétní simulace
  • Tomáš Holan : Diskrétní simulace, poznámky z přednášky Programování II [pdf]
• Operační systémy a překladače
  • poznámky z přednášek Tomáše Holana [html]