Výuka – Archiv
Zpět
FIT
- Programovací paradigmata (BI-PPA, ZS 2017, ZS 2016)
- Podrobnější informace ke cvičením najdete v Eduxu.
- Funkcionální a logické programování (MI-FLP, LS 2016, LS 2015)
- Podrobnější informace ke cvičením najdete v Eduxu.
- Lambda kalkul
- Lisp
- Prolog
- Grafové algoritmy a základy teorie složitosti (BI-GRA, LS 2016, LS 2015, LS 2014)
- Podrobnější informace naleznete v Eduxu.
- Asymptotické funkce a jejich vlastnosti (Zavedení symbolu O, Ω, Θ, asymtotické vztahy mezi funkcemi).
- Dokončení asymptotických funkcí (zavedení symbolů o, ω, příklady). Matematická indukce (procvičení slabého principu a porovnání principů indukce).
- Matematická indukce (procvičení principů mat. indukce).
- Množiny a zobrazení.
- Zobrazení. Relace, binární relace.
- Binární relace, ekvivalence.
- Binární relace - ekvivalence a uspořádání. Kombinatorika
- Kombinatorika
- Rekurentní rovnice. Řešení rekurentních vztahů.
- Řešení rekurentních vztahů. Master Theorem.
- Rekurentní rovnice LRRk s KK (lineární rek. rce řádu k s konst. koeficienty).
- Modulární aritmetika.
- Efektivní algoritmy (BI-EFA, BIE-EFA, ZS 2015, ZS 2014, ZS 2013)
- Podrobnější informace naleznete v Edux.
- Asymptotické složitosti, ADT Pole, ADT Seznam, ADT Fronta, ADT Zásobník, ADT Množina
- ADT Tabulka, Rozptylování
- InsertSort, SelectSort, BubbleSort, ShellSort, Quick Sort a metody určení pivota
- MergeSort, RadixSort, CountingSort, BucketSort, 1. progtest
- Stromy, jejich terminologie a procházení, HeapSort
- Binomiální haldy, 1.písemka
- Fibonacciho haldy, 2.progtest
- BVS
- Převod rekurze na iteraci a zpět, Dynamické programování X Rozděl a panuj
- AVL, Váhově vyvážené stromy, RB Stromy, 3. progtest
- B-Stromy, 2.písemka
- Složitosti rekurzivních algoritmů (sestavení vztahů), složitost probraných algoritmů a další příklady.
Materiály ke cvičení:
- [[http://turing.cz/~tom/efa/texty/| textík k EFA (Tomáš Valla)]]
- [[http://www.cs.usfca.edu/~galles/visualization/Algorithms.html| Vizualizace algoritmů]]
- [[http://deiw.blog.matfyz.sk/p17411-cerveno-cierne-stromy| červeno-černé stromy]]
- [[http://deiw.blog.matfyz.sk/p17422-avl-stromy| AVL stromy]]
FEL
- Asymptotický odhad růstu funkcí: příklady.
- Rekurentní vztahy, Master theorem: příklady.
- Složitost algoritmů: příklady.
- Amortizovaná složitost a správnost algoritmů: příklady.
- Písemka, správnost algoritmů: příklady
- Turingovy stroje – deterministické: příklady
- Turingovy stroje – deterministické a vícepáskové: příklady
- Písemka, turingovy stroje – nedeterministické: příklady
- P a NP úlohy: příklady
- NPC úlohy a polynomiální redukce: příklady
- RP úlohy: příklady
- Rezerva/Konzultace.
Matematika pro informatiku (in Czech) (A7B01MCS, AD7B01MCS)
(Hekrdla, Velebil) – příklady ke cvičení (ZS 2013, ZS 2012, ZS 2011)
- Matematická indukce.
- Matematická indukce – strukturální indukce.
- Rekurentní rovnice.
- Aplikace rekurentních rovnic.
- 1. test, aplikace rekurentních rovnic.
- 28. 10. 2013 cvičení odpadlo.
- Bezoutova rovnost, diofantické rovnice (Počítací pomůcka: Bezoutova rovnost).
- Počítání modulo – lin. kongruence, mocniny.
- Počítání modulo – lin. rce, mocniny, čínská věta o zbytcích.
- Počítání modulo – lin. rce, mocniny, čínská věta o zbytcích
- 2. test, Počítání s modulo – RSA.
- Počítání modulo polynom.
- Abstraktní výpočty, řešení.
Diskrétní matematika a logika pro KM (in Czech) (X01DMC) (Demlová) – příklady ke cvičení (ZS 2010, ZS 2009, ZS 2008)
- Logika I – výroky
- Logika II – rezoluční metoda
- Logika III – predikátová logika
- Grafy I – pojmy, kostra, topologické uspořádání, komponenty souvislosti
- Monoidy a grupy s řešeným příkladem.
- Domací úkol.
Lineární algebra a aplikace (in Czech) (A0B01LAA) (Kalousová) – příklady ke cvičení (ZS 2009)
- Polynomy – Hornerovo schema (Převzato od: Robert Mařík, www.mendelu.cz/~marik)
- Matice (Olšák)
- Matice – determinanty
- Inverzní matice (Kalousová), Výsledky
- Maticové rovnice (Kalousová), Výsledky
- Lineární prostory (Kalousová), Výsledky
- Lineární prostory – baze, hodnost matic (Kalousová), Výsledky
- Lineární prostory – souřadnice (Kalousová), Výsledky
- Lineární prostory – linearní zobrazení, matice přechodu (Kalousová), Výsledky
- Lineární prostory se skalárním součinem, podobnost matic
- Obyčejné diferenciální rovnice (Kalousová), Výsledky
Matematická logika (in Czech) (Y01MLO) (Horčík) – příklady ke cvičení (LS 2009)
- Binární relace (Demlová)
- Mohutnost, Výroková logika (Demlová)
- Výroková logika
- Rezoluční metoda ve výrokové logice (Demlová)
- Predikátová logika (Demlová)
- Predikátová logika
- Rezoluční metoda v predikátové logice (Demlová)
Úvod do algebry (in Czech) (X01ALG) (Horčík) – příklady ke cvičení (ZS 2007)
- Gaussova eliminace (Olšák)
- Polynomy – Hornerovo schema (Převzato od: Robert Mařík, www.mendelu.cz/~marik)
- Lineární prostory (Olšák)
- Lineární prostory – báze, závislost, ... (Olšák)
- Lineární prostory – dimenze, souřadnice; Matice (Olšák)
- Matice (Olšák)
- Matice – determinanty (Olšák)
- Matice, Soustavy lineárních rovnic (Olšák)
- Lineární zobrazení (Olšák)
- Součiny vektorů (Olšák)
Matematika 2 (in Czech) (X01MA2) (Sobotíková) – příklady ke cvičení (LS 2007)
Zpět
Poslední změna: 22. 1. 2019
Design: fit.cvut.cz