Prioritārais termins
Logic, Symbolic and mathematical
Plašāks koncepts
Plašāks konceptsŠaurāki koncepti
Š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
Koncepta alternatīvie nosaukumi- Mathematical logic
Piezīme
Piezīmes- Source: Latvijas padomju enciklopēdija, 1985:
Identifikators
- LNC10-000048118
Citās valodās
Termini šim konceptam citās valodās.Finnish
- Matemaattinen logiikka
Latvian
- Simboliskā un matemātiskā loģika
- 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