Logik für Informatiker

Name: Logik für Informatiker
Brand: Vieweg+Teubner Verlag
SKU: 9783519005186-V
Price: 7.99 EUR
Availability: InStock
Rating: 5 (1 reviews)

By J\xfcrgen Dassow

Only 1 item left in stock

Description

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.

Product details

Binding:

Paperback

Edition:

1

Number of Pages:

184

Release Date:

2005-04-29

Publication Date:

2005-04-29

Publisher:

Vieweg+Teubner Verlag

Languages:

Original: German

ISBN10:

3519005182

ISBN13:

9783519005186

GPSR Manufacturer Reference:

[email protected]

Weight:

323 g

Height:

170 cm

Width:

240 cm

Thickness:

11 cm

Preview Link:

http://www.blickinsbuch.de/viewer/cm/access.php?djMxNTY9NDIwMzQ1MjgxNyZ2NzM3Nj05NzgzNTE5MDA1MTg2

Condition

Show less

Very good

Almost no signs of wear. Book pages have no markings, accessories are intact and all other media are in good condition.

Used - very good €7,99

Used - good €5,49

Available immediately

€7,99

Incl. VAT, plus shipping costs

Only 1 item left in stock

Verified second-hand article

Verified second-hand item

Free shipping from 19€

€7,99