Ausdruck
121Sapienti sat — − Geflügelte Worte A B C D E F G H I J K L M N O …
122Schuster, bleib bei deinem Leisten — − Geflügelte Worte A B C D E F G H I J K L M N O …
123Liste geflügelter Worte/B — Geflügelte Worte   A B C D E F G H I J K L M N O P Q R S T U V W Y Z Inhaltsverzeichnis …
124Prädikatenlogik erster Stufe — Die Prädikatenlogik erster Stufe ist ein Teilgebiet der mathematischen Logik. Sie befasst sich mit der Struktur gewisser mathematischer Ausdrücke und dem logischen Schließen, mit dem man von derartigen Ausdrücken zu anderen gelangt. Dabei gelingt …
125Inhalt und Interpretation der unendlichen Geschichte — Dies ist eine ausführliche Inhaltsangabe mit Interpretation des Romans Die unendliche Geschichte von Michael Ende. Das Werk ist ein zugleich märchenhafter, phantastischer und romantischer Bildungsroman[1] und gehört inzwischen zu den neuen… …
126The Expression of the Emotions in Man and Animals — „Schrecken“ Stich, nach einer Fotografie von Guillaume Duchenne „Enttäuschung“ …
127Deutsche Literatur — Deutsche Literatur, im weitesten Sinn der Inbegriff der gesamten Schriftwerke des deutschen Volkes, insofern sie Geistesprodukte von bleibender und nachwirkender Bedeutung und dadurch Gegenstand fortgesetzten Anteils sind oder doch einen… …
128Typinferenz 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… …