IB112 Matematické základy

Základy matematické logiky

Slajdy k tématu "Základy matematické logiky"
  • 19. 3. 2014 - výroková logika (syntaxe, sémantika, pravdivostní tabulka)
  • 26. 3. 2014 - dokončení výrokové logiky, predikátová logika
  • 2. 4. 2014 - dokončení predikátové logiky
Previous
Next