eBook.de : Ihr Online Shop für eBooks, Reader, Downloads und Bücher
Hilfe
+49 (0)40 4223 6096
PORTO-
FREI

Logik für Informatiker

Sofort lieferbar
Buch (kartoniert)
Buch (kartoniert) € 22,99* inkl. MwSt.
Portofrei*

Produktdetails

Titel: Logik für Informatiker
Autor/en: Uwe Schöning

ISBN: 3827410053
EAN: 9783827410054
5. A.
Zahlreiche Abbildungen.
Spektrum-Akademischer Vlg

1. August 2015 - kartoniert - 200 Seiten

  • Empfehlen
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.
Einleitung
1 Aussagenlogik
1.1 Grundbegriffe
1.2 Äquivalenz und Normalformen
1.3 Hornformeln
1.4 Endlichkeitssatz
1.5 Resolution
2 Prädikatenlogik
2.1 Grundbegriffe
2.2 Normalformen
2.3 Unentscheidbarkeit
2.4 Herbrand-Theorie
2.5 Resolution
2.6 Verfeinerung der Resolution
3 Logik-Programmierung
3.1 Erzeugen von Antworten
3.2 Hornklauselprogramme und deren Semantik
3.3 Auswertungsstrategien
3.4 PROLOG
Lösungshinweise
Literaturverzeichnis
Symbolverzeichnis
Index
Prof. Dr. Uwe Schöning ist Leiter der Abteilung Theoretische Informatik der Universität Ulm.
Kundenbewertungen zu Uwe Schöning „Logik für Informatiker“
Noch keine Bewertungen vorhanden
Zur Rangliste der Rezensenten
Veröffentlichen Sie Ihre Kundenbewertung:
Kundenbewertung schreiben
Entdecken Sie mehr
Unsere Leistungen auf einen Klick
Unser Service für Sie
Zahlungsmethoden
Bequem, einfach und sicher mit eBook.de. mehr Infos akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal mehr Infos
Geprüfte Qualität
  • Schnelle Downloads
  • Datenschutz
  • Sichere Zahlung
  • SSL-Verschlüsselung
Servicehotline
+49 (0)40 4223 6096
Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 18.00 Uhr
Chat
Ihre E-Mail-Adresse eintragen und kostenlos informiert werden:
1 Ihr Gutschein READ15 gilt bis einschließlich 23.06.2021 und nur für internationale eBooks, die nicht der Preisbindung unterliegen und deren Vertriebsmodell des Verlages eine Einlösung erlaubt. Der Gutschein kann mehrmals eingelöst werden. Sie können den Gutschein ausschließlich online einlösen unter www.ebook.de. Der Gutschein ist nicht mit anderen Gutscheinen kombinierbar. Eine Barauszahlung ist nicht möglich. Ein Weiterverkauf und der Handel des Gutscheincodes sind nicht gestattet.

2 Diese Artikel unterliegen nicht der Preisbindung, die Preisbindung dieser Artikel wurde aufgehoben oder der Preis wurde vom Verlag gesenkt. Die jeweils zutreffende Alternative wird Ihnen auf der Artikelseite dargestellt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

3 Durch Öffnen der Leseprobe willigen Sie ein, dass Daten an den Anbieter der Leseprobe übermittelt werden.

4 Der gebundene Preis dieses Artikels wird nach Ablauf des auf der Artikelseite dargestellten Datums vom Verlag angehoben.

5 Der Preisvergleich bezieht sich auf die unverbindliche Preisempfehlung (UVP) des Herstellers.

6 Der gebundene Preis dieses Artikels wurde vom Verlag gesenkt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

7 Die Preisbindung dieses Artikels wurde aufgehoben. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

8 Ihr Gutschein TASCHE gilt bis einschließlich 30.06.2021 und nur für die Kategorie tolino Zubehör. Der Gutschein kann mehrmals eingelöst werden. Sie können den Gutschein ausschließlich online einlösen unter www.eBook.de. Der Gutschein ist nicht mit anderen Gutscheinen und Geschenkkarten kombinierbar. Eine Barauszahlung ist nicht möglich. Ein Weiterverkauf und der Handel des Gutscheincodes sind nicht gestattet.

* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier

eBook.de - Meine Bücher immer dabei
eBook.de ist eine Marke der Hugendubel Digital GmbH & Co. KG
Folgen Sie uns unter: