@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 .