mff

Markéta Popelová

LS 2010/2011

Základy spojité optimalizace

Poměrně neuspořádané poznámky ke zkoušce. Ještě relativně rozumně zapsaná duální simplexová metoda (především včetně důkazu) a dále vždy pár poznámek k několika dalším tématům. Optimalizace.

ZS 2010/2011

Úvod do počítačové lingvistiky

Opět text jako příprava na zkoušku, tentokrát však TeXem nedotčený... Lingvistika.

Počítačová grafika I.

Různé otázky z počítačové grafiky a nápady na jejich odpovědi (naprosto neověřené). Grafika.

Algebra I.

Soupis definic a znění vět. Algebra I.

ZS 2009/2010

Databázové systémy

Při přípravě na zkoušku z databází vzniklo pdf s otázkami a některými odpověďmi na fyzickou implementaci. Nicméně možná tam jsou chyby a nepřesné informace, ani jsem neměla čas to dávat do nějaké hezké podoby. Databáze.

Pravděpodobnost a statistika

Stejně tak při přípravě na zkoušku z Pravděpdobnosti a statistiky jsem si sepsala některé pojmy z teorie a jejich základní vysvětlení. Pravděpodobnost a statistika. A ještě dodávám své oskenované poznámky ze cvičení. Sešit.

Matematická analýza III.

Text pana Doc. Klazara je skvělý a z teorie naprosto dostačující. Jen jsem si vypsala výpisky - znění definic a vět. Definice a základní pojmy. Věty a výsledky bez důkazů. Obojí jen znění.

Výroková a predikátová logika

Snaha sepsat ke zhuštěným sriptům z Výrokové a predikátové logiky nějaký vysvětlující textík skončila nepříliš úspěšně. Poté, co jsme si rozebrali první kapitoly a pustili se do toho, jsme došli k tomu, že jakmile si člověk ten text pročte tolikrát, že ho pochopí, tak už nemá, co by k němu vysvětlujícího dodal. Neboť ten text je opravdu vyčerpávající - i co se týká množství a celistvosti informací, i co se týká stavu studenta, který se ho snaží pochopit. Nicméně malý kousek, který jsem sepsala, sem dávám k dispozici, jen varuji, že není zkontrolovaný nikým zodpovědným. Dedukce.

Přidávám řešené počty ve výrokové logice (tzn. počty neekvivalentních teorií, výroků, atd.), což patří k jednoduchým oblíbeným otázkám pana Doc. Mlčka (tedy jsou to asi nejjednodušší z oblíbených, ne že by jeho otázky byly jinak jednoduché ;)). Výrokovka - počty výroků a teorií.

K některým kapitolám jsem si sepsala nejdůležitější poznatky, občas i s vysvětlením, ale na to většinou bohužel nezbyl čas. Úvod. Výroková logika. Nerozhodnutelnost. Eliminace kvantifikátorů.

C++

Zde je výběr příkladů a jejich odpovědí (za které neručím) ze zkouškových písemek C++ Zkouškové písemky.

Algoritmy a datové struktury II.

Zápisky prvních tří přednášek z ADS II (páteční přednáška s Martinem Marešem), které jsem sepsala. Na jeho stránkách najdete i zdrojové texty a postupně budou přibývat i zápisky z dalších přednášek. ADS toky.
© Markéta Popelová 2009 - 2012