Name: Logik für Informatiker (en Alemán)
SKU: 57974253
Price: 49880.00 CLP
Availability: InStock
Author: J\Xfcrgen Dassow
ISBN: 9783519005186

portada Logik für Informatiker (en Alemán)

Formato

Libro Físico

Editorial

Springer Pg

Autor

J\Xfcrgen Dassow

Idioma

Alemán

N° páginas

177

Encuadernación

Tapa Blanda

ISBN13

9783519005186

N° edición

2005th

Logik für Informatiker (en Alemán)

J\Xfcrgen Dassow (Autor) · Springer Pg · Tapa Blanda

Libro Nuevo Importado

Envío: 14 a 19 días háb.

$ 83.130$ 49.880

-40%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 49.880

Llega entre el 09 Oct y el 19 Oct a Santiago, Región Metropolitana. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Logik für Informatiker (en Alemán)"

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.