Lehrbuch Informatik

Dieses Lehrbuch schließt eine große Lücke in den Unterrichtsmaterialien für das Lehramtsstudium und für die Informatik an Gymnasien. Das Buch besteht aus drei Modulen zu den Themen Programmierung, Geschichte und Begriffsbildung und Automaten. Jedes Modul entspricht im Umfang 16 bis 32 Unterrichtsstunden. Für das Programmiermodul steht kostenfrei eine Programmierumgebung zum Download zur Verfügung.

Prof. Dr. Juraj Hromkovic, ETH Zürich

Vorkurs Programmieren in LOGO.- Programme als Folge von Befehlen.- Einfache Schleifen mit dem Befehl repeat.- Programme benennen und aufrufen.- Zeichnen von Kreisen und regelmäßigen Vielecken.- Programme mit Parametern.- Übergabe von Parameterwerten an Unterprogramme.- Optimierung der Programmlänge und der Berechnungskomplexität.- Das Konzept von Variablen und der Befehl make.- Lokale und globale Variablen.- Verzweigung von Programmen und while-Schleifen.- Integrierter LOGO- und Mathematikunterricht: Geometrie und Gleichungen.- Rekursion.- Integrierter LOGO- und Mathematikunterricht: Trigonometrie.- Integrierter LOGO- und Mathematikunterricht: Vektorgeometrie.- Geschichte und Begriffsbildung.- Was ist Informatik und wie wurden Wissenschaftsdisziplinen aufgebaut?.- Korrekte Argumentation.- Geschichte der Informatik.- Algorithmisches Kuchenbacken.- Programmieren in der Sprache des Rechners.- Indirekte Adressierung.- Entwurf von endlichen Automaten.- Alphabete, Wörter und Sprachen.- Das Modell der endlichen Automaten.- Entwurf von endlichen Automaten.- Projekt "Steuerungsautomaten".- Induktionsbeweise der Korrektheit.- Simulation und modularer Entwurf endlicher Automaten.- Größe endlicher Automaten und Nichtexistenzbeweise.- Zusammenfassung des Moduls.