Алгебралық логика
Көрініс
Алгебралық логика (ағылш. Algebraic logic) — логикалық объектілер-кластарды, пікірлерді және басқаларды оқып білу үшін алгебралық әдістерді қолдануға негізделген математикалық логиканың тарауы.
Тарихи тұрғыдан Алгебралық логика тап алгебрасы және пікірлер алгебрасы ретінде пайда болды. Алгебралық логика пікірлерді олардың тек ақиқаттық мағынасы тұрғысынан қарайды, бұл жерде ақиқаттың бірдей мәніне ие пікірлер бір-біріне папа-пар болып табылады. Пікірлердің өзін білдіретін символдардан басқа логикалық алгебраның бір өрнектерінен басқа өрнектер құрайтын логикалық операциялар үшін де символдар еңгізіледі. Қазіргі кезде Алгебралық логика электрлік және релелік-дәнекер жүйесі теориясында да қолданылады[1]
Дереккөздер
[өңдеу | қайнарын өңдеу]- ↑ Философиялық сөздік, Алматы: Қазақ энциклопедиясы, 1996, 525 б., ISBN 5-89800-097-6
Бұл — мақаланың бастамасы. Бұл мақаланы толықтырып, дамыту арқылы, Уикипедияға көмектесе аласыз. Бұл ескертуді дәлдеп ауыстыру қажет. |
|