Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: nid=7507197-6

Zurück zur Trefferliste


Treffer 1 von 2 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/7507193-9
Hinweis für Logik höherer Stufe
Benutze Kombination Logik AND Stufe n
Quelle Wikipedia (Stand: 12.05.2023): https://de.wikipedia.org/w/index.php?title=Logik_h%C3%B6herer_Stufe&oldid=213827124
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.
Synonyme Logik n-ter Stufe
Volle Stufenlogik
Higher-order Logic
Systematik 28 Mathematik





Treffer 1 von 2
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration