Download or read book Einf hrung in die Theoretische Informatik B written by R. Verbeek and published by . This book was released on with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Einf hrung in die Theoretische Informatik B written by and published by . This book was released on 1996 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Einf hrung in die theoretische Informatik written by Klaus Weihrauch and published by . This book was released on 2007 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Einf hrung in die Theoretische Informatik written by Ulrich Hedtstück and published by Walter de Gruyter. This book was released on 2012-10-18 with total page 192 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dieses Lehrbuch bietet eine prägnante und leicht verständliche Einführung in die Gebiete Formale Sprachen und Automatentheorie für das Informatik-Grundstudium an Fachhochschulen und Universitäten. Die behandelten Themen Formale Sprachen, Grammatikformalismen, endliche Automaten, Kellerautomaten und Turingmaschinen bilden die zentralen Grundlagen für das Verständnis wichtiger Informatikkonzepte wie die Spezifikation von Programmiersprachen, das Übersetzen von Programmen oder die Verarbeitung natürlicher Sprache, d.h. für die Formalisierung und algorithmische Behandlung von Problemen, die durch den Computer gelöst werden. Ein neuer Abschnitt ist der aktuellen Technologie XML gewidmet und gibt insbesondere einen ersten Einblick in XML-Schemata, dem neuen Spezifikationsstandard für XML-Dokumente.
Download or read book Theoretische Informatik written by Ingo Wegener and published by Springer-Verlag. This book was released on 2013-04-17 with total page 248 pages. Available in PDF, EPUB and Kindle. Book excerpt: Die Theoretische Informatik ist älter als die Praktische, Angewandte oder Techni sche Informatik. Daher ist sie als wissenschaftliche Disziplin bereits weiter ausgebaut als andere Bereiche der Informatik, und ihre Ergebnisse sind schwerer zugänglich, da sie auf ein größeres und tieferes Fundament aufbauen. Stark verästelte Theorien tendieren dazu, sich als Selbstzweck aufzufassen und als l'art pour l'art betrieben zu werden. In der vorliegenden Einführung in die Theoretische Informatik begegnen wir dieser Gefahr, indem wir die Orientierung moderner Theorien an den Anwendun gen in den Mittelpunkt stellen. Schon Novalis (1772~ 1801) hat darauf hingewiesen, daß die Theorie häufig den Anwendungen vorauseilt: "Wenn die Theorie auf die Erfahrung warten sollte, so käme sie nie zustande. " Nicht immer sind die Anwendungen von Ergebnissen der Theoretischen Informatik so direkt zu sehen wie die Anwendungen anderer Zweige der Informatik. Dies gilt insbesondere für negative Resultate. Dabei sind deren Konsequenzen klar. Wenn wir beweisen, daß es bestimmte für die Praxis wünschenswerte Werkzeuge oder Algorithmen nicht geben kann, muß die unsinnige, weil hoffnungslose Arbeit an diesen Werkzeugen oder Algorithmen eingestellt und statt dessen die Suche nach bestmöglichen Auswegen begonnen werden. Andererseits sind positive Resultate nicht automatisch anwendungsorientiert. Exi stenzaussagen oder Algorithmen mit exponentieller oder noch größerer Laufzeit sind häufig praktisch wertlos. Das Neue an der vorliegenden Einführung in die Theore tische Informatik ist die konsequent algorithmenorientierte Sichtweise (zum didak tischen Hintergrund siehe Wegener (1992)). Stets wurde bei positiven Resultaten eine Umsetzung in praktisch und theoretisch effiziente Algorithmen angestrebt.
Download or read book Einf hrung in die Theoretische Informatik written by Klaus W. Wagner and published by Springer. This book was released on 1994-09-23 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Die vorliegende Einfuhrung in die Theoretische Informatik folgt einem Konzept, das sich mit den neun von mir zu diesem Gegenstand an den Uni versitiiten Jena, Augsburg und Wiirzburg gehaltenen Vorlesungen entwickelt hat. Der Stoff dieses Buches ist so ausgewiihlt, daB er die innerhalb eines Grundstudiums der Informatik notwendigen theoretischen Grundlagen um faBt. Bei etwa 20%iger Kurzung entspricht er dem Umfang einer einsemestri gen vierstundigen Vorlesung. Durch die vielen Beispiele und Ubungsaufgaben eignet sich das Buch auch zum Selbststudium. Dieses Lehrbuch hatte nicht ohne die vielfiiltige Hilfe von Kollegen, Mit arbeitern und Studenten entstehen k6nnen. Zu besonderem Dank bin ich Dr. Ulrich Hertrampf und Dr. Heribert Vollmer verpfiichtet, die mehrere Imple mentierungen dieses Konzeptes kritisch begleitet, verschiedene Versionen des Manuskripts kommentiert, mich bei der Definition von PASCALLI wesentlich unterstutzt und mich uberhaupt erst ermuntert haben, mein Vorlesungsma nuskript zu einem Lehrbuch umzuarbeiten. Frau Dipl.-Inf. Diana RooB ver danke ich viele interessante Diskussionen zu diesem Buch und die sch6nen Abbildungen. Frau Dipl.-Inf. Gundula Niemann hat mit einer sehr sorgfiilti gen Durchsicht der letzten Version noch eine ganze Reihe von Verbesserungen erm6glicht. Frau cando info Katja Jucht und Herr Dipl.-Inf. Herbert Baier Saip haben wertvolle technische Hilfe geleistet. SchlieBlich m6chte ich Herrn Dr. Hans W6ssner vom Springer-Verlag fur die sehr konstruktive Zusammen arbeit danken.
Download or read book Grundkurs Theoretische Informatik written by and published by Springer Science & Business Media. This book was released on 2011 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Theoretische Informatik written by Alexander Asteroth and published by . This book was released on 2002 with total page 424 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Theoretische Informatik written by Norbert Blum and published by . This book was released on 1998 with total page 343 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Einf hrung in die theoretische Informatik written by and published by . This book was released on 1991 with total page 52 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Theoretische Informatik written by Klaus W. Wagner and published by Springer-Verlag. This book was released on 2013-03-11 with total page 236 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Einf hrung in die Technische und Theoretische Informatik written by and published by . This book was released on 2018 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Grundkurs Theoretische Informatik written by Gottfried Vossen and published by . This book was released on 2004 with total page 405 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Einf hrung in die Theoretische Informatik written by Wolfgang Schlageter and published by GRIN Verlag. This book was released on 2013-02-08 with total page 125 pages. Available in PDF, EPUB and Kindle. Book excerpt: Fachbuch aus dem Jahr 2002 im Fachbereich Informatik - Theoretische Informatik, , Sprache: Deutsch, Abstract: Die Theorie einer Wissenschaft beschreibt und erklärt die allgemeinen Strukturen, die dieser zugrunde liegen und die die jeweiligen konkreten Anwendungen logisch rechtfertigen. Für die Informatik nennen die grundlegenden Standardwerke (siehe Literaturhinweise) hierzu im Wesentlichen die Formalen Sprachen, die Automatentheorie, sowie hierauf aufbauend die Entscheidungs- und Komplexitätstheorie. Ziel der vorliegenden Abhandlung ist es, eine Einführung in die schwierige und komplexe Thematik zu geben. Dabei werden hauptsächlich folgende Ziele angestrebt. 1. Den Leser mit den wesentlichen Denk- und Schlussweisen, so wie sie in der Theoretischen Informatik üblich sind vertraut zu machen. 2. Die wichtigsten Ergebnisse der Entscheidungs- und Komplexitätstheorie zu vermitteln. Hierdurch sollte der Leser dann im Stande sein, sowohl die allgemeinen Ergebnisse der Informatik als auch sein eigenes Tun kritisch zu reflektieren. Darüber hinaus aber auch in der Lage sein, sich die weiterführende Literatur selbständig anzueignen. Im einzelnen haben wir hierzu folgenden Weg gewählt: Nach einer kurzen allgemeinen Betrachtung über Theorie und Praxis wurden die wichtigsten Grundlagen aus der Logik, Mengenlehre und Algebra zusammengestellt. Diese sind, zumindest vom Inhalt her aus der Schule bekannt, so dass sich hier eine erste Möglichkeit bietet, mit der unter erstens angesprochenen Schlussweise vertraut zu werden. Um den Zusammenhang zur Thematik nicht all zu sehr aus den Augen zu verlieren, bietet sich im weiteren der konkrete Bezug zur Boole`schen Algebra und dann als Anwendung die Schaltalgebra an. Für das zweite genannte Ziel haben wir uns exemplarisch auf den Algorithmusbegriff beschränkt. Einerseits wird hiermit auch der "reine" Praktiker täglich konfrontiert, andererseits glauben wir, dass das genannte Ziel hierdurch am "anschaulichsten" vermittelt werden kann. Wer darüber hinaus an Detailfragen interressiert ist, wird auf die weiterführende Literatur verwiesen.
Download or read book Einf hrung in die theoretische Informatik written by and published by . This book was released on 1997 with total page 43 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Informatik written by Manfred Broy and published by Springer-Verlag. This book was released on 2013-03-07 with total page 404 pages. Available in PDF, EPUB and Kindle. Book excerpt: Diese in der Neuauflage zweibändige Einführung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Die Darstellung zeichnet sich durch saubere formale Fundierung und begriffliche Klarheit aus. Der vorliegende Band 2 faßt die in der 1. Auflage getrennt erschienenen Teile III und IV zusammen. Teil III behandelt Grundbegriffe und Beschreibungstechniken für verteilte informationsverarbeitende Systeme sowie systemnahe Programmierung und Betriebssysteme. Teil IV geht auf die wesentlichen Inhalte der Theoretischen Informatik ein bis hin zur Objektorientierung und stellt mit einem abschließenden Ausblick auf Anwendungen der Informatik den Bezug zu aktuellen Fragen her.
Download or read book Theoretische Informatik written by Katrin Erk and published by Springer-Verlag. This book was released on 2013-03-14 with total page 428 pages. Available in PDF, EPUB and Kindle. Book excerpt: Diese Einführung in die Theoretische Informatik zeichnet sich durch Verständlichkeit und gute Lesbarkeit aus. Sie umfaßt die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Überblick über die Komplexitätstheorie. Das Buch eignet sich insbesondere für Anfänger: Alle Beweise sind im Detail ausgeführt - insofern ist es auch eine Einführung in die Technik des Beweisens. Für Dozenten ist das Buch ebenfalls interessant, da die Beweise nicht nur wie vielfach üblich skizziert sind und auch Nicht-Standard-Berechnungsmodelle vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn Jahre für Studierende der Informatik im Grundstudium an den Universitäten Paderborn und Koblenz.
