Matematické dovednosti NMAI069
Kdy a kde: ve čtvrtek od 12:20 v N5.
Co: Budeme se věnovat základním matematickým dovednostem, potřebným pro studium dalších předmětů na MFF. Zejména matematickému značení a vyjadřování, základům logiky a principu důkazu.
Pro koho: Předmět je určen především studentům, kteří si výše uvedené dovednosti dostatečně neosvojili na střední škole. Pro ostatní může být nudný a neužitečný. Na první hodině budeme psát test, podle které se budete moci rozhodnout zda předmět potřebujete.
Podmínky získání zápočtu: Zápočet bude možné získat za alespoň 50% bodů ze 4 krátkých písemek během semestru.
Poznámka: V průběhu prosince převezme výuku Pavel Veselý (email: příjmení @iuuk.mff.cuni.cz), který také bude udělovat zápočty těm, kteří je dosud nemají: pokud vám chybí body na zápočet domluvte se s ním na řešení (zejména pokud si nemyslíte, že jich budete mít dost po poslední písemce).
Co bylo/bude na hodinách:
- 29.9.: Orientační test (nemá vliv na zápočet). Výroková logika - výroky, logické spojky, tabulky pravdivostních hodnot.
- 6.10.: Výroková logika: tabulky pravdivostních hodnot, negace - procvičování. Zadání (cvičení 8 uděláme příště).
- 13.10.: Negace, obměněná implikace, kvantifikátory. Zadání. Cvičení 5 dokončíme příště.
- 20.10.: Na začátku hodiny bude krátká písemka na výrokovou logiku: tabulky pravd. hodnot, negace, ekvivalence, obměněná implikace (kvantifikátory ne). Zapisování výroků s kvantifikátory.
- 27.10.: Výuka zrušena - imatrikulace.
- 3.11.: Kvantifikátory. Zadání a dokončení cvičení 5 z 13.10.
- 10.11.: Dokončení kvantifikátorů. Množiny. Zadání.
- 17.11.: Státní svátek.
- 24.11.: Krátká písemka na kvantifikátory. Množiny.
- 1.12.: Množiny. Zadání.
- 8.12.: Krátká písemka na množiny. Dokončení příkladů z minula. Důkazy. Zadání.
- 15.12.: Množiny. Důkazy.
- 22.12.: S Pavlem Veselým. Důkazy.
- 5.1.: S Pavlem Veselým. Krátká písemka.