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.