Koncepta informācija
Prioritārais termins
Logic, Symbolic and mathematical
Plašāks koncepts
Šaurāki koncepti
- Automata theory
- Axiomatic set theory
- Categories (Mathematics)
- Completeness theorem
- Computer logic
- Fuzzy logic
- Gödel's incompleteness theorems
- Lambda calculus
- Model theory
- Nonclassical mathematical logic
- Pragmatics
- Proof theory
- Recursion theory
- Recursive functions
- Science--Methodology
- Semantics (Philosophy)
- Switching theory
- Theory of algorithms
Alternatīvie nosaukumi
- Mathematical logic
Piezīme
- Source: Latvijas padomju enciklopēdija, 1985:
Identifikators
- LNC10-000048118
Citās valodās
-
Matemaattinen logiikka
Finnish
-
Latvian
-
Algebra, loģikas
-
Loģika, simboliskā un matemātiskā
-
Loģikas algebra
-
Matemātiskā loģika
-
Matemātiskā un simboliskā loģika
-
Simboliskā loģika
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}}