Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering Forlænget returret til 31/01/25

Logik für Informatiker

Bog
  • Format
  • Bog, paperback
  • Tysk

Beskrivelse

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.

Læs hele beskrivelsen
Detaljer
  • SprogTysk
  • Sidetal177
  • Udgivelsesdato29-04-2005
  • ISBN139783519005186
  • Forlag Vieweg+teubner Verlag
  • FormatPaperback
  • OriginalsprogTysk
Størrelse og vægt
coffee cup img
10 cm
book img
17 cm
24 cm

Findes i disse kategorier...

Se andre, der handler om...

Machine Name: SAXO081