orellfuessli.ch

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. Auflage
Buch (Taschenbuch)
Fr. 28.90
inkl. gesetzl. MwSt. zzgl. Versandkosten
Versandfertig innert 3 - 5 Werktagen
Kostenlose Lieferung ab Fr. 30 i
Lieferung zur Abholung in Ihre Buchhandlung möglich – Verfügbarkeit prüfen
Premium Card
Fr. 28.90 Umsatz sammeln
Weitere Informationen

Andere Kunden interessierten sich auch für

  • 6124300
    Logik für Informatiker
    von Jürgen Dassow
    Buch (Taschenbuch)
    Fr. 48.90
  • 3127633
    Vorlesungen über Informatik 1
    von Wolf Zimmermann
    Buch (Taschenbuch)
    Fr. 17.90
  • 13636012
    Diskrete Mathematik
    von Martin Aigner
    Buch (Taschenbuch)
    Fr. 39.90
  • 37312200
    Grundkurs Relationale Datenbanken
    von René Steiner
    Buch (Taschenbuch)
    Fr. 37.90
  • 16406961
    Moderne mathematische Methoden der Physik 1
    von Karl-Heinz Goldhorn
    Buch (Taschenbuch)
    Fr. 57.00
  • 3041868
    Kommunikation in Parallelrechnern
    von Roger Butenuth
    Buch (Kunststoff-Einband)
    Fr. 20.90
  • 3154525
    Principles of Program Analysis
    von Chris Hankin
    Buch (gebundene Ausgabe)
    Fr. 74.90
  • 32321961
    Grundlagen der Informatik
    von Jürgen Wohlrab
    Buch (gebundene Ausgabe)
    Fr. 62.00
  • 33841043
    Spieltheorie
    von Ken Binmore
    Buch (Taschenbuch)
    Fr. 11.90
  • 14878960
    Einführung in die Theoretische Informatik
    von Ulrich Hedtstück
    Buch (Taschenbuch)
    Fr. 38.90 bisher Fr. 45.40

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?
0 0

Wird oft zusammen gekauft

Logik für Informatiker

Logik für Informatiker

von Uwe Schöning

(1)
Buch (Taschenbuch)
Fr. 28.90
+
=
Einführung in die mathematische Logik

Einführung in die mathematische Logik

von Wolfgang Thomas

Buch (Taschenbuch)
Fr. 35.90
+
=

für

Fr. 64.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