Generalisierung (Psychologie) — Generalisierung, teilweise deutsch gleichbedeutend Verallgemeinerung, steht je nach Fachgebiet in der Logik und Wissenschaftstheorie die Gewinnung von Allaussagen aus bestehenden Allaussagen oder aus Elementaraussagen (Induktion) auch das… … Deutsch Wikipedia
Generalisierung — Generalisierung, teilweise deutsch gleichbedeutend Verallgemeinerung, steht je nach Fachgebiet in der Logik und Wissenschaftstheorie für die Gewinnung von Allaussagen aus bestehenden Allaussagen oder aus Elementaraussagen (Induktion) in der Logik … Deutsch Wikipedia
Generalisierung — Ge|ne|ra|li|sie|rung 〈f. 20〉 Verallgemeinerung, Vereinfachung ● sich nur in Generalisierungen ergehen * * * Ge|ne|ra|li|sie|rung, die; , en (bildungsspr.): das Generalisieren; Verallgemeinerung: vor en sollte man sich hüten. * * * Generalisierung … Universal-Lexikon
Substitution (Logik) — Als Substitution bezeichnet man in der Logik allgemein die Ersetzung eines Ausdrucks durch einen anderen. Genauer müssen hier vier verschiedene Ausdrücke voneinander unterschieden werden: das Substituendum (lat: „das zu Ersetzende“): der Ausdruck … Deutsch Wikipedia
Polykontexturale Logik — Gotthard Günther (* 15. Juni 1900 in Arnsdorf, Landkreis Hirschberg, Schlesien; † 29. November 1984 in Hamburg) war ein deutscher Philosoph und Logiker. Günther entwarf einen über den klassisch zweiwertigen (aristotelischen) Logikkalkül… … Deutsch Wikipedia
Generalisieren — Generalisierung, teilweise deutsch gleichbedeutend Verallgemeinerung, steht je nach Fachgebiet in der Logik und Wissenschaftstheorie die Gewinnung von Allaussagen aus bestehenden Allaussagen oder aus Elementaraussagen (Induktion) auch das… … Deutsch Wikipedia
Generalisiert — Generalisierung, teilweise deutsch gleichbedeutend Verallgemeinerung, steht je nach Fachgebiet in der Logik und Wissenschaftstheorie die Gewinnung von Allaussagen aus bestehenden Allaussagen oder aus Elementaraussagen (Induktion) auch das… … Deutsch Wikipedia
Verallgemeinerung — Generalisierung, teilweise deutsch gleichbedeutend Verallgemeinerung, steht je nach Fachgebiet in der Logik und Wissenschaftstheorie die Gewinnung von Allaussagen aus bestehenden Allaussagen oder aus Elementaraussagen (Induktion) auch das… … Deutsch Wikipedia
Typinferenz nach Hindley-Milner — Hindley Milner (HM) ist ein klassisches Verfahren der Typinferenz mit parametrischem Polymorphismus für den Lambda Kalkül. Es wurde erstmals von J. Roger Hindley[1] beschrieben und später von Robin Milner[2] wiederentdeckt. Luis Damas trug eine… … Deutsch Wikipedia
Güntherlogik — Gotthard Günther (* 15. Juni 1900 in Arnsdorf, Landkreis Hirschberg, Schlesien; † 29. November 1984 in Hamburg) war ein deutscher Philosoph und Logiker. Günther entwarf einen über den klassisch zweiwertigen (aristotelischen) Logikkalkül… … Deutsch Wikipedia
