Типтер теориясы
Типтер теориясы – түрлі сатылардағы объектілерді айыру үшін енгізілетін формальдық логиканың құрылу тәсілі. Типтер теориясы есептелу предикаттарының кеңейтілген жүйесі, яғни әр түрлі типтердің айнымалыларын қамтитын аксиоматик. жиын теориясында парадокстар мен антиномияларды болғызбау тәсілдерінің бірі ретінде көрінеді. Алғаш рет типтер теориясын кластар логикасына қолданған Э.Шредер (1890). Типтер теориясының толық жүйесін құрған Рассел – Уайтхайдтың жүйелеуі бойынша бұл теорияның формальды объектілері мынадай типтерге бөлінеді: индивидтер (1 тип), предикаттар (2 тип), предикаттардың предикаты (3 тип), т.б.[1]
Дереккөздер[өңдеу]
- ↑ Қазақ ұлттық энциклопедиясы, 18 том
![]() | Бұл мақалада еш сурет жоқ.
Мақаланы жетілдіру үшін қажетті суретті енгізіп көмек беріңіз. Суретті қосқаннан кейін бұл үлгіні мақаладан аластаңыз.
|
![]() | Бұл мақаланы Уикипедия сапа талаптарына лайықты болуы үшін уикилендіру қажет. |
![]() |
Бұл — мақаланың бастамасы. Бұл мақаланы толықтырып, дамыту арқылы, Уикипедияға көмектесе аласыз. Бұл ескертуді дәлдеп ауыстыру қажет. |