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