@prefix nllsh: . @prefix skos: . @prefix dc: . @prefix xsd: . nllsh:LNC10-000290466 skos:prefLabel "Datoru loģika"@lv ; a skos:Concept ; skos:broader nllsh:LNC10-000048118 . nllsh:LNC10-000074139 skos:prefLabel "Kopu teorija"@lv ; a skos:Concept ; skos:related nllsh:LNC10-000048118 . nllsh:LNC10-000203789 skos:prefLabel "Rekursijas teorija"@lv ; a skos:Concept ; skos:broader nllsh:LNC10-000048118 . nllsh:LNC10-000196238 skos:prefLabel "Algebriskā loģika"@lv ; a skos:Concept ; skos:related nllsh:LNC10-000048118 . nllsh:LNC10-000297958 skos:prefLabel "Pilnības teorēma"@lv ; a skos:Concept ; skos:broader nllsh:LNC10-000048118 . nllsh:LNC10-000103978 skos:prefLabel "Pārslēgšanas teorija"@lv ; a skos:Concept ; skos:broader nllsh:LNC10-000048118 . nllsh:LNC10-000068036 skos:prefLabel "Automātu teorija"@lv ; a skos:Concept ; skos:broader nllsh:LNC10-000048118 . nllsh:LNC10-000130532 skos:prefLabel "Siloģisms"@lv ; a skos:Concept ; skos:related nllsh:LNC10-000048118 . nllsh:LNC10-000165558 skos:prefLabel "Rekursīvās funkcijas"@lv ; a skos:Concept ; skos:broader nllsh:LNC10-000048118 . nllsh:LNC10-000131277 skos:prefLabel "Lambda rēķini"@lv ; a skos:Concept ; skos:broader nllsh:LNC10-000048118 . nllsh:LNC10-000077198 skos:prefLabel "Faziloģika"@lv ; a skos:Concept ; skos:broader nllsh:LNC10-000048118 . nllsh:LNC10-000101674 skos:prefLabel "Modeļu teorija"@lv ; a skos:Concept ; skos:broader nllsh:LNC10-000048118 . nllsh:LNC10-000137654 skos:prefLabel "Pierādījuma teorija"@lv ; a skos:Concept ; skos:broader nllsh:LNC10-000048118 . nllsh:LNC10-000077031 skos:prefLabel "Zinātnes metodoloģija"@lv ; a skos:Concept ; skos:broader nllsh:LNC10-000048118 . nllsh:LNC10-000048110 skos:prefLabel "Semantika (filozofija)"@lv ; a skos:Concept ; skos:broader nllsh:LNC10-000048118 . nllsh:LNC10-000232575 skos:prefLabel "Aksiomātiskā kopu teorija"@lv ; a skos:Concept ; skos:broader nllsh:LNC10-000048118 . nllsh:LNC10-000050739 skos:prefLabel "Matemātika"@lv ; a skos:Concept ; skos:narrower nllsh:LNC10-000048118 . nllsh:LNC10-000048647 skos:prefLabel "Pragmatika"@lv ; a skos:Concept ; skos:broader nllsh:LNC10-000048118 . nllsh:LNC10-000179556 skos:prefLabel "Neklasiskā matemātiskā loģika"@lv ; a skos:Concept ; skos:broader nllsh:LNC10-000048118 . nllsh:LNC10-000138852 skos:prefLabel "Gēdela teorēma"@lv ; a skos:Concept ; skos:broader nllsh:LNC10-000048118 . nllsh:LNC10-000153887 skos:prefLabel "Kategorijas (matemātika)"@lv ; a skos:Concept ; skos:broader nllsh:LNC10-000048118 . nllsh:LNC10-000117519 skos:prefLabel "Abstraktā algebra"@lv ; a skos:Concept ; skos:related nllsh:LNC10-000048118 . nllsh:LNC10-000048118 skos:narrower nllsh:LNC10-000101674, nllsh:LNC10-000077198, nllsh:LNC10-000165558, nllsh:LNC10-000131277, nllsh:LNC10-000138852, nllsh:LNC10-000179556, nllsh:LNC10-000203789, nllsh:LNC10-000290466, nllsh:LNC10-000297958, nllsh:LNC10-000077031, nllsh:LNC10-000103978, nllsh:LNC10-000068036, nllsh:LNC10-000048110, nllsh:LNC10-000048647, nllsh:LNC10-000232575, nllsh:LNC10-000153887, nllsh:LNC10-000137654 ; skos:inScheme nllsh: ; skos:altLabel "Matemātiskā un simboliskā loģika"@lv, "Simboliskā loģika"@lv, "Mathematical logic"@en, "Loģika, simboliskā un matemātiskā"@lv, "Matemaattinen logiikka"@fi, "Logic, Symbolic and mathematical"@en, "Matemātiskā loģika"@lv, "Algebra, loģikas"@lv, "Loģikas algebra"@lv ; dc:modified "2022-05-13"^^xsd:date ; skos:closeMatch , , , ; skos:note "Source: Latvijas padomju enciklopēdija, 1985:" ; dc:identifier "LNC10-000048118" ; dc:created "2004-07-02"^^xsd:date ; skos:related nllsh:LNC10-000196238, nllsh:LNC10-000074139, nllsh:LNC10-000117519, nllsh:LNC10-000130532 ; skos:prefLabel "Simboliskā un matemātiskā loģika"@lv ; skos:broader nllsh:LNC10-000050739 ; a skos:Concept .