Iet uz galveno saturu

NLL subject authority ontology

Meklēt vārdnīcā

Satura valoda

Koncepta informācija

Šajā valodā šim konceptam nav termins

Zinātne (lv) > Dabaszinātnes (lv) > Matemātika (lv) > Simboliskā un matemātiskā loģika (lv) > Pilnības teorēma (lv)
Zinātne (lv) > Eksaktās zinātnes (lv) > Matemātika (lv) > Simboliskā un matemātiskā loģika (lv) > Pilnības teorēma (lv)
... > Zinātne (lv) > Dabaszinātnes (lv) > Matemātika (lv) > Simboliskā un matemātiskā loģika (lv) > Modeļu teorija (lv) > Pilnības teorēma (lv)
... > Zinātne (lv) > Eksaktās zinātnes (lv) > Matemātika (lv) > Simboliskā un matemātiskā loģika (lv) > Modeļu teorija (lv) > Pilnības teorēma (lv)

Prioritārais termins

Pilnības teorēma (lv)  

Plašāks koncepts

Šaurāki koncepti

Alternatīvie nosaukumi

  • Completeness theorem

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