Aussagenlogik
Aussagenlogik
Aussagenlogik
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Logik > logische Aussagen<br />
Motivation<br />
Logik spielt in der Informatik eine wichtige Rolle. Anwendungen sind<br />
z.B.<br />
Modellierung von Wissen, etwa in der künstlichen Intelligenz<br />
Vorkurs Informatik - Theorie - WS2012/13