Mathematical Foundations of Informatics English pages
Matematické základy informatiky
Informace pro studenty:
Na těchto stránkách se budou pravidelně objevovat aktuální informace k výuce předmětu "Matematické základy informatiky"
Přednášky: obsah
Přednášky: texty
Sémantika predikátové logiky - shrnutí
Presentace přednášek
1. přednáška: 5.10. 2006
Přednáška 1a) Úvod: deduktivně platné
usuzování, naivní teorie množin;
Přednáška 1b) Výroková logika: jazyk,
sémantika, důkaz sporem.
2. přednáška: 12.10. 2006
Přednáška 2) Výroková logika: normální
formy formulí, rezoluční metoda dokazování;
3. přednáška: 19.10. 2006
Přednáška 3a) Predikátová logika:
jazyk, sémantika
Přednáška 3b) Relace, funkce, (ne)spočetnost
množin
4. přednáška: 26.10. 2006
Presentace 6 Sémantika PL1: interpretace, modely, sémantická tabla
5. přednáška: 2.11. 2006
Presentace 7 Aristotelova logika. Venovy diagramy
Presentace 8 Obecná rezoluční metoda v PL1
6. přednáška: 9.11. 2006
Presentace 9 Obecná rezoluční metoda - Příklady
Presentace 10 Logické programování: Základy (logika) Prologu
Příklady řešené v Prologu
7. přednáška: 23.11. 2006
Presentace 11 Důkazové kalkuly; Přirozená dedukce
8. přednáška: 30.11. 2006
Presentace 12 Důkazové kalkuly; Hilbertův kalkul
9. přednáška: 7.12. 2006
Presentace 13 Gödelovy výsledky o neúplnosti artimetiky
10. přednáška: 14.12. 2006
Presentace 14 Axiomatické teorie: teorie relací a funkcí
11. přednáška: 21.12. 2006
Presentace 15 Teorie relací a funkcí, algebraické teorie
Cvičení v roce 2006
Cvičení 1-2006
Cvičení 2-2006
Cvičení 3-2006
Cvičení 4-2006
Cvičení 5-2006
Cvičení 6-2006
Cvičení 7-2006
Zápočtové písemky a semestrální zkouška:
Projekty, nutné k získání zápočtu v roce 2005:
Projekt 1
Projekt 2
Projekt 3
Projekt 4
Projekt 5
Projekt 6
Projekt 7
Projekt 8
Datum poslední aktualizace: 25.10. 2006