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