Fórum studentů MFF UK

TIN066 Datové struktury I
Přednáška navazuje na přednášky Algoritmy a datové struktury I a II a Programování I a II bakalářského studia. Bude věnována dvěma základním datovým strukturám, hašování a $(a,b)$-stromům (tato struktura se také nazývá $B$-stromy). Popisují se zde základní vlastnosti těchto struktur a jejich složitost. Na závěr přednášky se provede stručné zhodnocení třídicích algoritmů.

TIN062 Složitost I
Základní přednáška o teorii složitosti algoritmů. Zhruba první polovina přednášky je věnována studiu složitosti konkrétních algoritmů různých typů (grafové, rozděl a panuj, hladové na matroidech) pracujících v polynomiálním čase. Složitost je zkoumána jak "klasicky" (složitost v nejhorším případě), tak amortizovaně. Druhá polovina přednášky je pak věnována studiu třídy NP, polynomiální převoditelnosti problémů a důkazům NP-úplnosti problémů. Závěr přednášky je věnován tématům souvisejícím se studiem NP-úplnosti: pseudopolynomiálním algoritmům a silné NP-úplnosti, početním úlohám a třídě #P.

TIN064 Vyčíslitelnost I
Základní přednáška z teorie algoritmů a efektivní vyčíslitelnosti. Turingovy stroje. Částečně rekurzivní funkce. Rekurzivní a rekurzivně spočetné množiny. Algoritmicky nerozhodnutelné problémy. Věta o rekurzi. Kreativní množiny.

MAI060 Pravděpodobnostní metody
Prohloubení poznatků z bakalářského kursu Pravděpodobnost a statistika a jejich rozšíření o základy dalších disciplín teorie pravděpodobnosti, zejména o teorii a využití Markovových řetězců, teorii front, teorii spolehlivosti a teorii informace.

SWI004 Operační systémy
Předmět poskytuje informace o architektuře operačních systémů a funkcích správy procesů, správy paměti, ovladačů periferií, systémů souborů, sítí, bezpečnosti. Všechny funkce jsou ilustrovány na současných operačních systémech, implementace vybraných funkcí je procvičována tvorbou výukového operačního systému.

SWI106 Administrace Unixu
Tento kurs je zameřen na seznamení se základními koncepty a administratorským nářadím nutným pro administrování víceuživatelského síťového počítače pod operačním systémem *nix. Bude pokryta instalace a administrace několika *nix systémů (rodina BSD, Linux). Konfigurace démonů (apache, sendmail, bind, etc.). Konfigurace firewallu a NAT

Ostatní
Co se jinam nevejde

NTIN090 Základy složitosti a vyčíslitelnosti

OPT042 Programování s omezujícími podmínkami
Přednáška podává přehled o technikách programování s omezujícími podmínkami. Zaměřena je na algoritmy splňování podmínek a na problematiku řešení příliš omezených systémů podmínek. Zabývá se také praktickým využitím omezujících podmínek při řešení reálných problémů.

AIL002 Neuronové sítě

AIL025 Evoluční algoritmy I

AIL069 Umělá inteligence I

NDBI001 Dotazovací jazyky I

TIN070 Testování software

NDBI027 Datové sklady a analytické metody pro Business Intelligence

NDBI034 Vyhledávání multimediálního obsahu na webu