About the Book
Dieser Inhalt ist eine Zusammensetzung von Artikeln aus der frei verfugbaren Wikipedia-Enzyklopadie. Seiten: 98. Nicht dargestellt. Kapitel: Regularer Ausdruck, Code, Bit, Kolmogorow-Komplexitat, Endrekursion, Schlussel, Godel, Escher, Bach, Datenabhangigkeit, Relationale Algebra, Petri-Netz, Zufallszahlengenerator, Cantorsche Paarungsfunktion, Reduktionssystem, Verifizierung, Faltungscode, Termersetzungssystem, Konstruktive Mathematik, Entscheidbar, Quine, Luhn-Algorithmus, Entscheidungstabelle, Datenmenge, Denotationelle Semantik, Nichtdeterminismus, Lexikographische Ordnung, Account-Methode, Ehrenfeucht-Fraisse-Spiele, Formale Semantik, Model Checking, Relief-Algorithmus, Josephus-Problem, Markow-Algorithmus, BCH-Code, Approximation, Entitat, Union-Find-Struktur, Strukturelle Induktion, Parallel Random Access Machine, Logische Uhr, Tseitin-Transformation, Amdahlsches Gesetz, Post-Kalkul, Stephen Cole Kleene, Effizienz, Ban, Alloy Analyzer, Erreichbarkeitsgraph, Vektoruhr, Church-Rosser-Theorem, Prufsumme, Partielle Funktion, Gustafsons Gesetz, Abstiegsfunktion, Korrekt gestelltes Problem, Communicating Sequential Processes, Kachelproblem, Turtle-Grafik, Aggregat-Methode, Infiniter Regress, Time-Memory Tradeoff, Korrektheit, Operationelle Semantik, Funktion hoherer Ordnung, Chaitinsche Konstante, Currying, Verfeinerung, Additionskette, Maschinensemantik, Pruning, Attributsgewichtung, Buddy-Speicherverwaltung, Atomar, Maschinenzahl, Symbolsequenz, Instanz, Happened-Before, Mautproblem, Markow-Entscheidungsproblem, Potentialfunktionmethode, Erzeugungssystem, Amortisierte Laufzeitanalyse, Standardnummerierung, Suchproblem, Syntaxdiagramm, Bootstrapping, Tupel, Schnittregel, Zahlenfunktion, Nachbedingung, Konkatenation, Axiomatische Semantik, Formale Methode, Kurzschlussauswertung, Rangfunktion, Vorbedingung, Lebendigkeit, Prozesskalkul, Akkumulatorrechner, Produktionssystem, Diamond Lemma, Informatische Modellierung, Moore-Nachbarschaft, Von-Neumann-Nachbarschaft...
