Intern
Inhalte
Materialdatenbank
Berufliches Gymnasium
Informatiksysteme
Gültig von 01.08.2020
Teil Fachlehrplan Informatiksysteme
Jahrgangsstufen 12 und 13 - Leistungskurs
Wahlbereich 3 Formale Logik
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