Studium matematiky a informatiky na Matematicko-fyzikální fakultě Univerzity Karlovy (MFF UK) představuje náročný, ale zároveň obohacující proces. Pro úspěšné zvládnutí předmětů, jako je Matematická analýza (např. NMAI054), je klíčové mít k dispozici kvalitní studijní materiály a efektivně se připravovat na zkoušky. Tento článek shrnuje dostupné zdroje a doporučení pro studenty.
Studijní materiály a zdroje
Existuje celá řada materiálů, které mohou studentům pomoci s pochopením látky a přípravou na zkoušky. Mezi ně patří:
- Poznámky z přednášek: Různí vyučující a asistenti si vedou vlastní poznámky, které mohou být velmi cenné. Mezi příklady patří Jelínkovy poznámky z různých akademických roků (2019/2020, 2023/2024), poznámky Adama Lišky z přednášek S. Hencla (2007/2008) nebo poznámky ve formátu stromu Markdownu z Obsidianu (akademický rok 2024/25).
- Online zdroje: Webové stránky jako Blackblog.cz nabízejí stručné poznámky o výpočtech integrálů a derivací.
- Vizuální pomůcky: Kanál 3b1b na YouTube poskytuje vynikající vizuální vysvětlení základů kalkulu (The essence of calculus).
- Anki balíčky: Pokud je u předmětu symbol kartičky (🃏), existuje Anki balíček, který může pomoci s opakováním celého předmětu.
Pro přípravu na zkoušky je k dispozici také velké množství předchozích zkoušek, které lze nalézt jak na fakultních stránkách, tak na platformě Moodle.
Doporučení ke zkoušce
Profesor Jelínek poskytuje specifická doporučení ke zkoušce z matematické analýzy. Zdůrazňuje, že důkazů tvrzení a vět je mnoho (více než 30), ale ve zkoušce nejsou hodnoceny vysokým počtem bodů (obvykle jeden důkaz za 4-6 bodů z celkových 40). Proto, pokud není cílem získat nejvyšší hodnocení, je osobním doporučením soustředit se na dobré zvládnutí řešení příkladů a znát pouze znění tvrzení a vět.
Pro efektivní procvičování výpočetních příkladů lze využít online kalkulačky:
- Symbolab: Pro derivace, limity a integrály.
- Desmos: Pro vizualizaci grafů funkcí.
Využít lze také AI asistenty, kteří jsou schopni nabídnout více možností řešení a vysvětlit provedené kroky.
Obsah studia
Studium na MFF UK pokrývá široké spektrum témat jak z matematiky, tak z informatiky. Níže je uveden přehled klíčových oblastí:
Matematika
- Obecná matematika:
- Iracionalita odmocniny ze dvou
- Nespočetnost množiny reálných čísel ($\mathbb{R}$)
- Definice a aritmetika limit
- Věta o dvou policajtech, limity a uspořádání
- Definice částečného součtu a součtu řady
- Geometrická a harmonická řada
- Limita složené funkce
- Nabývání mezihodnot a maxim
- Definice a základní pravidla pro výpočet derivace
- L'Hospitalovo pravidlo
- Vyšetření průběhu funkcí (extrémy, monotonie, konvexita/konkavita)
- Primitivní funkce (definice a metody výpočtu - substituce, per-partes)
- Riemannův integrál (definice, souvislost s primitivní funkcí - Newtonův integrál)
- Aplikace integrálu (odhady součtu řad, obsahy a objemy útvarů, délka křivky)
- Lineární algebra:
- Vlastnosti a základní pojmy (lineární kombinace, obal, generátory, závislost/nezávislost, báze, dimenze, souřadnice)
- Testování lineární závislosti/nezávislosti, nalezení báze, určení dimenze
- Skalární součin a jeho vlastnosti
- Norma a vztah se skalárním součinem
- Kolmost, ortonormální báze, projekce
- Matice a systémy lineárních rovnic:
- Metody řešení (Gaussova a Gaussova-Jordanova eliminace)
- Odvození tvaru matice a jeho jednoznačnost
- Interpretace součinu matic
- Hodnost matice a její transpozice
- Teorie grafů:
- Definice a základní pojmy (rovinný graf, stěny)
- Eulerova formule a maximální počet hran rovinného grafu
- Definice dobrého obarvení, vztah barevnosti a klikovosti
- Definice sítě a toku, existence maximálního toku
- Algoritmy pro hledání maximálního toku (např. Ford-Fulkersonův)
- Kombinatorika:
- Vlastnosti binárních relací (reflexivita, symetrie, antisymetrie, tranzitivita)
- Typy funkcí (prostá, na, bijekce), počty funkcí mezi konečnými množinami
- Princip důkazu a algoritmické aspekty (polynomiální algoritmus pro nalezení SRR)
- Definice a základní vlastnosti stromů, ekvivalentní charakteristiky
- Vytvořující funkce pro řešení lineárních rekurencí
- Zobecněná binomická věta (formulace)
- Katalanova čísla (kombinatorická interpretace, odvození vzorce)
- Pravděpodobnost a statistika:
- Pravděpodobnostní prostor, náhodné jevy, pravděpodobnost, základní pravidla
- Nezávislost jevů, podmíněná pravděpodobnost, Bayesův vzorec
- Náhodné veličiny (diskrétní i spojité), distribuční funkce, hustota pravděpodobnosti
- Střední hodnota, linearita, střední hodnota součinu nezávislých veličin, Markovova nerovnost
- Rozptyl, vzorec pro rozptyl součtu
- Práce s konkrétními rozděleními (geometrické, binomické, Poissonovo, normální, exponenciální)
- Limitní věty (zákon velkých čísel, centrální limitní věta)
- Bodové a intervalové odhady
- Testování hypotéz (chyby I. a II. druhu, hladina významnosti)
- Logika:
- Syntaxe (výroková a predikátová logika, normální tvary formulí, převody)
- Sémantika (model, pravdivost, splnitelnost, tautologie, důsledek)
- Extenze teorií, konzervativnost, Skolemizace
- Dokazatelnost (formální důkaz, Hilbertovský kalkul, tablo metoda, rezoluce)
- Kompletnost a rozhodnutelnost teorií
Informatika
- Teorie vyčíslitelnosti a formální jazyky:
- Regulární jazyky (regulární gramatiky, konečné automaty, regulární výrazy, Kleeneho věta, pumping lemma)
- Bezkontextové jazyky (bezkontextové gramatiky, zásobníkové automaty)
- Turingův stroj, diagonální a univerzální jazyk
- Chomského hierarchie, určování ekvivalence a inkluze tříd jazyků
- Teorie složitosti:
- Čas a prostor výpočtu, asymptotická notace
- Třídy P a NP, převoditelnost problémů, NP-těžkost a NP-úplnost
- Algoritmy a datové struktury:
- Princip rekurzivního dělení, rekurentní rovnice, Master theorem
- Třídicí algoritmy (Mergesort, Quicksort, Heapsort, třídění haldou, přihrádkové třídění)
- Vyhledávací stromy (AVL stromy)
- Strassenův algoritmus
- Objektově orientované programování:
- Koncepty abstrakce, zapouzdření, polymorfismu
- Třídy, rozhraní, metody, dědičnost, viditelnost
- Statické a dynamické typování, virtuální metody
- Implementace primitivních a objektových typů
- Programovací jazyky a jejich implementace:
- Primitivní a objektové typy, reprezentace v paměti
- Generické typy, lambda funkce
- Manipulace se zdroji, ošetření chyb (RAII, try-catch)
- Životní cyklus objektů, správa paměti (alokace, inicializace, destrukce, garbage collector)
- Vlákna a synchronizace (mutexy, semafory)
- Nativní a interpretovaný běh (bytecode, JIT, AOT překlad)
- Proces sestavení programu (kompilace, linkování)
- Operační systémy:
- Privilegovaný a neprivilegovaný režim procesoru
- Obsluha zařízení (PIO, přerušení)
- Procesy a vlákna, správa procesů, multitasking
- Plánování procesů, sdílení paměti
- Virtuální a fyzická adresa, stránkování
- Správa souborů, kritické sekce, synchronizační primitiva
Další zdroje informací
Kromě oficiálních studijních materiálů existuje řada neoficiálních zdrojů, které mohou studentům pomoci:
- Wiki.matfyz.cz: Obsahuje sbírku informací od studentů pro studenty, včetně zápisků, zadání písemek a zkušeností s předměty.
- Forum.matfyz.info: Neoficiální fórum fakulty, kde lze nalézt užitečné informace ke zkouškám a sdílet zkušenosti.
- SKAS MFF: Studentská sekce Matematicko-fyzikální fakulty, která poskytuje aktuální informace o dění na fakultě.
- Knihovna MFF UK: Nabízí přístup k odborné literatuře a databázím.
- Půjčovna skript a učebnic: Důležitý zdroj pro získání potřebných studijních materiálů.
- Poradenské jednotky: Fakulta nabízí různé poradenské služby pro studenty.
Studenti informatiky mohou také využít zdroje dostupné v Linuxové laboratoři na cestě `/afs/ms/doc/vyuka`.
