Preferred term
Simboliskā un matemātiskā loģika
Broader concept
Broader conceptNarrower concepts
Narrower concepts.- 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
Entry terms
Alternative terms for the concept.- 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
Note
Notes- Source: Latvijas padomju enciklopēdija, 1985:
Identifier
- LNC10-000048118
In other languages
Terms for the concept in other languages.English
- Logic, Symbolic and mathematical
- Mathematical logic
Finnish
- Matemaattinen logiikka
URI
http://dati.lnb.lv/onto/subject/LNC10-000048118