Wissenschaftliche LiteraturInduktionInformatik
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.
Claus-Peter Wirth
Positive/Negative-Conditional Equations
A Constructor-Based Framework for Specification and Inductive Theorem Proving
Forschungsergebnisse zur Informatik
Thema dieser Dissertation ist das Beweisen induktiver Theoreme in Klauselform auf der Basis von Spezifikationen mit konstruktorbasierten, positiv/negativ bedingten Gleichungen. Das Beweisen induktiver Theoreme ist von entscheidender Bedeutung für jede Form der Argumentation über Computerprogramme. Da formale Methoden bei der Verifikation sicherheitskritischer…
algebraische Spezifikationinduktive GültigkeitInformatiknegativ-bedingte Gleichungenpositiv-bedingteTermbesetzungTheorembeweistheorem provingvollständige InduktionLorenz Hilty
Programmieren und Induktion
Untersuchungen zur kognitiven Modellierung des Algorithmen-Entwurfs
Forschungsergebnisse der Programmentwicklung
Immer mehr Schüler und Studenten sind heute mit den Grundlagen der Computerprogrammierung vertraut. Noch ist kaum erforscht, wie das Erlernen von Programmiersprachen sich auf Problemlösefähigkeiten auswirkt, und auf welche Weise Programmierer von einer Problemstellung zu einem Algorithmus gelangen.
Dieses Buch geht von der These aus, dass konkrete…
AlgorithmenDidaktikInduktionInformatikInformatik-DidaktikModell ALIProblemlösungProgrammierProgrammiersprachenHäufige Schlagworte im Fachgebiet