orellfuessli.ch

Nur bis Sonntag: 25% auf (fast) alles ab einem Einkauf von Fr. 75.-*

Logik für Informatiker

(1)
Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedürfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete Resultate der formalen Logik unter einem algorithmischen Gesichtspunkt behandelt. Diese Vorgehensweise erleichtert entscheidend den Zugang zu dem abstrakten Themengebiet.
Prof. Schöning gelingt eine kompakte und verständliche Darstellung der Aussagen- und Prädikatenlogik, bei der die benötigten Begriffe präzise eingeführt und durch Beispiele veranschaulicht werden. Darauf beruhend werden Anwendungen der Logik in der Informatik, wie z. B. Resolution, Automatisches Beweisen und Logik-Programmierung behandelt. Zahlreiche Übungsaufgaben mit ausführlichen Lösungshinweisen erleichtern die Vertiefung des Lernstoffes.
Portrait
Prof. Dr. Uwe Schöning ist Leiter der Abteilung Theoretische Informatik der Universität Ulm.
… weiterlesen

Beschreibung

Produktdetails


Einband Taschenbuch
Seitenzahl 200
Erscheinungsdatum 20.01.2000
Sprache Deutsch
ISBN 978-3-8274-1005-4
Reihe Spektrum Lehrbuch
Verlag Spektrum der Wissenschaft
Maße (L/B/H) 210/149/14 mm
Gewicht 270
Abbildungen zahlreiche Abbildungen
Auflage 5. A
Buch (Taschenbuch)
Fr. 29.90
inkl. gesetzl. MwSt. zzgl. Versandkosten
Versandfertig innert 1-2 Werktagen.
Kostenlose Lieferung ab Fr. 30 i
Lieferung zur Abholung in Ihre Buchhandlung möglich – Verfügbarkeit prüfen

Andere Kunden interessierten sich auch für

  • 6124300
    Logik für Informatiker
    von Jürgen Dassow
    Buch (Taschenbuch)
    Fr. 49.90
  • 14669648
    Einführung in die mathematische Logik
    von Heinz-Dieter Ebbinghaus
    Buch (Taschenbuch)
    Fr. 35.90
  • 3127633
    Vorlesungen über Informatik
    von Gerhard Goos
    Buch (Taschenbuch)
    Fr. 14.90
  • 13636012
    Diskrete Mathematik
    von Martin Aigner
    Buch (Taschenbuch)
    Fr. 39.90
  • 44957505
    Moderne Betriebssysteme
    von Andrew S. Tanenbaum
    Buch (gebundene Ausgabe)
    Fr. 85.00
  • 44408157
    Mathe-Toolbox
    von Uwe Schöning
    Buch (Taschenbuch)
    Fr. 19.90
  • 3154525
    Principles of Program Analysis
    von Flemming Nielson
    Buch (gebundene Ausgabe)
    Fr. 82.90
  • 16406961
    Moderne mathematische Methoden der Physik
    von Karl-Heinz Goldhorn
    Buch (Taschenbuch)
    Fr. 57.00
  • 3041868
    Kommunikation in Parallelrechnern
    von Roger Butenuth
    Buch (Kunststoff-Einband)
    Fr. 26.90
  • 29845904
    Logikkalküle in der Informatik
    von Michael Schenke
    Buch (Taschenbuch)
    Fr. 36.90

Kundenbewertungen


Durchschnitt
1 Bewertung
Übersicht
0
1
0
0
0

Für die Uni gut
von einer Kundin/einem Kunden aus Weddelbrook am 16.07.2008

Ich bin studiere Informatik (Bachelor) im 2. Semester und Besuche die Vorlesung "Formale Grundlagen der Informatik" an der Uni Hamburg. Mir hilft dieses Buch sehr, auch wenn die Thematik einfach langweilig bleib - aber das ist ja rein subjektiv ;)

Hat Ihnen diese Empfehlung geholfen?

Wird oft zusammen gekauft

Logik für Informatiker - Uwe Schöning

Logik für Informatiker

von Uwe Schöning

(1)
Buch (Taschenbuch)
Fr. 29.90
+
=
De amor y de sombra - Isabel Allende

De amor y de sombra

von Isabel Allende

Buch (Taschenbuch)
Fr. 19.90
+
=

für

Fr. 49.80

inkl. gesetzl. MwSt.

Alle kaufen

Verfügbarkeit in Ihrer Buchhandlung prüfen

Filialabholung: Ihre Vorteile
  1. Bereits Online prüfen, ob Ihr gewünschtes Buch in der Filiale vorrätig ist
  2. Bestellen Sie Online und lassen Sie Ihre Artikel zur Abholung in die Filiale vor Ort liefern
  3. Artikel, die zur Filialabholung bestellt wurden, können in der Filiale bezahlt werden.
  4. Falsches Buch bestellt? Retournieren Sie ihre gekauften Bücher kostenfrei in der Filiale