typisieren
1typisieren — ty·pi·sie·ren; typisierte, hat typisiert; jemanden / etwas typisieren Menschen / Dinge nach gemeinsamen Merkmalen in Gruppen ordnen …
2typisieren — ty|pi|sie|ren 〈V. tr.; hat〉 1. typisch, als Typ (nicht als individuelle Persönlichkeit) darstellen (Gestalten im Roman, Drama) 2. nach Typen einteilen; →a. typen * * * ty|pi|sie|ren <sw. V.; hat (bildungsspr., Fachspr.): 1. nach ↑ Typen (1 a) …
3typisieren — ty|pi|sie|ren 〈V.〉 1. typisch, als Typ (nicht als individuelle Persönlichkeit) darstellen, z. B. Gestalten im Roman od. Drama 2. nach Typen einteilen 3. = typen …
4typisieren — 1. in/nach Typen einteilen. 2. standardisieren, vereinheitlichen; (bildungsspr.): normieren; (Fachspr.): normen …
5typisieren — ty|pi|sie|ren <zu ↑...isieren>: 1. typisch (1), als Typ, nicht als individuelle Person darstellen, auffassen. 2. nach Typen (vgl. ↑Typ 2, 3) einteilen. 3. svw. ↑typen …
6typisieren — ty|pi|sie|ren (typisch darstellen, gestalten, auffassen; typen; österreichisch für die Normentsprechung bestätigen) …
7Typisierung — Ty|pi|sie|rung 〈f. 20〉 das Typisieren * * * Ty|pi|sie|rung, die; , en (bildungsspr., Fachspr.): das Typisieren. * * * I Typisierung, Technik: die Typung. II …
8Alpha-Konversion — Der Lambda Kalkül ist eine formale Sprache zur Untersuchung von Funktionen, die Funktionsdefinitionen, das Definieren formaler, sowie das Auswerten und Einsetzen aktueller Parameter regelt. Inhaltsverzeichnis 1 Geschichte 2 Der untypisierte… …
9Lambda-Ausdruck — Der Lambda Kalkül ist eine formale Sprache zur Untersuchung von Funktionen, die Funktionsdefinitionen, das Definieren formaler, sowie das Auswerten und Einsetzen aktueller Parameter regelt. Inhaltsverzeichnis 1 Geschichte 2 Der untypisierte… …
10Lambda-Kalkül — Der Lambda Kalkül ist eine formale Sprache zur Untersuchung von Funktionen. Sie beschreibt Funktionsdefinitionen, das Definieren formaler Parameter sowie das Auswerten und Einsetzen aktueller Parameter. Inhaltsverzeichnis 1 Geschichte 2 Der… …
