Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Logik für Informatiker

Name: Logik für Informatiker
Brand: Vieweg+Teubner
SKU: 06801849
Price: 32.92 EUR
Availability: InStock
Author: Jürgen Dassow
ISBN: 9783519005186

Jürgen Dassow

Language

German

Book Paperback

Libristo code: 06801849

Publishers Vieweg+Teubner, April 2005

Logik ist eine wichtige Grundlage der Informatik. Sie ist für die Formalisierung der Softwaretechnik... Full description

Libristo code: 06801849

80 b

32.92 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Dětská gastroenterologie pro praxi Eva Karásková

Paperback

17.66 €

International Primary Maths Workbook: Stage 1 Lisa Jarmin

Paperback

14.95 €

Opening and Managing a Law Office Renee N. G. Stackhouse

Paperback

63.65 €

BABADADA black-and-white, Afrikaans - italiano, geillustreerde woordeboek - dizionario illustrato Babadada Gmbh

Paperback

7.72 €

INVERSION EN EQUIPAMIENTOS RECREATIVOS Y CULTURALES EN LA COMUNIDAD VALNECIANA, LA SERVICIO DE ESTUDIOS DEL IEE

Paperback

22.18 €

Coloriages mystères Disney Créatures fantastiques Karam

Paperback

20.27 €

ROLANDE FALCINELLI: KRISHNA GOPALA OP.66 (FLUTE SOLO) FALCINELLI Book

binding.

19.77 €

Bodhi Sees the World: Thailand Ware

Hardback

14.15 €

Kakegurui: Compulsive Gambler, Vol. 7 Homura Kawamoto

Paperback

12.34 €

V dobrém i ve zlém Aleš Opatrný

Hardback

8.83 €

Stella Et Vanessa, Et Tancrede De Rohan (1855) Leon De Wailly

Paperback

39.05 €

Tyttö, joka unohti nimensä NILLA Anni Virta

Paperback

15.05 €

A Panoptican Society 2 Antonio T. Carlos

Paperback

11.44 €

Growing Up with Two Languages Una Cunningham

Hardback

116.16 €

Math Workbook Practice Grade 3-5 (Ages 8-11): 3-in-1 Math Workbook With Over 500+ Questions For Learning and Practice Math (3rd, 4th and 5th Grade) Tuebaah

Paperback

19.67 €

História, futebol e agricultura: transformações no jogo e no rural Carbone Bruno Schmidt Krug

Paperback

31.92 €

Reliquary Sarson Henry Smalley Sarson

Paperback

24.19 €

Nude Stefan Rappo

Hardback

31.32 €

Jak funguje moc

Paperback

4.91 €

Topology Optimization and AI-based Design of Power Electronic and Electrical Devices Hajime Igarashi

Paperback

168.48 €

Dark shots

Book

35.25 €

Crónicas de Astrotek Cukiland Studios

Paperback

10.53 €

Storočie dynastických vojen Vladimír Segeš

Hardback

17.76 €

CÓDIGO BEST SELLER MATTHEW/ ARCHER

Book

30.21 €

Logik ist eine wichtige Grundlage der Informatik. Sie ist für die Formalisierung der Softwaretechnik, für Verifikation und Spezifikation vonProgrammen 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. Daher werden nicht nur fundamentale Konzepte und Aussagen der Aussagenlogik und der Prädikatenlogik (erster Stufe) angegeben, die auch für die Mathematik und die Philosophie bedeutsam sind, sondern auch algorithmische Fragen, Beziehungen zur logischen Programmierung und spezielle, für die Informatik wichtige, weitere Logiken ausführlich diskutiert.