Benutzer:IInterspecies/Bücher/Theoretische Informatik
Zur Navigation springen
Zur Suche springen
|
Dies ist ein gespeichertes „Wikipedia-Buch“ | [ Bücherregal ] |
Theoretische Informatik
[Bearbeiten | Quelltext bearbeiten]- Theoretische Informatik
- Abstiegsfunktion
- Account-Methode
- Additionskette
- Aggregat-Methode
- Akkumulatorrechner
- Alloy Analyzer
- Amdahlsches Gesetz
- Amortisierte Laufzeitanalyse
- Approximation
- Atomar
- Attributsgewichtung
- Axiomatische Semantik
- Ban (Einheit)
- BCH-Code
- Bit
- Bootstrapping (Informatik)
- Buddy-Speicherverwaltung
- Cantorsche Paarungsfunktion
- Chaitinsche Konstante
- Church-Rosser-Theorem
- Code
- Communicating Sequential Processes
- Cross Interleaved Reed-Solomon-Code
- Currying
- Datenabhängigkeit
- Datenmenge
- Denotationelle Semantik
- Diamond Lemma
- Effizienz (Informatik)
- Ehrenfeucht-Fraïssé-Spiele
- Endrekursion
- Entität (Informatik)
- Entscheidbar
- Entscheidungstabelle
- Erreichbarkeitsgraph
- Erzeugungssystem
- Faltungscode
- Formale Methode
- Formale Semantik
- Funktion höherer Ordnung
- Gödel, Escher, Bach
- Gustafsons Gesetz
- Happened-Before
- Infiniter Regress
- Informatische Modellierung
- Instanz (Informatik)
- Josephus-Problem
- Kachelproblem
- Stephen Cole Kleene
- Kolmogorow-Komplexität
- Konkatenation (Mengen)
- Konstruktive Mathematik
- Korrekt gestelltes Problem
- Korrektheit (Informatik)
- Kurzschlussauswertung
- Lebendigkeit
- Lexikographische Ordnung
- Logische Uhr
- Luhn-Algorithmus
- Markow-Algorithmus
- Markow-Entscheidungsproblem
- Maschinensemantik
- Maschinenzahl
- Mathematische Maschine
- Mautproblem
- Model Checking
- Moore-Nachbarschaft
- Nachbedingung (Informatik)
- Nichtdeterminismus
- Operationelle Semantik
- Parallel Random Access Machine
- Partielle Funktion
- Petri-Netz
- Post-Kalkül
- Potenzialfunktionmethode
- Produktionssystem (Informatik)
- Prozesskalkül
- Prüfsumme
- Pruning
- Quine (Computerprogramm)
- Rangfunktion (Informatik)
- Reduktionssystem
- Regulärer Ausdruck
- Relationale Algebra
- Relief-Algorithmus
- Schlüssel (Informatik)
- Schnittregel
- Standardnummerierung
- Strukturelle Induktion
- Suchproblem
- Symbolsequenz
- Syntaxdiagramm
- Termersetzungssystem
- Time-Memory Tradeoff
- Tupel (Informatik)
- Turtle-Grafik
- Union-Find-Struktur
- Universalrechner
- Vektoruhr
- Verfeinerung
- Verifizierung
- Von-Neumann-Nachbarschaft
- Vorbedingung (Informatik)
- Zahlenfunktion
- Zufallszahlengenerator