- konfluent
- kon|fluẹnt [zu lat. confluere = zusammenfließen], auch: kon|flui̲e̲|rend, in fachspr. Fügungen: cọn|fluens: zusammenfließend, sich vereinigend (z. B. von Gefäßen).
Das Wörterbuch medizinischer Fachausdrücke. 2013.
Das Wörterbuch medizinischer Fachausdrücke. 2013.
konfluent — kon|flu|ent* <aus gleichbed. lat. confluens, Gen. confluentis, Part. Präs. von confluere, vgl. ↑konfluieren> zusammenfließend, sich vereinigend (z. B. von Gefäßen; Med.) … Das große Fremdwörterbuch
Termersetzungssystem — Die Termersetzungssysteme (TES) sind ein formales Berechnungsmodell in der Theoretischen Informatik. Sie bilden insbesondere die Grundlage der Logik und funktionalen Programmierung. Ferner spielen sie eine wichtige Rolle beim Wortproblem und bei… … Deutsch Wikipedia
Diamond Lemma — In der theoretischen Informatik besagt das Diamond Lemma (auch: der Satz von Newman, nach Max Newman), dass eine fundierte Relation genau dann konfluent ist, wenn sie lokal konfluent ist. Dieses Resultat ist die Grundlage zur Entscheidbarkeit der … Deutsch Wikipedia
Konfluenz (Informatik) — Konfluenz in einem Termersetzungssystem Konfluenz ist ein Begriff aus der Theoretischen Informatik und bezeichnet die Eigenschaft eines Transitionssystems, jedem Element höchstens eine Normalform zuzuordnen. Das heißt, wenn ein Element oder ein… … Deutsch Wikipedia
Satz von Newman — In der theoretischen Informatik besagt das Diamond Lemma (auch: der Satz von Newman, nach Max Newman), dass eine fundierte Relation genau dann konfluent ist, wenn sie lokal konfluent ist. Dieses Resultat ist die Grundlage zur Entscheidbarkeit der … Deutsch Wikipedia
Termersetzung — Die Termersetzungssysteme (TES) sind ein formales Berechnungsmodell in der Theoretischen Informatik. Sie bilden insbesondere die Grundlage der Logik und funktionalen Programmierung. Ferner spielen sie eine wichtige Rolle beim Wortproblem und bei… … Deutsch Wikipedia
Termersetzungsregel — Die Termersetzungssysteme (TES) sind ein formales Berechnungsmodell in der Theoretischen Informatik. Sie bilden insbesondere die Grundlage der Logik und funktionalen Programmierung. Ferner spielen sie eine wichtige Rolle beim Wortproblem und bei… … Deutsch Wikipedia
Satz von Church-Rosser — Das Church Rosser Theorem (bewiesen im Jahr 1936 von Alonzo Church und John Barkley Rosser) ist ein wichtiges Resultat aus der Theorie des Lambda Kalküls. Eine Konsequenz dieses Theorems ist, dass jeder Term des Lambda Kalküls höchstens eine… … Deutsch Wikipedia
Gestalt-Therapie — Die Gestalttherapie gehört zu den hermeneutisch phänomenologisch ausgerichteten erlebnisaktivierenden Psychotherapieverfahren und ist wichtige Vertreterin der humanistischen Psychologie. Als Begründer dieser Schule der Psychotherapie gelten die… … Deutsch Wikipedia
Gestalttherapie — Die Gestalttherapie gehört zu den hermeneutisch phänomenologisch ausgerichteten erlebnisaktivierenden Psychotherapieverfahren und ist wichtige Vertreterin der humanistischen Psychologie. Als Begründer dieser Schule der Psychotherapie gelten die… … Deutsch Wikipedia