Inhalte

  1. Informatiksysteme [D]
  2. Noch nicht veröffentlicht
  3. Teil Fachlehrplan Informatiksysteme
  4. Jahrgangsstufen 12 und 13 - Leistungskurs
  5. Wahlbereich 3 Formale Logik
  6. Inhalte

Knoten

Übertragen der Grundkenntnisse der Booleschen Algebra auf die klassische formale Logik
Einblick gewinnen in das logische Programmierparadigma
Beurteilen der Realisierung einer Anwendung unter Nutzung der formalen Logik