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