Angebote zu "Hinter" (3.798 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: 09.08.2019
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: 31.07.2019
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: 31.07.2019
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: 31.07.2019
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: 31.07.2019
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: 31.07.2019
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: 31.07.2019
Zum Angebot
Fundamente der Informatik
34,80 € *
ggf. zzgl. Versand

An Gymnasien zählt der Informatik-Unterricht zu den wesentlichen Bausteinen, die die Kinder auf das spätere Studium und Berufsleben vorbereiten sollen. Dieses Buch dient Lehrern, die sich für diesen Unterricht zusätzlich qualifizieren wollen, und Studenten der Didaktik der Informatik als Lern- und Übungsbuch für die Unterrichts- und Prüfungsvorbereitung. Zahlreiche Übungen helfen, das Gelesene zu vertiefen. Die Lösungen stehen im Internet zur Verfügung.

Anbieter: buecher.de
Stand: 12.08.2019
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: 31.07.2019
Zum Angebot