![Paperback Logik Für Informatiker [German] Book](https://i.thriftbooks.com/api/imagehandler/m/2E5452C960D61C65DF8467622A7C9862DDEACE7D.jpeg)
Logik Für Informatiker [German]
No Customer Reviews
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.
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.
Format:Paperback
Language:German
ISBN:3519005182
ISBN13:9783519005186
Release Date:April 2005
Publisher:Vieweg+teubner Verlag
Length:177 Pages
Weight:0.67 lbs.
Dimensions:0.4" x 6.7" x 9.6"
Customer Reviews
0 rating
Copyright © 2025 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
