Benutzer:H.Schwalm/Bücher/Informatik
aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 7. Juli 2010 um 09:40 Uhr durch imported>H.Schwalm(820223) (AZ: Die Seite wurde neu angelegt: {{Gespeichertes Buch}} == Theoretische Informatik == ;Theoretische Informatik :Berechenbarkeit :[[Bi…).
|
Dies ist ein gespeichertes „Wikipedia-Buch“ | [ Bücherregal ] |
Theoretische Informatik
- Theoretische Informatik
- Berechenbarkeit
- Bit
- Boolesche Algebra
- Boolesche Funktion
- Entscheidbar
- Formale Semantik
- Gödelscher Unvollständigkeitssatz
- Informationsgehalt
- Informationstheorie
- Kodierungstheorie
- Logik
- Halteproblem
- Lambda-Kalkül
- Μ-Rekursion
- Türme von Hanoi
- Komplexitätsklasse
- NP-Vollständigkeit
- Landau-Symbole
- P-NP-Problem
- Polynomialzeit
- Zeitkomplexität
- Backus-Naur-Form
- Chomsky-Hierarchie
- Formale Grammatik
- Pumping-Lemma
- Regulärer Ausdruck
- Reguläre Sprache
- Turingmaschine
- Erfüllbarkeitsproblem der Aussagenlogik
- Erfüllbarkeitsproblem für quantifizierte boolesche Formeln
- Kontextsensitive Sprache
- Vollständigkeit (Komplexitätstheorie)
- Substitutionsmethode
- Formale Sprache
- Ableitung (Informatik)
- Alphabet (Informatik)
- Akzeptieren (Automaten- und Komplexitätstheorie)
- Abstrakter Syntaxbaum
- Chomsky-Normalform
- Deterministisch kontextfreie Sprache
- Formale Logik
- Kellerautomat
- Kontextfreie Grammatik
- Kontextfreie Sprache
- Kontextsensitive Grammatik
- Leeres Wort
- Monoid
- Nerode-Relation
- Nichtdeterministische Turingmaschine
- Nichtterminalsymbol
- Palindrom
- Reguläre Grammatik
- Satz von Myhill-Nerode
- Terminalsymbol
- Fourier-Transformation
- Compiler
- Parser
- Programmierparadigma
- Rekursion
- Vererbung (Programmierung)
- Antialiasing (Computergrafik)
- Bildverarbeitung
- Scalable Vector Graphics
- Arithmetisch-logische Einheit
- Bus (Datenverarbeitung)
- Cache
- Hauptprozessor
- Flipflop
- Integrierter Schaltkreis
- Maschinensprache
- Mikroprozessor
- MIPS-Architektur
- Multiplexer
- Pipeline (Prozessor)
- Register (Computer)
- Reduced Instruction Set Computer
- Von-Neumann-Architektur
- Digitaltechnik
- Addierwerk
- Adressbereich (Elektronik)
- Asynchroner Schaltkreis
- Asynchronzähler
- Boolesche Variable
- Boolescher Operator
- Carry-Ripple-Addierer
- Dekodierer
- Demultiplexer
- Don't-Care
- Flankensteilheit
- Gatterlaufzeit
- Glitch (Elektronik)
- Logikgatter
- Mikrocontroller
- Multiplizierer (Digitaltechnik)
- NAND-Gatter
- Logikpegel
- Nicht-Gatter
- NOR-Gatter
- Oder-Gatter
- XOR-Gatter
- XNOR-Gatter
- Wahrheitstabelle
- Tri-State
- Taktsignal
- Schaltalgebra
- Liste von Abkürzungen (Computer)
