Logik für Informatiker
Author:   Jürgen Dassow
Publisher:   Springer Fachmedien Wiesbaden
Edition:   2005 ed.
ISBN:  

9783519005186


Pages:   177
Publication Date:   29 April 2005
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $100.29 Quantity:  
Add to Cart

Share |

Logik für Informatiker


Add your own review!

Overview

Logik ist eine wichtige Grundlage der Informatik. Sie ist fur die Formalisierung der Softwaretechnik, fur Verifikation und Spezifikation von Programmen und Datenbanken genauso erforderlich wie fur die logische Programmierung und die Kunstliche Intelligenz. Dieses Buch entstand auf der Basis von Vorlesungen zur Logik, die der Autor seit Jahren fur Studierende der Informatik und informatiknaher Studiengange halt. Es gibt eine Einfuhrung in die Logik aus der Sicht der Informatik.

Full Product Details

Author:   Jürgen Dassow
Publisher:   Springer Fachmedien Wiesbaden
Imprint:   Vieweg+Teubner Verlag
Edition:   2005 ed.
Dimensions:   Width: 17.00cm , Height: 1.00cm , Length: 24.00cm
Weight:   0.323kg
ISBN:  

9783519005186


ISBN 10:   3519005182
Pages:   177
Publication Date:   29 April 2005
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.
Language:   German

Table of Contents

1 Aussagenlogik.- 1.1 Aussagenlogische Ausdrücke.- 1.2 Entscheidbarkeitsfragen in der Aussagenlogik.- Übungsaufgaben.- 2 Prädikatenlogik.- 2.1 Prädikatenlogische Ausdrücke.- 2.2 Entscheidbarkeitsfragen in der Prädikatenlogik.- 2.3 Bemerkungen zur Logischen Programmierung.- Übungsaufgaben.- 3 Weitere Logiken.- 3.1 Logiken mit anderen Wertigkeiten.- 3.2 Zusätzliche Operatoren.- Übungsaufgaben.- A Grundlagen.- A.1 Mengen, Relationen, Graphen.- A.2 Wörter über einer Menge.- A.3 Mathematische Induktion.- A.4 Bereehenbarkeit und NP-Vollständigkeit.- B Lösungen ausgewählter Übungsaufgaben.- B.1 Zu Aufgaben des Kapitels 1.- B.2 Zu Aufgaben des Kapitels 2.- B.3 Zu Aufgaben des Kapitels 3.

Reviews

Author Information

Prof. Dr. Jürgen Dassow, Universität Magdeburg

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now