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.

Acerca del autor

Prof. Dr. J�rgen Dassow, Universit�t Magdeburg

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

WRAP Ltd
Unit 4, 119 Loverock Rd, Reading, RG30 1DZ, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

TBA

Condiciones de env�o

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.