Tárgyszó
---Művelet---
Felkutat
Megoszt
Megjegyzés
---Keresés---
Téma (20)
Tárgyszó (1)
Kulcs:
matematikai logika
Nemdeszkriptor:
algebrai logika
;
formális logika
;
modern logika
;
szimbolikus logika
Fölérendeltje:
logika
Mellérendelt:
metamatematika
Alárendelt:
cilindrikus algebra
;
elsőrendű logika
;
intenzionális logika
;
klasszikus matematikai logika
;
mátrixlogika
;
modális logika
;
nemklasszikus matematikai logika
;
többértékű logika
Része:
funktor
;
Gödel-tétel
;
igazságfüggvény
;
logikai művelet
;
porizma
;
szillogizmus
;
típuselmélet
Helyett és:
fuzzy-logika
;
induktív logika
;
kombinatorikus logika
;
számítógépes logika
Helyett vagy:
matematikai szociológiai módszer
Oka:
kalkulus
Okozata:
döntéselmélet
;
logikai programozás
;
matematikai programozás
;
modellelmélet
ETO-ban:
164 ; 510.6 ; 510.64
Lukács Károly Városi Könyvtár
TextLib
WWW V2.01.01/1671 - InfoKer