Słownik ortografii niemieckiej

Definicje „Klassenlogik“ w Słownik ortografii niemieckiej

Przykłady z Internetu (niezredagowane i niesprawdzone przez PONS)

niemiecki
Wählt man statt einer Prädikatenlogik eine Klassenlogik als Basis, dann wird jede beliebige Klasse zum korrekten, vollwertigen Term.
de.wikipedia.org
Sie gelten auch bei der Verwendung von Klassentermen (s. u.) im Rahmen einer Klassenlogik; dort besagt aber ein Klassenterm gar nichts über die Existenz einer Klasse!
de.wikipedia.org
Ein Element in der Mathematik ist immer im Rahmen der Mengenlehre oder Klassenlogik zu verstehen.
de.wikipedia.org
Im engeren Sinn spricht man von einer Klassenlogik nur dann, wenn Klassen durch eine Eigenschaft ihrer Elemente beschrieben werden.
de.wikipedia.org
Diese Klassenlogik ist daher eine Verallgemeinerung der Mengenlehre, die nur eine eingeschränkte Klassenbildung erlaubt.
de.wikipedia.org
Die Klassenlogik ist im weiteren Sinn eine Logik, deren Objekte als Klassen bezeichnet werden.
de.wikipedia.org
Die Klassenlogik ist daher nur ein syntaktisch reichhaltiger logischer Rahmen, der eine bequemere optimierte Darstellung erlaubt und es gestattet, beliebige Klassen ohne die Gefahr eines Widerspruchs in jeden Kontext einzusetzen.
de.wikipedia.org
Aber auch zur mathematischen Grundlagenforschung wie Prädikatenlogik, Klassenlogik, Rekursionstheorie, Mengenlehre und Grundlagen der Arithmetik leistete er wesentliche Beiträge, wie auch in der Algebra und Zahlentheorie.
de.wikipedia.org
Als Klasse gilt in der Mathematik, Klassenlogik und Mengenlehre eine Zusammenfassung beliebiger Objekte, definiert durch eine logische Eigenschaft, die alle Objekte der Klasse erfüllen.
de.wikipedia.org
Ob eine bloß extensionale Klassenlogik die platonische Dihairesis vollständig beschreiben kann, wird kontrovers diskutiert.
de.wikipedia.org

Nie możesz znaleźć słowa w Słowniku ortografii niemieckiej?

Prześlij je nam, czekamy na wiadomość od Ciebie!

Definicje "Klassenlogik" w słownikach niemiecki


Interfejs: Deutsch | English | Español | Français | Italiano | Polski | Русский