Logik fur Informatiker (Paperback)
  • Logik fur Informatiker (Paperback)
zoom

Logik fur Informatiker (Paperback)

(author)
£29.99
Paperback 177 Pages / Published: 29/04/2005
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer Fachmedien Wiesbaden
ISBN: 9783519005186
Number of pages: 177
Weight: 319 g
Dimensions: 244 x 170 x 10 mm
Edition: 2005 ed.

You may also be interested in...

Bayesian Methods for Hackers
Added to basket
The Lattice Boltzmann Equation
Added to basket
Concrete Mathematics
Added to basket
Probability and Computing
Added to basket
Foundation Mathematics
Added to basket
Cryptanalysis
Added to basket
Networks
Added to basket
£52.00
Hardback
Discrete Mathematics
Added to basket
Coding Theory
Added to basket
£44.99
Paperback
MATLAB Demystified
Added to basket
£21.99
Paperback
Data Analysis with Open Source Tools
Added to basket
Sets, Logic and Maths for Computing
Added to basket
The Elements of Statistical Learning
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.