Zpět na domovskou stránku.

Diskrétní matematika a logika --- zimní semestr 2010

Osnovu předmětu naleznete zde .

Přečtěte si požadavky na zápočet a zkoušku.

Výsledky náhradních testů a písemných zkoušek jsou tady.

Ke stažení:

1. Úvod do logiky (84 strany, verze 30.7.2007, klikací PDF )

   Z obsahu: neformální pojmy matematiky, výroková logika, predikátová logika, resoluční algoritmy, formalizace českých vět, naivní teorie množin, mohutnosti.

   Pokud naleznete chybu, dejte mi, prosím, vědět. Nalezené chyby budu zatím soustřeďovat zde .

2. Diskrétní matematika (197 stran, verze 1.7.2007, klikací PDF )

   Z obsahu: matematická indukce a rekurentní rovnice, počítání modulo (protokol RSA a algoritmy pro práci s velkými čísly), lineární algebra (lineární kódy), konečná tělesa (cyklické kódy), universální algebra (algebraické specifikace datových typů).

   Pokud naleznete chybu, dejte mi, prosím, vědět. Nalezené chyby budu zatím soustřeďovat zde .

3. Diskrétní matematika --- sbírka řešených příkladů (41 stran, verze 1.8.2007 klikací PDF )

   Pokud naleznete chybu, dejte mi, prosím, vědět. Nalezené chyby budu zatím soustřeďovat zde .

4. Handouts z přednášek (formát PDF):
   1. 23.9.2010 (Výroková a predikátová logika --- část 1)
   2. 1.10.2010 (Predikátová logika --- dokončení)
   3. 8.10.2010 (Rezoluce ve výrokové logice)
   4. 15.10.2010 (Rezoluce v predikátové logice)
   5. 22.10.2010 (Principy indukce a rekurentní rovnice)
   6. 29.10.2010 (Základy elementární teorie čísel)
   7. 5.11.2010 (Relace a kongruence modulo)
   8. 12.11.2010 (Okruh \Z_m)
   9. 19.11.2010 (Lineární algebra nad obecným \Z_m, lineární kódy)
   10. 26.11.2010 (Hlubší věty o počítání modulo)
   11. 3.12.2010 (Protokol RSA)
   12. 10.12.2010 (Jednoduché specifikace)
   13. 17.12.2010 (Pologrupy, monoidy, grupy a jejich homomorfismy)
   14. nepovinná látka (Eliptické křivky)

Další možné doplňující informace je možné nalézt na stránkách z roku 2005 tohoto předmětu od prof. Demlové.

Poslední změna: 15.9.2010