Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: nid=7507195-2



Treffer 1 von 1 < < > <



Sachbegriffe
Link zu diesem Datensatz http://d-nb.info/gnd/7507195-2
Hinweis für Volle Stufenlogik
Benutze Kombination Logik AND Stufe n
Quelle MSC 03B15
Erläuterungen Definition: Im Unterschied zur Logik erster Stufe können Variablen auch Mengen von Werten, Prädikaten und Funktionen enthalten. Logikkalküle höherer Stufe besitzen Eigenschaften, die nicht berechenbar sind.
Systematik 28 Mathematik





Treffer 1 von 1
< < > <


E-Mail-IconAdministration