zum Hauptteil springen
Dariah Logo EU Logo

Deskryptory BN w SKOS

Suche im Vokabular

Sprache der Inhalte

Angaben zum Begriff

... > Deskryptory BN w SKOS > Kultura > Nauka > Matematyka > Logika matematyczna > Rachunek kwantyfikatorów > Logika pierwszego rzędu
... > Deskryptory BN w SKOS > Wiedza > Nauka > Matematyka > Logika matematyczna > Rachunek kwantyfikatorów > Logika pierwszego rzędu

Bevorzugte Bezeichnung

Logika pierwszego rzędu  

Oberbegriff

Verwandte Begriffe

Synonyme

  • First-order logic
  • First-order predicate calculus
  • First-order predicate logic
  • Logika I rzędu
  • Rachunek kwantyfikatorów pierwszego rzędu
  • Rachunek predykatów pierwszego rzędu

URI

https://bn-skos.lab.dariah.pl/Logika_pierwszego_rzedu

Herunterladen des Begriffs im SKOS-Format:

RDF/XML TURTLE JSON-LD