Jiřina Scholtzová

Výuka

• Teorie algoritmů (A4M01TAL) (Demlová) - příklady ke cvičení (LS 2012, LS 2011, LS 2010)

Podmínky k zápočtu: Odevzdat včas 5 vyřešených úkolů (Stav k 9. 5. 2012 je zde. Sledujte KOS a email, seznam již nebudu aktualizovat.), účast na cvičení není povinná.

1. Složitost algoritmů + úkol, výsledky.
2. Správnost algoritmů + úkol, výsledky.
3. Turingovy stroje + úkol, výsledky.
4. Polynomiální redukce úloh + úkol,
5. Polynomiální redukce úloh + úkol,
• Matematika pro informatiku/ Diskrétní matematika (A7B01MCS, Y01DMA) (Velebil) - příklady ke cvičení (ZS 2011)
1. Matematická indukce.
2. Rekurentní rovnice.
3. Aplikace rekurentních rovnic.
4. Aplikace rekurentních rovnic
5. 1. test (Výsledky, 23. 10. 2011), Strukturální indukce.
6. Počítání s modulo - Bezoutova rovnost, lin. rce (Počítací pomůcka: Bezout. rovnost).
7. Počítání s modulo - diofantické rce, mocniny.
8. Počítání s modulo - mocniny, čínská věta o zbytcích.
9. Počítání s modulo - opakování.
10. 2. test (Výsledky, 3. 12. 2011), počítání s modulo - RSA.
11. Počítání modulo polynom.

• Diskrétní matematika a logika pro KM (X01DMC) (Demlová) - příklady ke cvičení (ZS 2010, ZS 2009, ZS 2008)
1. Logika I - výroky
2. Logika II - rezoluční metoda
3. Logika III - predikátová logika
4. Grafy I - pojmy, kostra, topologické uspořádání, komponenty souvislosti
5. Monoidy a grupy s řešeným příkladem.
6. Domací úkol.
• Lineární algebra a aplikace (A0B01LAA) (Kalousová) - příklady ke cvičení (ZS 2009)
1. Polynomy - Hornerovo schema (Převzato od: Robert Mařík, www.mendelu.cz/~marik)
2. Matice (Olšák)
3. Matice - determinanty
4. Inverzní matice (Kalousová), Výsledky
5. Maticové rovnice (Kalousová), Výsledky
6. Lineární prostory (Kalousová), Výsledky
7. Lineární prostory - baze, hodnost matic (Kalousová), Výsledky
8. Lineární prostory - souřadnice (Kalousová), Výsledky
9. Lineární prostory - linearní zobrazení, matice přechodu (Kalousová), Výsledky
10. Lineární prostory se skalárním součinem, podobnost matic
11. Obyčejné diferenciální rovnice (Kalousová), Výsledky
• Matematická logika (Y01MLO) (Horčík) - příklady ke cvičení (LS 2009)
1. Binární relace (Demlová)
2. Mohutnost, Výroková logika (Demlová)
3. Výroková logika
4. Rezoluční metoda ve výrokové logice (Demlová)
5. Predikátová logika (Demlová)
6. Predikátová logika
7. Rezoluční metoda v predikátové logice (Demlová)
• Úvod do algebry (X01ALG) (Horčík) - příklady ke cvičení (ZS 2007)
1. Gaussova eliminace (Olšák)
2. Polynomy - Hornerovo schema (Převzato od: Robert Mařík, www.mendelu.cz/~marik)
3. Lineární prostory (Olšák)
4. Lineární prostory - báze, závislost, ... (Olšák)
5. Lineární prostory - dimenze, souřadnice; Matice (Olšák)
6. Matice (Olšák)
7. Matice - determinanty (Olšák)
8. Matice, Soustavy lineárních rovnic (Olšák)
9. Lineární zobrazení (Olšák)
10. Součiny vektorů (Olšák)

Pokud v materiálech najdete nějakou chybu, napište mi!