Skip to main content

LNB tematisko priekšmetu ontoloģija

Search from vocabulary

Content language

Concept information

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

Preferred term

Pilnības teorēma  

Broader concept

Narrower concepts

Entry terms

  • 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

Note

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

Identifier

  • LNC10-000297958

In other languages

  • Completeness theorem

    English

URI

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

Download this concept:

RDF/XML TURTLE JSON-LD Created 11/2/20, last modified 5/16/22