Logik für Informatiker

AvJürgen Dassow

Häftad, Tyska, 2005

352 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utforska kategorier

Mer om författaren

Innehållsförteckning

Hoppa över listan

Mer från samma författare

Grammar Systems

Erzsebet Csuhaj-Varju, Jurgen Dassow, Jozef Kelemen, Gheorghe Paun

Inbunden

2 162 kr

Hoppa över listan

Du kanske också är intresserad av

  • Nyhet

Sallad!

Danyel Couet

Kartonnage

279 kr