Angebote zu "Logik" (87 Treffer)

Logik für Informatiker
20,00 € *
ggf. zzgl. Versand

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.

Anbieter: buecher.de
Stand: 11.01.2018
Zum Angebot
Logik für Informatiker
34,95 € *
ggf. zzgl. Versand

Logik ist eine wichtige Grundlage der Informatik. Sie ist fuer die Formalisierung der Softwaretechnik, fuer Verifikation und Spezifikation von Programmen und Datenbanken genauso erforderlich wie fuer die logische Programmierung und die Kuenstliche Intelligenz

Anbieter: RAKUTEN: Ihr Mark...
Stand: 10.01.2018
Zum Angebot
Logik für Informatiker
51,55 € *
ggf. zzgl. Versand

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 Beduerfnissen von Informatikstudierenden. Insbesondere werden vi

Anbieter: RAKUTEN: Ihr Mark...
Stand: 10.01.2018
Zum Angebot
Logik für Informatiker
29,95 € *
ggf. zzgl. Versand

Die Gedankenwelt der Logik gewinnt in der 1nformatik zunehmend an Bedeutung. Der Anspruch, immer komplexere Aufgaben auch aus Bereichen, die bis vor kurzem ausschlie13lich dem menschlichen Denken vorbehalten waren, einem Rechner zu iiber­ tragen, setzt ei

Anbieter: RAKUTEN: Ihr Mark...
Stand: 14.01.2018
Zum Angebot
Dassow, Jürgen: Logik für Informatiker
34,95 € *
ggf. zzgl. Versand

Logik fuer InformatikerTaschenbuchvon Juergen DassowEAN: 9783519005186Einband: Kartoniert / BroschiertErscheinungsjahr: 2005Sprache: DeutschSeiten: 177Masse: 244 x 172 x 12 mmAutor: Juergen DassowLogik, Informatik, Mathematik, Philosophie, fuer die Hochschule,

Anbieter: RAKUTEN: Ihr Mark...
Stand: 10.01.2018
Zum Angebot
Logik für Informatiker - Jürgen Dassow
2,39 € *
zzgl. 3,99 € Versand
Anbieter: trade-a-game
Stand: 16.01.2018
Zum Angebot
Logik für Informatiker als Buch von Jürgen Dassow
34,95 € *
ggf. zzgl. Versand
(34,95 € / in stock)

Logik für Informatiker:Auflage 2005 Jürgen Dassow

Anbieter: Hugendubel.de
Stand: 26.12.2017
Zum Angebot
Logik für Informatiker als Buch von Uwe Schöning
20,00 € *
ggf. zzgl. Versand
(20,00 € / in stock)

Logik für Informatiker:HochschulTaschenbuch. 5. A Uwe Schöning

Anbieter: Hugendubel.de
Stand: 12.01.2018
Zum Angebot
Logik für Informatiker (Sav Informatik) - Uwe S...
9,19 € *
zzgl. 3,99 € Versand
Anbieter: reBuy.de
Stand: 16.01.2018
Zum Angebot
Logik für Informatiker als Buch von Bernhard He...
29,95 € *
ggf. zzgl. Versand
(29,95 € / in stock)

Logik für Informatiker:Eine Einführung Leitfäden und Monographien der Informatik. 2. Aufl. 1991. Bernhard Heinemann, Klaus Wehirauch

Anbieter: Hugendubel.de
Stand: 26.12.2017
Zum Angebot