• Nemecký jazyk

Logik für Informatiker

Autor: Jürgen Dassow

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.

... Viac o knihe

Na objednávku

32.37 €

bežná cena: 35.97 €

O knihe

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.

  • Vydavateľstvo: Vieweg+Teubner Verlag
  • Rok vydania: 2005
  • Formát: Paperback
  • Rozmer: 240 x 170 mm
  • Jazyk: Nemecký jazyk
  • ISBN: 9783519005186

Generuje redakčný systém BUXUS CMS spoločnosti ui42.