Koncepta informācija
Prioritārais termins
Simboliskā un matemātiskā loģika
Plašāks koncepts
Šaurāki koncepti
- Aksiomātiskā kopu teorija
- Algoritmu teorija
- Automātu teorija
- Datoru loģika
- Faziloģika
- Gēdela teorēma
- Kategorijas (matemātika)
- Lambda rēķini
- Modeļu teorija
- Neklasiskā matemātiskā loģika
- Pārslēgšanas teorija
- Pierādījuma teorija
- Pilnības teorēma
- Pragmatika
- Rekursijas teorija
- Rekursīvās funkcijas
- Semantika (filozofija)
- Zinātnes metodoloģija
Alternatīvie nosaukumi
- Algebra, loģikas
- Loģikas algebra
- Loģika, simboliskā un matemātiskā
- Matemātiskā loģika
- Matemātiskā un simboliskā loģika
- Simboliskā loģika
Piezīme
- Source: Latvijas padomju enciklopēdija, 1985:
Identifikators
- LNC10-000048118
Citās valodās
-
Logic, Symbolic and mathematical
English
-
Mathematical logic
-
Matemaattinen logiikka
Finnish
URI
http://dati.lnb.lv/onto/subject/LNC10-000048118
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}