IB112 Matematické základy

Základy matematické logiky

  • 15. 3. 2012 - výroková logika (syntaxe, sémantika, pravdivostní tabulka)
  • 22. 3. 2012 - dokončení výrokové logiky, predikátová logika
  • 29. 3. 2012 - přednáška odpadá
  • 5. 4. 2012 - dokončení predikátové logiky.