Logik für Informatiker. (Spektrum Lehrbuch) (Taschenbuch) von Uwe Schöning   Kurzbeschreibung: Dieses Buch ist als Hilfsmittel für die Logikausbildung beim Informatikstudium konzipiert. Es führt in die Begriffe und Methoden der formalen Logik ein. Die Materialauswhl orientiert sich dabei an der Anwendbarkeit in der Informatik. Aussagenlogik und die darauf aufbauende Prädikatenlogik werden behandelt. Damit soll ein Verständnis für moderne Anwendungen der Logik in der Informatik vermittelt werden. Solche Anwendungen sind z.B. Resolution, automatisches Beweisen und Logik-programmierung. Ein Schwerpunkt der Darstellung ist der Resolutionskalkül, der die Grundlage der meisten Beweisverfahren und der Logikprogrammierung bildet, so auch im Rahmen der Programmiersprache PROLOG. Außerdem werden die für das Verständnis notwendigen Grundlagen vermittelt, etwa die Herbrand-Theorie. Das Buch enthält über 100 Aufgaben mit Lösungshinweisen. Lesen Sie mehr... Rezensionen ansehen...   Angebote zu  Logik ,  Informatiker ,  Spektrum  ab 1 Euro! Siehe auch folgende Artikel: Theoretische Informatik - kurzgefasst. (Spektrum Hochschultaschenbücher) von Uwe Schöning Datenbanken. Grundlagen und XML - Technologien (Spektrum Hochschultaschenbücher) von Georg Lausen Mathematik für Informatiker. von Dirk Hachenberger Mathematik für Informatiker von Gerald Teschl Mehr zu  Informatik,  Logik,  Computer & Internet Home ...,    Angebote ansehen ...,    Begleitseite ... Herausgeber dieser Seite ist DomainLoc.com GmbH - Partner von Amazon.de The domain name referenceimplementation.com is for sale or rent! For more information look at DomainDorado.com ... Copyright © DomainLoc.com GmbH (Impressum)