By Germanien | Startseite | Impressum | Sitemap | Webtips

Kategorie:Theoretische Informatik

www.infos-aus-germanien.info

Einordnung: Informatik | Diskrete Mathematik

Artikel über Theoretische Informatik

Artikel in der Kategorie "Theoretische Informatik"

Dieser Kategorie gehören 134 Artikel an.

3 3-SAT 3COLOR A AVL-Baum Ableitung (Informatik) Account-Methode Ackermannfunktion Aggregat-Methode Algorithmische Informationstheorie Algorithmus Algorithmus von Gilmore Alphabet (Informatik) Ameise (Turingmaschine) Amortisierte Laufzeitanalyse Approximationsalgorithmus Äquivalenzproblem Automat (Informatik) Automatentheorie B Backtracking Backus-Naur-Form Bankieralgorithmus Berechenbarkeit Berechenbarkeitstheorie Beweistheorie Bin-Packing-Problem Bit C Cantorsche Paarungsfunktion Chaitinsche Konstante Chomsky-Hierarchie Chomsky-Normalform Church-Turing-These Cocke-Younger-Kasami-Algorithmus Currying D Denotationale Semantik Determinismus (Algorithmus) Deterministischer endlicher Automat E Endlicher Automat Endlichkeitsproblem Entscheidungsproblem Erfüllbarkeitsproblem der Aussagenlogik Erweiterte Backus-Naur-Form F Formale Grammatik Formale Semantik Formale Sprache G Goto-Programm

G Gregory Chaitin Greibach-Normalform Gödelnummer Gödelscher Unvollständigkeitssatz Gödelscher Vollständigkeitssatz H Halteproblem I Information Informationstheorie Informatische Modellierung Inhärent mehrdeutige Sprache K Kellerautomat Stephen Cole Kleene Kleenesche Hülle Komplexität (Informatik) Komplexitätsklasse Komplexitätstheorie Korrektheit (Informatik) L LOOP-Programm Lambda-Kalkül Landau-Symbole Lebendigkeit Leeres Wort Leerheitsproblem Linear beschränkte Turingmaschine Linksableitung Logische Funktion M Mathematische Maschine Mealy-Automat Mehrdeutige Grammatik Model Checking Monoid Moore-Automat N NP (Komplexitätsklasse) NP-Schwere NP-Vollständigkeit Nachbedingung (Informatik) Nichtdeterministischer endlicher Automat Normalform Nummerierung O Operationale Semantik Optimierungsproblem P P/NP-Problem PARTITION Partielle Funktion Petri-Netz

P Philosophenproblem Platzkomplexität Polynomialzeit Polynomialzeitreduktion Potentialfunktion-Methode Potenzautomat Potenzmengenkonstruktion Primitiv-rekursive Funktion Problem des Handlungsreisenden Programmäquivalenz Prädikatenlogik Pumping-Lemma Q Quellen zur Informationstheorie R Rechtsableitung Reduktion (Theoretische Informatik) Redundanz (Information) Regulärer Ausdruck Rekursion Rekursiv aufzählbare Sprache Rekursive Sprache Routing-Problem Rucksackproblem S Satz von Cook Satz von Myhill-Nerode String-Matching-Algorithmus Strukturelle Induktion Symbolsequenz Syntaxbaum T Terminiertheit Theoretische Informatik Totale Funktion Transitionsrelation Transitionssystem Turingmaschine U Unentscheidbarkeit V Verfeinerung Vorbedingung (Informatik) W WHILE-Programm Wertemenge Wortfunktion Wortproblem Z Zahlenfunktion Zeichenkettenalgorithmus Zeitkomplexität μ Μ-Rekursion

| Helfer |