Wissenschaftliche LiteraturProblemlösungInformatik

Shirin Bakthari

Problemlösungsverfahren zur Verarbeitung inkonsistenter Theorien

Forschungsergebnisse zur Informatik

Shirin Bakthari setzt sich zum Ziel, eine Symbiose herzustellen zwischen zwei Forschungsrichtungen: der parakonsistenten Logik einerseits und der Künstlichen Intelligenz andererseits, indem bei der Entwicklung von Problemlösungsverfahren, die einen methodischen Umgang mit Inkonsistenz aufweisen, nicht–klassische Logiken zur Anwendung gelangen. Das hier…

Lorenz 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…