Logik für Informatiker

Name: Logik für Informatiker
Brand: Vieweg+Teubner
SKU: 9783519005186
Price: 12746 HUF
Availability: InStock

Szerző: Jürgen Dassow

Nyelv:

Kötés: Puha kötésű

Kiadó: Vieweg+Teubner

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

12 746 Ft

Logik ist eine wichtige Grundlage der Informatik. Sie ist für die Formalisierung der Softwaretechnik...

Információk a könyvről

Szerző

Jürgen Dassow

Nyelv

Német

Kötés

Könyv - Puha kötésű

Kiadva

2005

oldal

176

EAN

9783519005186

ISBN

3519005182

Enbook ID

06801849

Kiadó

Vieweg+Teubner

Súly

320

Méretek

171 x 240 x 15

Teljes leírás

Logik ist eine wichtige Grundlage der Informatik. Sie ist für die Formalisierung der Softwaretechnik, für Verifikation und Spezifikation vonProgrammen 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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Logik für Informatiker

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták