Angebote zu "Logik" (46 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: 18.07.2018
Zum Angebot
Automatentheorie und Logik
32,99 € *
ggf. zzgl. Versand

Das Buch beschäftigt sich mit der Theorie endlicher Automaten und den klassischen Resultaten wie den Sätzen von Richard Büchi und Michael Rabin. Die vier Teile des Buchs sind den unterschiedlichen Strukturen gewidmet: endliche Wörter, Bäume, endliche und unendliche Bäume. Jeder Teil endet mit Übungsaufgaben zum behandelten Stoff sowie Hinweisen auf weiterführende Literatur. Soweit Vorkenntnisse zur Theorie formaler Sprachen vorhanden sind, kann das Buch ohne weitere Hilfsmittel durchgearbeitet werden.

Anbieter: buecher.de
Stand: 18.07.2018
Zum Angebot
Logik für Informatiker - Jürgen Dassow
0,80 € *
zzgl. 3,99 € Versand
Anbieter: trade-a-game
Stand: 19.07.2018
Zum Angebot
Präzises Denken für Informatiker
27,99 € *
ggf. zzgl. Versand

Das Lehrbuch befasst sich mit dem präzisen Denken, einer Schlüsselkompetenz im Studium der Informatik. Es bildet die Vorstufe für das Verständnis der logischen Grundfunktionen der Informatik. Das Erlernen der mathematischen Logik ist ein wesentlicher Bestandteil des Grundstudiums, da das logische Denken in der Informatik auf den gleichen Regeln und Techniken basiert wie in der Mathematik. Der Autor führt umfassend in die Aussagenlogik ein und erklärt unter anderem die Bedeutungen von logischer Äquivalenz, Implikation und Induktion für diesen Fachbereich. Darüber hinaus definiert er den Beweis aus Sicht der Mathematik und stellt grundlegende Beweisstrategien vor, die im Studium benötigt werden. Mit den in diesem Lehrbuch vorgestellten Techniken des präzisen Denkens erwerben die Studenten die Fähigkeit, Begriffe punktgenau zu definieren, Aussagen trennscharf zu formulieren und ihre Richtigkeit angemessen zu begründen. Viele praxisnahe Aufgaben und Lösungshinweise innerhalb der Kapitel erleichtern die Überprüfung und Vertiefung des Lernstoffs. Der Autor richtet sich vornehmlich an Bachelorstudenten der ersten Semester. Sie finden in diesem Werk eine optimale Vorbereitung auf die Logik-Seminare ihres Informatikstudiums. Die vermittelten Kompetenzen verbessern dabei nicht nur das Verständnis im Informatik-Studium, sondern sind ebenso für das spätere Berufsleben von großer Bedeutung. Darüber hinaus erhalten auch interessierte Laien mit diesem Buch einen interessanten Einblick in die Welt der Informatik und Mathematik und lernen, dass die Fähigkeit zu präzisem Denken auch jenseits dieser Fachbereiche hilfreich sein kann.

Anbieter: buecher.de
Stand: 18.07.2018
Zum Angebot
Theoretische Informatik
42,00 € *
ggf. zzgl. Versand

Das Buch führt umfassend in das Gebiet der theoretischen Informatik ein und behandelt den Stoffumfang, der für das Bachelor-Studium an Universitäten und Hochschulen in den Fächern Informatik und Informationstechnik benötigt wird. Die Darstellung und das didaktische Konzept verfolgen das Ziel, einen durchweg praxisnahen Zugang zu den mitunter sehr theoretisch geprägten Themen zu schaffen. Theoretische Informatik muss nicht trocken sein. Sie kann Spaß machen und genau dies versucht das Buch zu vermitteln. Die verschiedenen Methoden und Verfahren werden anhand konkreter Beispiele eingeführt und durch zahlreiche Querverbindungen wird gezeigt, wie die fundamentalen Ergebnisse der theoretischen Informatik die moderne Informationstechnologie prägen. Das Buch behandelt die Themengebiete: Logik und Deduktion, Automatentheorie, formale Sprachen, Entscheidbarkeitstheorie, Berechenbarkeitstheorie und Komplexitätstheorie. Die Lehrinhalte aller Kapitel werden durch zahlreiche Übungsaufgaben komplettiert, so dass sich die Lektüre neben der Verwendung als studienbegleitendes Lehrbuch auch bestens zum Selbststudium eignet. In der 3. Auflage wurden Fehler behoben, alle Kapitel aktualisiert und teilweise ergänzt.

Anbieter: buecher.de
Stand: 18.07.2018
Zum Angebot
Logik für Informatiker als Buch von Jürgen Dassow
34,99 € *
ggf. zzgl. Versand

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

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

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

Anbieter: Hugendubel.de
Stand: 18.07.2018
Zum Angebot
Grundkurs Künstliche Intelligenz
29,99 € *
ggf. zzgl. Versand

Alle Teilgebiete der KI werden mit dieser Einführung kompakt, leicht verständlich und anwendungsbezogen dargestellt. Hier schreibt jemand, der das Gebiet nicht nur bestens kennt, sondern auch in der Lehre engagiert und erfolgreich vertritt. Von der klassischen Logik über das Schließen mit Unsicherheit und maschinelles Lernen bis hin zu Anwendungen wie Expertensysteme oder lernfähige Roboter. Neben dem umfassenden Einblick in dieses faszinierende Teilgebiet der Informatik gewinnen Sie vertiefte Kenntnisse, z. B. hinsichtlich wichtiger Verfahren zur Repräsentation und Verarbeitung von Wissen. Der Anwendungsbezug steht im Fokus der Darstellung. Viele Übungsaufgaben mit Lösungen sowie strukturierte Verweise auf Literatur und Ressourcen im Web ermöglichen ein effektives und kurzweiliges Selbststudium. Für die 3. Auflage ...

Anbieter: buecher.de
Stand: 18.07.2018
Zum Angebot
Künstliche Intelligenz
69,95 € *
ggf. zzgl. Versand

Die dritte Auflage dieses Informatik-Klassikers wurde von Grund auf komplett überarbeitet und an die neuesten Entwicklungen der KI angepasst. Die Autoren verstehen es dabei, die KI in ihrem ganzen Themenspektrum für die Studierenden verständlich und nachvollziehbar dazustellen. Sie behandeln alle relevanten Aspekte der KI von der Logik und der Wahrscheinlichkeitstheorie über den Bereich des Wahrnehmens, Denkens, Lernens und Handelns bis zu mikroelektronischen Geräten und Robotern. Erweitert um moderne Such- und Sprachalgorithmen sowie Lernen mit neuronalen Netzen setzt diese Werk einen neuen Standard, den kein anderes Werk derzeit zu leisten vermag. Die dritte Auflage dieses Informatik-Klassikers wurde von Grund auf komplett überarbeitet und an die neuesten Entwicklungen der KI angepasst. Die Autoren verstehen es dabei, die KI in ihrem ganzen Themenspektrum für die Studierenden verständlich und nachvollziehbar dazustellen. Sie behandeln alle relevanten Aspekte der KI von der Logik und der Wahrscheinlichkeitstheorie über den Bereich des Wahrnehmens, Denkens, Lernens und Handelns bis zu mikroelektronischen Geräten und Robotern. Erweitert um moderne Such- und Sprachalgorithmen sowie Lernen mit neuronalen Netzen setzt diese Werk einen neuen Standard, den kein anderes Werk derzeit zu leisten vermag. STUART RUSSEL ist Professor für Informatik an der University of California in Berkeley und leitet das Center for intellegent Systems PETER NORVIG ist Director for Search Quality bei Google Inc. ÜBER DEN FACHLEKTOR Professor FRANK KIRCHNER ist Direktor des Deutschen Forschungszentrums für künstliche Intelligenz in Bremen (DKFI). Zudem ist er Vorsitzender im Komitee für Programmentwicklung KI an den Deutschen Universitäten.

Anbieter: buecher.de
Stand: 18.07.2018
Zum Angebot
Künstliche Intelligenz
34,90 € *
ggf. zzgl. Versand

Das Lehrbuch gibt eine Einführung in die Techniken der künstlichen Intelligenz (KI) und behandelt dabei als eines der wenigen Werke sowohl die Symbol verarbeitende KI als auch konnektionistische Ansätze in Form der neuronalen Netze. Es wird aufgezeigt, wie klassische KI-Techniken in Form von Wissensnetzen oder Geschäftsregeln heute angewendet werden und wie künstliche neuronale Netze im Data Mining eingesetzt werden können. Wissensrepräsentation und -verarbeitung auf der Basis der Logik werden unter Nutzung der logischen Programmiersprache PROLOG eingeführt. Die Konzepte neuronaler Netze werden mit dem Stuttgarter Neuronale Netze Simulator praktisch vertieft. Fragen und Aufgaben zum Ende eines Abschnittes fordern zum aktiven Lesen und Lernen mit diesem Lehrbuch auf. Die Web-Seiten zum Buch sind als ein semantisches Wiki aufgebaut und enthalten insbesondere auch mehrere Demo-Programme, die diskutierte Vorgehensweisen veranschaulichen und das Verständnis fördern. Für die vierte Auflage wurde das Buch aktualisiert.Informationen zum Buch finden sich unter www.wi.hs-wismar.de/ki-buch

Anbieter: buecher.de
Stand: 18.07.2018
Zum Angebot