Hans Kleine Büning Poradie kníh (chronologicky)

This volume features papers from the 11th International Conference on Theory and Applications of Satisfiability Testing (SAT 2008), which has evolved from a workshop in 1996 to an annual international conference. It serves as a platform for researchers exploring various aspects of the propositional satisfiability problem and its applications. For the first time, the conference took place in Asia, specifically at the Zhudao Guest House near Sun Yat-Sen University in Guangzhou, P. R. China. Many complex combinatorial problems can be represented as SAT problems, leading to advancements in both practical heuristics and theoretical insights applicable to a wide array of real-world challenges. Notably, significant verification issues in hardware and software can be reformulated as SAT problems, making SAT a crucial technology for ensuring secure and reliable systems. The conference topics encompass both practical and theoretical research on SAT and its applications, including proof systems, proof complexity, search algorithms, heuristics, algorithm analysis, hard instances, randomized formulas, problem encodings, industrial applications, solvers, tools, case studies, and empirical results. SAT is broadly defined, encompassing not only propositional satisfiability but also quantified Boolean formulas (QBF) and satisfiability modulo theories (SMT).

Das Modellieren ist eine zentrale Methode in der Informatik, bei der Aufgaben und Probleme formal beschrieben werden, bevor Lösungen in Form von Software, Algorithmen oder Hardware entwickelt werden. Studierende und Praktiker in Informatik und Wirtschaftsinformatik müssen die Grundlagen der Modellierung beherrschen. Eine Vielzahl von Kalkülen und Notationen steht zur Verfügung, die auf verschiedene Problemarten zugeschnitten sind. Anhand praktischer Beispiele lernen Sie die grundlegenden Methoden und Kalküle zur Modellierung kennen. Das Buch bietet eine systematische Darstellung von Modellierungsmethoden, die für nahezu alle Bereiche der Informatik relevant sind, wie Softwaretechnik, Datenbanken, Datenstrukturen, Algorithmen, Programmiersprachen und Rechnerarchitektur. Es dient als Lehrmaterial für Einführungsvorlesungen in Informatik und verwandten Fächern und vermittelt das notwendige Wissen für den praktischen Einsatz von Informatikmethoden. Zudem werden Beispiele und Übungsaufgaben bereitgestellt, die die Anwendung der Modellierungstechniken veranschaulichen. Für Studierende und Dozenten steht umfassendes Vorlesungs- und Übungsmaterial online zur Verfügung. Ein Professor hebt hervor, dass die Autoren es geschafft haben, komplexe Inhalte anschaulich zu vermitteln, wodurch der Nutzen von Modellierungskonzepten klar wird.

Die Programmiersprache PROLOG hat in den letzten Jahren durch zahlreiche Anwendungen in Expertensystemen und der natürlichen Sprachverarbeitung an Bedeutung gewonnen. Im Gegensatz zu prozeduralen Programmiersprachen, in denen Verfahren zur Lösung eines Problems programmiert werden, besteht das Programmieren in PROLOG aus einer Beschreibung des Problems. Dies führt zu unterschiedlichen Methoden und Herausforderungen beim Programm-Design. Das Buch basiert auf Vorlesungen an der Universität Karlsruhe und reflektiert die dabei gewonnenen Erfahrungen. Zunächst werden einfache Programme und Konstrukte in PROLOG vorgestellt, um den Leser mit der Programmierweise vertraut zu machen. Nach einem Exkurs zu den Grundlagen der Logik folgt ein Kapitel zur Syntax, orientiert an C-Prolog. Anschließend wird der Ablauf der Lösungssuche in PROLOG behandelt, gefolgt von einer ausführlichen Darstellung der wichtigsten Built-in-Prädikate mit Beispielen. Die Anwendungen sind in zwei Bereiche gegliedert: kurze Beispiele zu Mengen, Parsern, Spielen, Logik und Mathematik sowie ein ganzes Kapitel über Expertensysteme. Dabei liegt der Fokus auf der Entwicklung einer Shell zur Implementierung von Expertensystemen. Im Anhang befindet sich das vollständige Programm für diese Entwicklungsumgebung, abgesehen von einem Modul zur Wissenserfassung.