Theoretische Informatik
Par :Formats :
Disponible dans votre compte client Decitre ou Furet du Nord dès validation de votre commande. Le format PDF est :
- Compatible avec une lecture sur My Vivlio (smartphone, tablette, ordinateur)
- Compatible avec une lecture sur liseuses Vivlio
- Pour les liseuses autres que Vivlio, vous devez utiliser le logiciel Adobe Digital Edition. Non compatible avec la lecture sur les liseuses Kindle, Remarkable et Sony
, qui est-ce ?Notre partenaire de plateforme de lecture numérique où vous retrouverez l'ensemble de vos ebooks gratuitement
Pour en savoir plus sur nos ebooks, consultez notre aide en ligne ici
C'est si simple ! Lisez votre ebook avec l'app Vivlio sur votre tablette, mobile ou ordinateur :
- Nombre de pages262
- FormatPDF
- ISBN978-3-6957-8520-9
- EAN9783695785209
- Date de parution21/01/2026
- Protection num.Digital Watermarking
- Taille2 Mo
- Infos supplémentairespdf
- ÉditeurBoD - Books on Demand
Résumé
Theoretische Informatik - klar, kompakt und praxisnah. Die theoretische Informatik beschäftigt sich mit den fundamentalen Fragen der Berechenbarkeit und der Struktur von Sprachen. Sie untersucht, welche Probleme algorithmisch lösbar sind, welche Modelle dafür benötigt werden und welche Grenzen der Berechnung existieren. Dieses Buch führt Sie Schritt für Schritt in die Grundlagen formaler Sprachen, der Berechenbarkeit und der Automatentheorie ein.
Sie lernen die wichtigsten Modelle kennen - von endlichen Automaten über Kellerautomaten und kontextfreie Grammatiken bis hin zur Turingmaschine. Dabei verstehen Sie nicht nur die formalen Konstruktionen, sondern auch die Beweistechniken, mit denen man Eigenschaften von Sprachen nachweist, und erkennen die Grenzen des Berechenbaren. Komplexe Konzepte wie das Pumping-Lemma, der Satz von Myhill-Nerode, Diagonalisierung oder der Satz von Rice werden klar und anschaulich erklärt.
Zahlreiche Grafiken, Beispiele und Übungsaufgaben mit Musterlösungen veranschaulichen die Theorie und sichern den Lernerfolg. Die Kapitel sind modular aufgebaut und didaktisch durchdacht, sodass Sie gezielt auswählen oder Schritt für Schritt lernen können. Beweise werden vollständig dargestellt, während Intuition und praktische Bedeutung betont werden. So erhalten Sie eine fundierte, gut lesbare Einführung in eines der zentralen Gebiete der Informatik - ideal für Studierende, Lehrende und alle, die theoretische Informatik nicht nur verstehen, sondern auch anwenden möchten.
Sie lernen die wichtigsten Modelle kennen - von endlichen Automaten über Kellerautomaten und kontextfreie Grammatiken bis hin zur Turingmaschine. Dabei verstehen Sie nicht nur die formalen Konstruktionen, sondern auch die Beweistechniken, mit denen man Eigenschaften von Sprachen nachweist, und erkennen die Grenzen des Berechenbaren. Komplexe Konzepte wie das Pumping-Lemma, der Satz von Myhill-Nerode, Diagonalisierung oder der Satz von Rice werden klar und anschaulich erklärt.
Zahlreiche Grafiken, Beispiele und Übungsaufgaben mit Musterlösungen veranschaulichen die Theorie und sichern den Lernerfolg. Die Kapitel sind modular aufgebaut und didaktisch durchdacht, sodass Sie gezielt auswählen oder Schritt für Schritt lernen können. Beweise werden vollständig dargestellt, während Intuition und praktische Bedeutung betont werden. So erhalten Sie eine fundierte, gut lesbare Einführung in eines der zentralen Gebiete der Informatik - ideal für Studierende, Lehrende und alle, die theoretische Informatik nicht nur verstehen, sondern auch anwenden möchten.
