KIT | KIT-Bibliothek | Impressum | Datenschutz

05: Grundbegriffe der Informatik,Vorlesung, WS 2017/18, 03.11.2017

Stüker, Sebastian; KIT | Webcast [Hrsg.]

  • 0:00:00 Starten
  • 0:01:26 Aussagen - "objektiv" wahr oder falsch
  • 0:04:10 Komplizierte Aussagen - aus einfacheren zusammengesetzt
  • 0:08:18 Alphabet der Aussagenlogik
  • 0:11:21 Konstruktionsabbildungen
  • 0:14:16 Lesearten
  • 0:18:29 Konstruktion - ein Beispiel
  • 0:22:26 Boolesche Funktionen
  • 0:29:21 Ziel: Bedeutung einer aussagenlogischen Formel - eine boolesche Funktion
  • 0:35:02 Äquivalente Formeln
  • 0:44:00 Modelle
  • 0:45:40 Wichtige Spezialfälle aussagenlogischer Formeln
  • 0:51:26 Tautolgien - viele Beispiele auf ein Mal
  • 0:55:57 Tautologien - konkrete Beispiele
  • 0:57:47 Kalkül - ein System für Beweise
  • 1:03:18 Ableitungen - formal gefasst
  • 1:05:57 Beweis - formal gefasst
  • 1:11:46 Modus Ponens "erhält Allgemeingültigkeit"
Open Access Logo


Zugehörige Institution(en) am KIT Institut für Anthropomatik und Robotik (IAR)
Publikationstyp Audio & Video
Publikationsdatum 06.11.2017
Erstellungsdatum 03.11.2017
DOI 10.5445/DIVA/2017-585
Identifikator KITopen-ID: 1000114977
Serie Grundbegriffe der Informatik, Vorlesung, WS 2017/18
Lizenz KITopen-Lizenz
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page