search
" * A K P Ё А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я г м т 
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ , раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.


Энциклопедический словарь естествознания 

skip_previousИСЧИСЛЕНИЕ КЛАССОВИТАБИРА (ITABIRA)skip_next

T: 4.151095441 M: 34 D: 2