Iet uz galveno saturu

NLL subject authority ontology

Meklēt vārdnīcā

Satura valoda

Koncepta informācija

Science > Natural history > Mathematics > Logic, Symbolic and mathematical > Completeness theorem
Science > Exact science > Mathematics > Logic, Symbolic and mathematical > Completeness theorem
... > Science > Natural history > Mathematics > Logic, Symbolic and mathematical > Model theory > Completeness theorem
... > Science > Exact science > Mathematics > Logic, Symbolic and mathematical > Model theory > Completeness theorem

Prioritārais termins

Completeness theorem  

Plašāks koncepts

Šaurāki koncepti

Piezīme

  • Source: Podnieks, K. Matemātiskā loģika - 2020.11.02.

Identifikators

  • LNC10-000297958

Citās valodās

  • Pilnības teorēma

    Latvian

  • Gēdela pilnības teorēma
  • Gēdela teorēma par pilnību
  • Pilnības teorēmas
  • Predikātu loģikas pilnības teorēma
  • Teorēma, pilnības

URI

http://dati.lnb.lv/onto/subject/LNC10-000297958

Lejuplādējiet šo konceptu SKOS formā:

RDF/XML TURTLE JSON-LD Izveidots 11/2/20, Modificēts 5/16/22