Úvod do teoretické informatiky
Na této stránce najdete studijní podklady pro tu část předmětu "Úvod do teoretické informatiky", která se týká logiky.
Informace zde jsou průběžně aktualizovány. Zejména zde naleznete presentace k prvním čtyřem přednáškám.
Aktualizováno 1.2. 2008:
Presentace přednášek
1. přednáška:
Presentace 1 Úvod: O čem je logika, deduktivně platné
usuzování
Presentace 2 Základy teorie množin, relací a funkcí
Cvičení z matematické logiky v roce 2007
- Cvičení 1: zadání, řešení
- Cvičení 2: zadání, řešení
- Cvičení 3: zadání, řešení
- Cvičení 4: zadání, řešení
- Cvičení 5: zadání, řešení
- Cvičení 6: zadání, řešení
- Cvičení 7: zadání, řešení
- Cvičení 8: zadání, řešení
- Cvičení 9: zadání, řešení
- Cvičení 10: zadání, řešení
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
Cvičení z roku 2004
Cvičení 1, Cvičení 2, Cvičení
3, Cvičení 4, Cvičení 5,
Cvičení 7, Cvičení 8, Cvičení
9, Cvičení 10, Cvičení
11, Cvičení 13, Cvičení
14