Для отдыха
Для жизни
Сервисы
|
Здравствуйте, гость ( Вход | Регистрация )
Copyright © by "Российский информационно-образовательный портал Veni Vidi Vici", 2008-2022.
При использовании материалов с портала, активная ссылка на www.vevivi.ru обязательна.
|
Николай Николаевич СКАТОВ литературовед, директор Института русской литературы (Пушкинского дома) в 1987—2006, член-корреспондент РАН (1997). >>> Смотреть календарь
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ ,
раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие кол...
|