Logik ist eine wichtige Grundlage der Informatik. Sie ist f???r die Formalisierung der Softwaretechnik, f???r Verifikation und Spezifikation von Programmen und Datenbanken genauso erforderlich wie f???r die logische Programmierung und die K???nstliche Intelligenz. Dieses Buch entstand auf der Basis von Vorlesungen zur Logik, die der Autor seit Jahren f???r Studierende der Informatik und informatiknaher Studieng???nge h???lt. Es gibt eine Einf???hrung in die Logik aus der Sicht der Informatik. Daher werden nicht nur ...
Read More
Logik ist eine wichtige Grundlage der Informatik. Sie ist f???r die Formalisierung der Softwaretechnik, f???r Verifikation und Spezifikation von Programmen und Datenbanken genauso erforderlich wie f???r die logische Programmierung und die K???nstliche Intelligenz. Dieses Buch entstand auf der Basis von Vorlesungen zur Logik, die der Autor seit Jahren f???r Studierende der Informatik und informatiknaher Studieng???nge h???lt. Es gibt eine Einf???hrung in die Logik aus der Sicht der Informatik. Daher werden nicht nur fundamentale Konzepte und Aussagen der Aussagenlogik und der Pr???dikatenlogik (erster Stufe) angegeben, die auch f???r die Mathematik und die Philosophie bedeutsam sind, sondern auch algorithmische Fragen, Beziehungen zur logischen Programmierung und spezielle, f???r die Informatik wichtige, weitere Logiken ausf???hrlich diskutiert.
Read Less
Add this copy of Logik Für Informatiker to cart. $35.69, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2005 by Vieweg+teubner Verlag.
Add this copy of Logik Für Informatiker to cart. $53.55, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2005 by Vieweg+teubner Verlag.
Add this copy of Logik Für Informatiker (German Edition) to cart. $64.33, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2005 by Vieweg+Teubner Verlag.
