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: idn=040469743



Zurück



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4046974-8
Sachbegriff Prädikatenlogik
Quelle M
Synonyme Quantorenlogik (Lex. Informatik)
Oberbegriffe Mathematische Logik
Logik
Thematischer Bezug Verwandter Begriff: Bewachte Logik
DDC-Notation 005.131
160
511.3
Systematik 28 Mathematik
Typ Allgemeinbegriff (saz)
Untergeordnet 2 Datensätze
  1. Dynamische Logik
    Prädikatenlogik
  2. Mehrsortige Prädikatenlogik
    Prädikatenlogik
Thema in 118 Publikationen
  1. Von der Grundlagenkrise der Mathematik zu den Gödelschen Unvollständigkeitssätzen
    Mayer, Hartmut W.. - Berlin : Frank & Timme, 2023
  2. Von der Grundlagenkrise der Mathematik zu den Gödelschen Unvollständigkeitssätzen
    Mayer, Hartmut W.. - Berlin : Frank & Timme Verlag für wissenschaftliche Literatur, [2023]
  3. ...
Maschinell verknüpft mit 11 Publikationen
  1. Counting and enumerating in first-order team logics
    Müller, Fabian. - Hannover : Gottfried Wilhelm Leibniz Universität, 2024
  2. Descriptive complexity of learning
    Bergerem, Steffen van. - Aachen : Universitätsbibliothek der RWTH Aachen, 2023
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration