Search
Ctrl
+
K
Search
Ctrl
+
K
05 Extras
Digital Garden Homepage
07 Spaces
Life
2 Areas
take notes
Studium Workflow – SoSe 2026
work & education
2 Areas
Informatik Bachelor
25-26 WiSe
Berechenbarkeit und Komplexität
Definitionen
Ackermannfunktion
Akzeptieren & Sprache T(M)
Allgemeines Halteproblem (H)
Berechenbarkeitsbegriff
Busy Beaver
Church'sche These
CNF-SAT
Deterministische Turing-Maschine
Deterministischer Endlicher Automat
Diagonalisierungsbeweis (LOOP)
entscheidbar
Erweiterte Überführungsfunktion
Folgekonfiguration (⊢M1)
Halten vs. Akzeptieren
Halteproblem auf leerem Band (H0)
Klasse NP (Guess and Check)
Klasse NP
Klasse P
Konfiguration
LOOP-Berechenbarkeit
Maximale Summe
MPCP
Nichtdeterministische Turingmaschine (NTM)
NP-schwer
NTIME (Komplexitätsklasse)
O-Notation (Landau-Symbole)
Pairing-Funktion
Partielle Rekursion
PCP
Polynomzeitreduktion
Primitive Rekursion
Reduzierbarkeit (Turing)
Registermaschine (RAM)
rekursiv aufzählbar
SAT (Erfüllbarkeitsproblem)
Satz von Cook und Levin
Satz von Rice
semi-entscheidbar
Speicherüberführungsfunktion
Spezielles Halteproblem (K)
Startkonfiguration TM
Totale Funktion
Turing-Berechenbarkeit
Unbenannt
Universelle Turing-Maschine
Unäres PCP
WHILE-Berechenbarkeit
WHILE-LOOP-GOTO-Berechenbarkeit
Zeithierarchiesatz (Deterministisch)
Zeitkomplexitätsklasse DTIME
Zeitkomplexitätsklasse NTIME
Zeitkonstruierbare Funktion
Überführungsfunktion DTM
Berechenbarkeit und Komplexität
Logik
Definitionen
3-COL
Ableitungsbaum (Logik)
Algorithmische Probleme der Logik
Alphabet der Aussagenlogik
Argument
Aussagenvariablen
Auswertungsproblem (Prädikatenlogik)
Auswertungsspiel (Prädikatenlogik)
Bereinigte Formel
Definierbarkeit (Logik)
Definitionen_Glossary
Definitionen_Index
Determiniertheit
Disjunktive Normalform
Distributivität
DPLL
Ehrenfeucht-Fraïssé-Spiel
Elementare Äquivalenz
Elemente einer Logik
Elimination von Variablen
Entscheidungsproblem (Prädikatenlogik)
Erfüllbarkeit, Unerfüllbarkeit und Allgemeingültigkeit
Erfüllbarkeit
Ersetzungslemma
Exklusives Oder
EXP
Expansion
Folgerung
Formel (Prädikatenlogik)
Freie und gebundene Variablen
Generierte Substruktur
Gewinnstrategie
Große Disjunktion und Konjunktion
Herleitbarkeit (Sequenzenkalkül)
Hintikka-Formel
Homomorphieproblem
Homomorphismus (Logik)
Induktive Definition der Aussagenlogik
Induktive Menge
Interpretation (Prädikatenlogik)
Isomorphieinvarianz
Isomorphismus (Logik)
Klausel
Klauselmenge
Koinzidenzlemma
Kompaktheit
Kompaktheitssatz (Prädikatenlogik)
Komplexität einer Sequenz
Komplexitätsklasse
Konjunktive Normalform
Konsistenz (Logik)
Korrektheit des Resolutionskalküls
Literal
m-Äquivalenz
Modell
Modellbeziehung (Prädikatenlogik)
Morgansche Regel
Negationsnormalform (Prädikatenlogik)
Negationsnormalform
Nicht-definierbare Eigenschaften
NP-Vollständig
NP
Ordnungsrelation
Partieller Isomorphismus
Positionale Strategie
Prädikatenlogik (Idee)
Präferenzregeln
Pränexnormalform
PTIME
Quantorenrang
Redukt
Relation (Mathematik)
Resolutionsableitung
Resolutionsschritt
Resolutionswiderlegung
Resolvente
SAT-Problem
Satz von Cook
Satz von Ehrenfeucht
Sequenz (Logik)
Sequenzenkalkül (Aussagenlogik)
Sequenzenkalkül (Prädikatenlogik)
Signatur (Logik)
Spiel (Logik)
Struktur (Logik)
Substitution (Prädikatenlogik)
Substitution
Substitutionslemma (Prädikatenlogik)
Substitutionslemma
Substruktur
Syntaxbaum
Tau-abgeschlossene Menge
Tautologie
Term (Prädikatenlogik)
tertium non datur
Unterformeln
Variablen für 3-Färbbarkeit
Variablen für Sudoku
Vertex Cover (Logik)
Vollständigkeit des Resolutionskalküls
Wahrheitsbelegung
Wahrheitswertfunktion
Wohl-fundiertes Spiel
Wortproblem endlicher Automaten
Äquivalenz
Äquivalenzrelation
Logik
Rechnernetze und verteilte Systeme
Definitionen
accept()
Access Network (Zugangsnetzwerk) bei Mobilfunktnetzen
Access Network
Active Queue Management (AQM)
Ad Hoc
AIMD (Additive Increase Multiplicative Decrease)
Anycast
Application Layer
ARP
Asynchronous Interaction
Bandwidth-Delay Product
Bellman-Ford-Algorithmus
Berkeley Algorithm
Best Effort Service
BGP
bind()
Bottleneck
Broadcast
Bus
Caching im Web
CDN
Chord
Churn
CIDR
circuit switching
Client-Server-Modell
Client-Server-Paradigma
Client-Server-Varianten
Clock Drift
close()
Communication Links
Congestion Control
Congestion Window (cwnd)
connect()
Connection Migration
Consistent Hashing
Conventional Procedure Call
Cookies
Coordinated Universal Time
Core Network (Kernnetzwerk) bei Mobilfunktnetzen
Core Network
Count-to-Infinity-Problem
Cristian's Algorithm
Cut-through Packet Switching
Datagram Packet Switching
DHCP State Machine
Dijkstra-Algorithmus (Routing)
Distributed Hash Table
DNS-based Redirection
DNS
Effizienz (η)
Email
Encapsulation
end systems
End-to-End Kommunikation
EUI-64 Verfahren
Fast Retransmit & Fast Recovery
Finger Table
Flow Control
Forward Cache
Forwarding
Full-Duplex
getaddrinfo()
Half-Duplex
Happens-Before Relation
Hard State
Header Compression
HTML
HTTP Request
HTTP Response
HTTP
ICMP
Idempotente Aktionen
International Atomic Time
Internet Service Provider
Internet-Referenzmodell
IPv4 vs. IPv6 Header
IPv4-Adresse
Jitter & Buffering
Lamport Clock
listen()
Logische Topologie
Long Fat Networks (LFNs)
Longest Prefix Match
MAC-Adresse
Max-Min Fairness
Mesh
Message Receipt vs. Message Delivery
message switching
Mobilfunknetzwerk
MTU
Multicast
Name–Adresse–Port
Narrow Interface
NAT
Network Time Protocol
OSI-Referenzmodell
Packet Switching
Packet
Paket Switches
Physical Clock
Physische Topologie
Port
Propagationsverzögerung
Protocol Stack Overview
Protokoll (horizontal)
Protokoll
QUIC
Real-Time Protocol (RTP)
Real-Time Transport Protocol (RTP)
recv()
REST
Reverse Cache
Ring
Round-Trip Time
Route
Routing
RPC
RTCP (Real-time Transport Control Protocol)
RTP Header
Schichtenmodell
Secure Sockets Layer (SSL)
send()
Service (vertikal)
set- or getsockopt()
Silly Window Syndrome
Simple Object Access Protocol
Simplex
Sliding Window Protocol
Sliding Window
Slow Start
SMTP
Socket
Soft State
statistisches Multiplexing
Stern
Stop-and-Wait
store-and-forward
Streams (QUIC)
Synchronous Interaction
TCP Header
TCP Optionen
TCP Überlast-Algorithmen (Tahoe - Reno)
TCP-Drei-Wege-Handshake
TCP-Header-Struktur
TCP-Timer-Management
Three-Way-Handshake
Transaktions-Identifier
Transmission Control Protocol (TCP)
Transmission Rate
Transport Layer Security (TLS)
Transport Layer Services
TSAP (Transport Service Access Point)
UDDI
UDP Header
UDP-Header (Überblick)
Unicast
Unified Status Codes
URL
User Datagram Protocol (UDP)
Verteilte Systeme (Bal – Colouris)
Verteilte Systeme (Tanenbaum)
Virtual Circuit Packet Switching
Web Service Description Language
Web Service
WebSockets
wired connection
wireless connection
Wireless Sensor Networks
WWW
X.509
Zustand
Übertragungszeit
Rechnernetze und Verteilte Systeme
Rechnerorganisation
Definitionen
1-aus-n-Decoder
ALU-Erweiterung (slt & beq)
ALU-Steuersignal
Amdahls Gesetz
Antwortzeit vs. Durchsatz
Arithmetic Logic Unit
Average Memory Access Time (AMAT)
Binärsystem
Bit
Boolesche Funktion
Branch Delay Slot
Branch Target Buffer (BTB)
Byte
Cache-Adressierung
Cache-Metriken
Cache
Carry-Generate
Carry-Lookahead-Addierer
Carry-Propagate
CPU-Leistungsgleichung
CPU-Zeit
Cycles per Instruction (CPI)
D-Flip-Flop
D-Latch
Datenkonflikt (Data Hazard)
Datenpfad (Datapath)
Datentransfer-Befehle
DIrekt abgebildeter Cache
Don't-Care-Bedingung
DRAM
Dynamische Sprungvorhersage
Einer-Komplement
Endianness
Exponent Bias
Exponent
Forwarding (Bypassing)
Geometrisches Mittel (Performance)
Gleitkommazahl
Hexadezimalsystem
IEEE 754 Standard
Interleaved Memory
Karnaugh-Veitch-Diagramm
Kritischer Pfad (Critical Path)
Least Recently Used (LRU)
Least Significant Bit
Logikminimierung
Logische MIPS-Befehle
Lokalitätsprinzip
Mantisse
MIPS (Metrik)
MIPS-Adressierungsarten
MIPS-Arithmetikbefehle
MIPS-Befehlsformate
MIPS-Register
MIPS-Registerkonventionen
MIPS-Speicheradressierung & Alignment
MIPS-Stack
MIPS-Steuersignale
Most Significant Bit
Multilevel Cache
Multiplexer
Negation im Zweierkomplement
Normalisierung
Not a Number
Oktalsystem
PC-relative Adressierung
Pipeline Stall (Bubble)
Pipeline-Konflikt (Hazard)
Pipelining
Prozedurbefehle (jal, jr)
Pseudo-direkte Adressierung
Register
Ripple-Carry-Addierer
Satz-assoziativer Cache
Schaltnetz vs. Schaltwerk
SPEC (Benchmark)
Speicherhierarchie
Speicherstillstands-Zyklen
SR-Latch
SRAM
Steuerkonflikt (Control Hazard)
Steuerwerk (Control Unit)
Superskalar
Valid-Bit
Voll-assoziativer Cache
Vorzeichen-Betrags-Darstellung
Vorzeichenerweiterung
Write-Back
Write-Through
Zahlenbasis
Zweier-Komplement
Zweierkomplement-Subtraktion
Überlauf
Softwaretechnik und Programmierparadigmen
Definitionen
(Alle) Primzahlen in Haskell
Aggregation (UML)
Agile Softwareentwicklung
Aktivitätsdiagramm
allInstances()
Anfragen in Prolog
Anonyme Funktionen
Anwendungsfalldiagramm (Use Case Diagram)
Architekturstil
Assoziation (UML)
Aufzählungstyp in Haskell
Basisblock
Bedingungsüberdeckung (C2, MC DC)
Builder (Pattern)
Bäume in Haskell
Client-Server
Closure (OCL)
Closures mit Let
Code Smells
collect (OCL)
Command (Pattern)
Composite (Pattern)
Currying
Datentypen in Haskell
Definition of Done
Dekonstruktion in Haskell
Design by Contract (OCL)
Design Pattern (Entwurfsmuster)
Dokumentation
Domänenspezifische Sprache (DSL)
Dreiwertige Logik (OCL)
Eager Evaluation
Entity-Control-Boundary (ECB)
Enum
Event-based Architecture
Executable UML (xUML)
Extend-Beziehung (UML)
Extreme Programming
Fakt in Prolog
filter
First-Class Citizens
fold
Foldable
Funktionale vs. Nicht-Funktionale Anforderungen
Funktionen mit mehreren Parametern in Haskell
Funktionen mit Parameter in Haskell
Funktionen mit verschiedenen Typen in Haskell
Funktionen mit Verzweigung in Haskell
Funktionsaufrufe in Haskell
Funktionskomposition
Funktoren in Prolog
Generalisierung (UML)
Grundlegende Listenoperationen
Grundlegende Prozessaktivitäten
Guards
Halstead-Metriken
Hoare-Axiome (Skip & Zuweisung)
Hoare-Inferenzregeln (Sequenz, If, Konsequenz)
Include-Beziehung (UML)
Inkrementelle Entwicklung
Interaktionsdiagramm
Interrupt-based Architecture
Invariante (OCL)
iterate (OCL)
Kanban (Softwareentwicklung)
Klasse extrahieren
Klassendiagramm
Komposition (UML)
Konstante Funktionen in Haskell
Kontrollflussgraph (CFG)
Kontrollflussüberdeckung (C0, C1)
Kontrollknoten
Lastenheft vs. Pflichtenheft
Layer-based Architecture
Lazy Evaluation
Lines of Code
List Comprehensions
Liste ganzer Zahlen in Haskell
Listenfunktionale
map
Maybe
Methode extrahieren
Model Driven Development (MDD)
Model-View-Controller (MVC)
Modularität
Multiplizität (UML)
Natürliche Zahlen in Haskell
Navigierbarkeit (UML)
Object Constraint Language (OCL)
Objektdiagramm
Objektorientierte Metriken
Observer (Pattern)
OCL Collection-Typen
ocllsTypeOf vs oclssKindOf
Paar-Operationen
Parametrisierte Tupel in Haskell
Partielle Applikation
Partielle vs. Totale Korrektheit
Pattern Matching auf Listen
pattern matching
Peer-to-Peer
Pipes-and-Filter Architecture
Produkttyp mit Record-Syntax in Haskell
Produkttyp standard in Haskell
Proxy (Pattern)
Push- vs. Pull-Prinzip
Ranges
Refactoring
Regel in Prolog
Regressionstest
Rekursion in Prolog
Rekursive Datenstrukturen in Haskell
Repository-based
Requirements Engineering Prozess
Resolution in Prolog
Schleifeninvariante & While-Regel
Scrum
Selektoren in Haskell
Service Oriented Architecture (SOA)
Show
Singleton (Pattern)
Software Engineering
Software-Qualität
Softwaremetriken
Spiralmodell (Boehm)
Stereotyp (UML)
Summentyp in Haskell
tail recursion
Term in Prolog
Terminierungsfunktion
Testphasen
Typinferenz in Haskell
Typklassen
UML (Unified Modeling Language)
Unendliche Listen
Unifikation
Unzip
User Story
V-Modell
Variablen in Prolog
Verhaltensdiagramm
Wasserfallmodell
WHILE-Sprache Syntax
Wächterbedingung (Guard)
Wächterbedingungen
Zip
zipWith
Zustandsdiagramm
Zyklomatische Komplexität (McCabe)
Äquivalenzklassen & Grenzwerte
Wissenschaftliches Rechnen
Definitionen
1er Komplement
2er Komplement
Abelsche Gruppe
Abgeschlossenheit
Algebraische und Geometrische Vielfachheit
Assoziativität
Attraktor
Ausgleichsproblem
Auslöschung
Bildraum
Bisektionsverfahren
Bit-Reversal Permutation
Butterfly-Operation
Charakteristisches Polynom
Cholesky-Zerlegung
Definitionen_Index
DFT-Matrix
Diagonalform
Diagonalisierbarkeit
Diskrete Fouriertransformation (DFT)
Diskretes Signal
Diskretisierung
Distributivgesetze
Dreiecksform
Eigenraum
Eigenschaften symmetrischer Matrizen
Eigenwert und Eigenvektor
Einheitswurzel
Exzess-Code
Faltungssatz
Festkommadarstellung
Gauß-Integration
Gaußsche Eliminationsmethode
Geometrische Interpretation LGS
Gewichtete Gauß-Integration
Goldener-Schnitt-Suche
Gradient
Gradientenabstieg
Gruppe
Halbgruppe
Hauptkomponentenanalyse
Hesse-Matrix
Interpolationsproblem
Inverses Element
Irrationale Zahl
Jacobi-Matrix
Kern
Kommutativität
Kondition
Konjugierte Gradienten
Konvexität
Kubischer Spline
Körper
Lagrange-Basispolynome
Lagrange-Multiplikator
Least-Squares
Lineare Regression
Lineare Zeitinvarianz (LTI)
Lineares Gleichungssystem
LR mit Pivoting
LR-Zerlegung
Maschinengenauigkeit
Matrix-Darstellung eines LGS
Natürliche Zahlen
Neutrales Element
Newton-Cotes-Formeln
Newton-Verfahren (Optimierung)
Newton-Verfahren
Normalengleichung
Nullstellenproblem
Numerische Integration
Orthogonale Polynome
Orthogonale Regression
Overflow
Pivoting
Positiv Definit
Positiv Semidefinit
Pseudoinverse
Quadratische Konvergenz
Rang-Lösungsübersicht
Rang
Rayleigh-Quotient
Reelle Zahl
Regula falsi
Ring
Runge-Phänomen
Rückwärtseinsetzen
Singulärwerte
Singulärwertzerlegung
Stellenwertsystem
Symmetrisch
Tschebyschew-Polynome
Tschebyschew-Stützstellen
Vandermonde-Matrix
Vektorraum
Von-Mises
Vorwärtseinsetzen
Vorzeichendarstellung
Zielfunktion
Zyklische Faltung
Ähnlichkeit von Matrizen
Äquivalenzklassen
26 SoSe
Diskrete Strukturen
Definitions
(intern) knoten-disjunkt
Adjazenz, Inzidenz und Nachbarschaft
Alternierender Pfad
Auswählen von Elementen aus einer Menge
Baum und Wald
Berechnung Starker Zusammenhangskomponenten (SCC-Algorithmus)
Beschrifteter Graph
Bipartiter Graph
Blockgraph
Breitensuche
Catalan-Zahlen
Distanz, Durchmesser und Radius
Duale Schranke
Ebene Einbettung und Planare Graphen
Einfacher und Gerichteter Graph
Erweiternder Pfad
Euler-Touren
Eulersche Graphen
Eulersche Polyederformel und Kantenbeschränkung
Finde unabhängige Menge der Größe k
Gebiete (Faces) und Kantenbegrenzung
Gerichtete Nachbarschaften und Grad-Konzepte
Gerichtete Tiefensuche (DFS) und topologische Nummerierung
Gerichteter Graph
Gerichteter Weg, Gerichteter Pfad und Erreichbarkeit
Hamilton-Kreis
Induktionsbeweis
k-Färbbarer Graph
k-Färbung
k-Partition
Klammerausdruck
Knoten-Färbung und Chromatische Zahl
Knotengrad
Kombinatorik
Lemma
Matching von einer Knotenmenge S
Matching
Mehrfachzusammenhang (k-Zusammenhang)
Perfektes Matching
Permutation
Prinzip der Inklusion-Exklusion
Produktregel
r-degenerierte Graphen
Rekursive bzw. induktive Definition
Satz - Knotenzahl vollständiger balancierter Binärbäume
Satz - Rekursion der Stirling-Zahlen erster Art
Satz - Rekursion der Stirling-Zahlen zweiter Art
Satz - Rekursive Formel der Catalan-Zahlen
Satz - Zahl der Blätter in vollständigen balancierten Binärbäumen
Satz - Zahl korrekter Klammerausdrücke
Satz von Hall
Satz von König
Satz von Menger
Schnittknoten und Brücke
Separationen und Trenner
Spannbaum
Stabiles Matching
Starker Zusammenhang und Zusammenhangskomponenten
Stirling-Zahlen erster Art
Stirling-Zahlen zweiter Art
Summenregel
Teilgraph
Theorem von Gale und Shapley
Theorem
Tiefensuche
Unabhängige Menge
Unterteilung (Subdivision) und Satz von Kuratowski
Vergrößerungs-Prinzip
Vertex Cover (Diskrete Strukturen)
Weg, Pfad und Kreis (Zyklus)
Zeichnung und Einbettung eines Graphen
Zusammenhang und Komponenten
Zyklus
Diskrete Strukturen
Formal-mathematische Grundlagen
Definitions
(echte) Teilmenge
Ableitungsbaum (FoG)
Algebra von Funktionen
Alpha-Konversion
Beschränkte Quantoren und Eindeutigkeit
Beweis durch Widerspruch
Beweisregel
Beweisverpflichtung
Beweiszustand
definierende Gleichheit
Differenz
Disjunktion
Existentielle Quantifikation (Beweisregeln)
Extensionale Definition
Gleichheit (Mengen)
Größe von Mengen
Implikation
Induktive Definition
Inferenzregel
Intensionale Definition
Kartesisches Produkt
Komposition
Konjunktion
konstatierende Gleichheit
Kontraposition
Logische Äquivalenzen als Beweisregeln
MOC Logik – Grundlage
Modus Ponens
OK (Variablenfang)
Potenzmenge
Produkt
Regelschema und Pattern Matching
Relation (FoG)
Russell'sches Paradox
Rückwärtsbeweisschritt
Schnitt
Sequenz (FoG)
Substitution (Logik)
Syntax der Aussagenlogik
Syntax der Prädikatenlogik
Teilmenge
Terme und Prädikate
Totalität und Eindeutigkeit
Umkehrrelation
Ungleich (Mengen)
Universelle Quantifikation (Beweisregeln)
Vereinigung
Vorwärtsbeweisschritt
Zahlenmengen
Formal-mathematische Grundlagen
Informationssysteme und Datenanalyse
Definitions
Aggregation, Gruppierung und Sortierung in SQL
Anomalien (Datenbanken)
Armstrong-Axiome
Attribut
Attributarten
Attributhülle und Membership-Problem
Attributwert
Data Science
Daten
Datenanalyse-Prozess
Datenanalyse
Datenbank-Merkmale
Datenbank
Datenbanksystem
Datendefinitionssprache
Datenmanagement-Prozess
Datenmanipulationssprache
Datenmodell
DBMS
Dekomposition von Relationen
Domäne
Drei-Schichten-Architektur
Entity-Typ
Entity
ER-Modellierung
Funktionale Abhängigkeit (FD)
Geschachtelte Anfrage (Subquery)
Glossar
Information
Informationskapazität
Informationssystem
Integritätsbedingungen
Interpretation von Attributen
Interpretation von Entity-Typen
Interpretation von Integritätsbedingungen
Interpretation von Relationship-Typen
Kardinalität (ISDA)
Konsistenzbedingung
Konzeptionelles Schema
Mengenoperationen in SQL
Miniwelt
n-stelliger Relationship-Typ
Nebenbedingungen
Normalformen (1NF bis BCNF)
Phasen des Datenbankentwurfs
Problem-Lösung-Zyklus
Referentielle Integrität
Relation (ISDA)
Relationale Algebra
Relationales Modell
Relationship-Typ
Relationship
Relationsschema
Rollen in Relationship-Typen
Schlüssel
Schlüsselbestimmung durch FDs
Schwacher Entity-Typ
SQL-Assertions
SQL-CHECK
SQL-CREATE TRIGGER
SQL-Datenbankobjekte
SQL-Datentypen
SQL-Default
SQL-DELETE
SQL-FROM
SQL-Grundstruktur und deklaratives Prinzip
SQL-INSERT
SQL-LIKE and Wildcards
SQL-NOT NULL
SQL-Schema
SQL-Schlüssel
SQL-SELECT
SQL-Tabellen
SQL-UPDATE
SQL-WHERE
Syntaktisch korrektes ER-Diagramm
Totalität
Triviale und Nicht-triviale FDs
Tupel
Problemtypen
ER-Modell aus Text erstellen
Fehler im ER-Modell finden
Schlüssel bestimmen
Informationssysteme und Datenanalyse
Systemprogrammierung
Definitions
Abhängigkeitsgraph
Ablaufplanlänge
Aging
Antwortzeit
Bankier-Algorithmus (Dijkstra)
Bedienzeit
Behandlung eines Seitenfehlers (Page Fault)
Benutzermodus
Betriebsmittel (Ressource)
Betriebsmittelgraph
Betriebssystem
Beziehungen zwischen Prozessen
Busy Waiting
Call-by-Reference
Call-by-Value
Clock-Algorithmus (Second-Chance)
Deadline
Deadlock
Dispatcher
EA-Umleitung
Echtzeitsystem
EDD
EDF
Erzeuger-Verbraucher-Problem
exec
FCFS
Fork, Join, Wait
Formale Verdrängungsalgorithmen
Frühester Startzeitpunkt
Gantt-Diagramm
Geschachtelte Unterbrechungsbehandlung
Hard Real-Time System
Heap
HRRN
interrupt
Kernel-Level-Thread
Kontextwechsel
Kritischer Abschnitt
LCFS-PR
LCFS
Long-Term Scheduling
Mechanismus
Medium-Term Scheduling
Mehrstufige Seitentabellen
Modiwechsel
Monitor
Multilevel-Feedback-Scheduling
Multilevel-Scheduling
Multithreading-Modelle
Mutex
Nachschub- und Auswahlstrategien (Policies)
Nebenläufigkeit
nice
Off-line Scheduling
On-line Scheduling
Page-Fault-Frequency-Modell (PFF)
Paging-Daemon und Schwellwertsteuerung
Parallelität
parbegin und parend
periodischer Prozess
Physischer Adressraum
Pipe
Pointer
Policy
Preemption
PRIO-NP
Prioritätsinvertierung
Prioritätsvererbung
Prozess
Prozesshierarchie
Prozessinteraktion
Prozesskontrollblock
Prozessumschaltung
Prozesszustand
Rate Monotonic Scheduling
Reader-Writer-Problem
Round Robin
Runqueue
SCHED_FIFO
SCHED_OTHER
SCHED_RR
Schedulability Test
Scheduling
Script
Segmentation Fault
Seitenadressierung (Paging)
Seitentabelle (Page Table) und Steuerbits
Semaphor
Sequentielle Unterbrechungsbehandlung
Shell-Variablen
Shell
Short-Term Scheduling
sizeof
SJN
Soft Real-Time System
Speicherallokation und Allokationsformen
Spielraum
SRTN
Stack
Starvation
Systemaufruf
Systemmodus
Tatsächlicher Endzeitpunkt
Tatsächlicher Startzeitpunkt
Theoretische Leistung
Thread-safe
Thread
Unsichere Betriebsmittelsituation
Unterbrechungsanalyse
Unterbrechungsbehandlung
User-Level-Thread
Verspätung
Virtueller Adressraum
Vorder- und Hintergrundprozess
waitpid
Wartegraph
Wartezeit
Zeitscheibenbetrieb
Zustandsübergänge
Zweizeiger-Clock-Algorithmus (Solaris-Paging)
Systemprogrammierung
Informatik Bachelor of Science - Technische Universität Berlin
MINTgrün
24-25-WiSe
Einführung ins Programmieren
synthesis notes
Sortieralgorithmen
bubble sort
count sort
HeapSort
insertion sort
MergeSort
radix sort
selection sort
Sortieralgorithmen
Algorithmus
Array
Ausdrücke
AVL-tree
Bedingte Anweisung
Block
Boolean Expressions
C-Streams
Compiler
Dateien
Debugging
divide & conquer
double linked list
Dynamische Datenstrukturen
Dynamische Speicherallokation
Ein- und Ausgabekanäle
Einfache Datenstrukturen
Fehlerbehandlung
Fehlertypen
Funktion
Git
Heap (IntroProg)
Hexadezimal
Hilfe bei Computerproblem
Kommunikation mit Computern
Komplexität
Korrektheitsbeweis
linked list
Logarithmus dualis
Modularisierung
Plaintext
Programmiersprache
Pseudocode
Quellcode kommentieren
Queue
Quicksort
Raumkomplexität
Record
Rekursion
Schleifen
Speicher
Speicheradresse
Stack (IntroProg)
String
synthesis notes_GlossaryIndex
synthesis notes_Index
Topographie
tree
Unix Befehle
Variable
Warum C?
Was tun Computer?
Wie beweist man die Korrektheit eines Algorithmus?
Zeitkomplexität
Zuweisungen
C
Informatik Propädeutikum
synthesis notes
Abstraktion
Algorithmus von Hierholzer
Artificial Intelligence
Bayessche Formel
Bedingte Wahrscheinlichkeit
Bias
dual use
Ehrlichkeit
Euklidischer Algorithmus
Geschichte Computer
Informatik
Kombinatorik
Kryptographie
Königsberger Brückenproblem
Objektivität
Originalität
Problemlösestrategien
Querdenken
RSA
synthesis notes_Index
Validität
Vertrauenswürdigkeit von Quellen
Vorhersage von Daten
25-SoSe
Analysis I und Lineare Algebra für Ingenieurwissenschaften
synthesis notes
10
Vektorräume
11
Basis und Dimension
Lineare Unabhängigkeit
12
Matrix
13
Lineare Gleichungssysteme
15
Lineare Abbildungen
16
Koordinatendarstellung
Matrixdarstellung
17
Konvergenz
Zahlenfolgen
18
Berechnung von Grenzwerten
19
Stetigkeit
20
Sätze über stetige Funktionen
21
Differenzierbarkeit
23
Mittelwertsatz
24
Taylorpolynom und Taylorformel
01
Aussagenlogik
Mengen
02
Absolutbetrag
Reelle Wurzel
Summen- und Produktzeichen
Ungleichung
Zahlen und Zahlendarstellungen
03
Komplexe Zahlen
04
Binomialkoeffizient
Vollständige Induktion
05
Abbildungen
Eigenschaften reeller Funktionen
06
Elementare Funktionen
Sinus und Cosinus
Tangens
08
Polynome
09
Partialbruchzerlegung
Rationale Funktionen
Enter your search text in the box above
Select a result to preview
Koinzidenzlemma
#Definition
#Studium
#Informatik
Sei
φ
∈
AL
eine Formel und seien
β
,
β
′
Belegungenx, sodass
β
(
X
)
=
β
′
(
X
)
für alle
X
∈
var
(
φ
)
.
Dann gilt
[
[
φ
]
]
β
=
[
[
φ
]
]
β
′
.