Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die 1,9 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über "Alle Standorte - Online (frei zugänglich)" gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link "Archivobjekt öffnen" oder über die URN im Label "Persistent Identifier".
 
 

Ergebnis der Suche nach: nid=4046974-8



Treffer 1 von 1 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4046974-8
Sachbegriff Prädikatenlogik
Quelle M, Au=DB
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 90 Publikationen
  1. Logik
    Schurz, Gerhard. - Berlin : De Gruyter, [2020], 2., korrigierte und erweiterte Auflage
  2. Aussagen- und Prädikatenlogik
    Riel, Raphael van. - Stuttgart : J.B. Metzler, 2018, 1. Auflage
  3. ...
Maschinell verknüpft mit 7 Publikationen
  1. Logik-Skript 1
    Brendel, Elke. - Frankfurt am Main : Vittorio Klostermann GmbH, 2021, 2., überarbeitete Auflage 2020
  2. Logik-Skript 2
    Brendel, Elke. - Frankfurt am Main : Vittorio Klostermann GmbH, 2021, 1. Auflage 2021
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration