Stöbern Sie durch unsere Angebote (4973 Treffer)

Theoretische Informatik
€ 29.99 *
ggf. zzgl. Versand

Diese kompakte Einführung in die Theoretische Informatik stellt die wichtigsten Modelle für zentrale Probleme der Informatik vor. Dabei werden u.a. folgende Fragestellungen behandelt: Welche Probleme sind algorithmisch lösbar? (Theorie der Berechenbarkeit und Entscheidbarkeit) Wie schwierig ist es algorithmische Probleme zu lösen? (Theorie der Berechnungskomplexität, NP-Theorie) Wie sind informationsverarbeitende Systeme prinzipiell aufgebaut? (Theorie der endlichen Automaten) Welche Strukturen besitzen Programmiersprachen? (Theorie der formalen Sprachen) In der Erarbeitung dieser Themen wird der Abstraktionsprozeß von den realen Gegenständen der Informatik zu den in der Theoretischen Infromatik etabliertern Modellen, wie z.B. Random-Access-Maschinen, Turingmaschinen und endliche Automaten, nachvollzogen und umgekehrt verdeutlicht, was diese Modelle aufgrund der über sie gewonnenen Erkenntnisse für die Praxis leisten können.

Anbieter: buecher.de
Stand: Dec 10, 2018
Zum Angebot
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: Dec 10, 2018
Zum Angebot
Mathematik für die Informatik
€ 32.99 *
ggf. zzgl. Versand

Das Buch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Weiterhin demonstriert es Anwendungen von mathematischen Konzepten und Methoden in der Informatik, insbesondere in der Programmentwicklung und -verifikation und dem Entwurf von generischen Programmen. Ein spezielles Konzept erleichtert den Übergang von der Schul-Mathematik zur Mathematik an einer wissenschaftlichen Hochschule. Durch eine leicht verständliche Vermittlung des Stoffes mit vielen Beispielen werden die Studierenden auch auf spätere Begriffe und tiefergehende Anwendungen der Mathematik in der Informatik gut vorbereitet. Zahlreiche Übungsaufgaben helfen, das Erlernte zu festigen und zu kontrollieren.

Anbieter: buecher.de
Stand: Dec 10, 2018
Zum Angebot
Theoretische Informatik
€ 109.95 *
ggf. zzgl. Versand

Der Autor bietet eine umfassende Einführung sowohl in die Automatentheorie und die Formalen Sprachen als auch in die Berechenbarkeits- und Komplexitätstheorie sowie in die Algorithmik. Der Verzicht auf die übliche Trennung der ´´klassischen´´ Theoretischen Informatik von der Algorithmik macht es möglich, Automatentheorie und Formale Sprachen anwendungsorientiert aus der Sicht des Übersetzerbaus einzuführen. Gelernte Methoden der Algorithmik werden angewendet, damit effiziente Algorithmen zur Lösung von Aufgaben der lexikalischen Analyse und der Syntaxanalyse entwickelt werden können. Ebenso werden Algorithmen zur Lösung von grundlegenden Problemen auf Graphen und auf Strings vorgestellt und eine Einführung in die schnelle Fouriertransformation sowie in die lineare Programmierung gegeben. Die Stoffauswahl erfolgte so, dass die Inhalte auch für die Praxis relevant sind. Das Buch baut auf Vorlesungen des Autors im Grund- und Hauptstudium auf. Weiterführende Hinweise zum Buch.

Anbieter: buecher.de
Stand: Dec 12, 2018
Zum Angebot
Technische Informatik
€ 32.99 *
ggf. zzgl. Versand

Die fundierte Einführung in die Technische Informatik: Der erste Teil des Buches führt in die Maschinennahe Programmierung ein. Der zweite Teil beschreibt den Aufbau von Rechnern. Ein bottom-up Entwurf eines Prozessors wird beschrieben und der Aufbau eines Desktop-Rechners wird erklärt. Pipelining und Caching-Techniken werden ebenso beschrieben. Besonderer Wert wurde auf eine didaktisch ausgereifte Darstellung des Stoffes gelegt. Durch die tutoriumsartige Darstellung eignet sich das Buch zur Begleitung von Vorlesungen und zum Selbststudium. Zu jedem Thema gibt es zahlreiche Übungen, mit denen der Stoff trainiert werden kann.

Anbieter: buecher.de
Stand: Dec 10, 2018
Zum Angebot
Technische Informatik
€ 32.99 *
ggf. zzgl. Versand

Die Leserinnen und Leser werden in einer mathematisch orientierten, didaktisch ausgefeilten Weise an die Analyse und den Entwurf elektronischer Schaltungen herangeführt. Ausgehend von Schaltungen mit lösbaren Gleichungssystemen wird schrittweise ein pragmatischer Werkzeugkasten entwickelt, um unbekannte kompliziertere Schaltungen oder Betriebsarten auf bereits eingeführte einfachere Modelle zurückzuführen. Begriffsdefinitionen, die Hervorhebung von Kernaussagen, 356 Abbildungen und 77 Übungsaufgaben mit Musterlösungen unterstützen den Lernprozess.

Anbieter: buecher.de
Stand: Dec 10, 2018
Zum Angebot
Technische Informatik
€ 37.99 *
ggf. zzgl. Versand

Das Buch führt den Leser in einer didaktisch ausgefeilten Weise an die Modellierung und den rechnergestützten Entwurf digitaler Schaltungen mit der Hardware-Beschreibungssprache VHDL heran. Behandelt werden das logische und das Zeitverhalten, Laufzeittoleranz, Automaten- und andere Verhaltensmodelle für sequentielle Schaltungen, Synthese, Logikoptimierung und Rechenwerke. Es folgen eine detaillierte Einführung in VHDL und darauf aufsetzende Beschreibungs- und Vorgehenstechniken für die Modellentwicklung sowie ein Exkurs auf die Transistorebene. Zum Abschluss demonstrieren drei komplexe Beispielentwürfe die Anwendung des Erlernten. Begriffsdefinitionen, die Hervorhebung von Kernaussagen, zahlreiche Abbildungen, Übungsaufgaben mit Musterlösungen und buchbegleitende VHDL-Beispiele im Internet unterstützen den Lernprozess.

Anbieter: buecher.de
Stand: Dec 10, 2018
Zum Angebot
Forensische Informatik
€ 39.00 *
ggf. zzgl. Versand

Unter dem Begriff ´´forensische Informatik´´ versteht man die Anwendung wissenschaftlicher Methoden der Informatik auf Fragen des Rechtssystems. Insbesondere stellt die forensische Informatik Methoden zur gerichtsfesten Sicherung und Verwertung digitaler Spuren bereit, etwa zur Untersuchung und Verfolgung von Straftaten. Viele Methoden der Informatik können auf Fragen des Rechtssystems angewendet werden. Die vorliegenden Ausführungen geben eine Einführung in die forensische Informatik und einen breiten Überblick über das Gebiet. Das Buch richtet sich an interessierte Personen, die sich in diesem Bereich mit fundiertem Hintergrundwissen ausstatten möchten.

Anbieter: buecher.de
Stand: Dec 10, 2018
Zum Angebot
Taschenbuch der Informatik
€ 29.90 *
ggf. zzgl. Versand

Eine umfassende Gesamtübersicht zu den wichtigsten Teilgebieten der Informatik in einem Taschenbuch - das macht die Einzigartigkeit dieses Werkes aus. Es spannt den Bogen von den theoretischen und technischen Grundlagen der Informatik über die verschiedenen Teilgebiete der praktischen Informatik bis hin zu vielen aktuellen Anwendungen in technischen und (betriebs-)wirtschaftlichen Bereichen. Die kompakte und übersichtliche Darstellung ermöglicht eine konzentrierte Wissensvermittlung. Für die 7. Auflage wird das Werk komplett überarbeitet und aktualisiert.

Anbieter: buecher.de
Stand: Dec 10, 2018
Zum Angebot
Theoretische Informatik
€ 34.99 *
ggf. zzgl. Versand

Das Lehrbuch führt in verständlicher Sprache in die theoretische Informatik ein. Es umfasst die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und gibt einen Überblick zur Komplexitätstheorie. Das Buch eignet sich insbesondere für Einsteiger: Alle Beweise sind im Detail ausgeführt. Für Dozenten ist das Buch ebenfalls interessant, da auch Nicht-Standard-Berechnungsmodelle vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn Jahre für Studierende der Informatik im Grundstudium.

Anbieter: buecher.de
Stand: Dec 11, 2018
Zum Angebot