Informatikwiki

Diese Seite ist nicht editierbar. Sie können den Quelltext sehen, jedoch nicht verändern. Kontaktieren Sie den Administrator, wenn Sie glauben, dass hier ein Fehler vorliegt.

~~NOTOC~~
[[ti:lektion_02|=> Lektion 2: Zahlensysteme]]
===== Lektion 3: Formale Logik ======

Aussagen werden in den Naturwissenschaften und in der Informatik unter Anwendung genau definierter logischer Operatoren miteinander verknüpft, um nach streng formalen Kriterien eine Aussage darüber machen zu können, ob die durch die Verknüpfung der Aussagen entstandene Aussage wahr oder falsch ist.

Ihr solltet in der Lage sein, für die unterschiedlichen Operatoren Wahrheitswerttabellen zu erstellen. Ausserdem solltet ihr die Regeln beherrschen, nach denen ihr die Wahrheitswerte verknüpfter Aussagen festlegen könnt.

  *{{:ti:3_oh_logik.pdf|Informationsmaterial zur Doppelstunde}}
  *{{:ti:3_ab_logik.pdf|Schülerarbeitsblatt}}
  *[[http://timms.uni-tuebingen.de/Search/ListTimecode?Offset=60&FetchNext=20&Hits=0&ShowLabel=False&InputQueryString=mathematik%201%20wolff|Link zur Vorlesung ''Mathe I/Logik'' Prof. Dr. Wolff]]
  *Editor für logische Gatter: [[https://logik.phl.univie.ac.at/~chris/gateway/formular-zentral.html]]

----
[[ti:lektion_04|=> Lektion 4: Problemlösung und Algorithmen]]\\ 
[[ti:start|=> Übersicht: Theoretische Informatik]]