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

  • 14669648
    Einführung in die mathematische Logik
    von Heinz-Dieter Ebbinghaus
    Buch
    Fr. 35.90
  • 6124300
    Logik für Informatiker
    von Jürgen Dassow
    Buch
    Fr. 48.90
  • 3127633
    Vorlesungen über Informatik 1
    von Gerhard Goos
    Buch
    Fr. 17.90
  • 37312200
    Grundkurs Relationale Datenbanken
    von René Steiner
    Buch
    Fr. 37.90
  • 16406961
    Moderne mathematische Methoden der Physik 1
    von Karl-Heinz Goldhorn
    Buch
    Fr. 57.00
  • 3041868
    Kommunikation in Parallelrechnern
    von Roger Butenuth
    Buch
    Fr. 20.90
  • 3154525
    Principles of Program Analysis
    von Flemming Nielson
    Buch
    Fr. 74.90
  • 32321961
    Grundlagen der Informatik
    von Helmut Herold
    Buch
    Fr. 84.90
  • 14878960
    Einführung in die Theoretische Informatik
    von Ulrich Hedtstück
    Buch
    Fr. 38.90 bisher Fr. 45.40
  • 40134256
    Mathematik zum Studiumsanfang
    von Peter Dörsam
    Buch
    Fr. 8.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
Fr. 28.90
+
=
Tomte Tummetott

Tomte Tummetott

von Astrid Lindgren

(1)
Buch
Fr. 17.90
+
=

für

Fr. 46.80

inkl. gesetzl. MwSt. zzgl. Versandkosten

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