Logik für Informatiker

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

Автор: Jürgen Dassow

Език:

Корици: С меки корици

Издател: Vieweg+Teubner

Наличност: Външен склад

Изпращаме след 5-8 дни

33.81 € 66.13 лв

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

Информация за книгата

Автор

Jürgen Dassow

Език

Немски език

Корици

Книга - С меки корици

Издадена

2005

страници

176

EAN

9783519005186

ISBN

3519005182

Enbook ID

06801849

Издател

Vieweg+Teubner

Теглоt

320

Размери

171 x 240 x 15

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Logik für Informatiker

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също