Veni Vidi Vici - ИСЧИСЛЕНИЕ ПРЕДИКАТОВ ,

Новости образования

Рефераты

Нормативные документы

Для отдыха

Для жизни

Сервисы

2 742 ребенка зачислены в первые классы Севастополя

В Санкт-Петербурге к 1 сентября откроется новый корпус Колледжа судостроения, информационных и прикладных технологий

В крымских лагерях проходят мероприятия по профилактике детского дорожно-транспортного травматизма

Смотреть все новости

Что в этой девушке не так?
Смотреть все загадки

Что не так в этой картинке?

Здравствуйте, гость ( Вход | Регистрация )

Veni Vidi Vici > On-line cловари

Введите слово для поиска

Результаты поиска

Современный толковый словарь

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ , - раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.

Ссылка на документ: ИСЧИСЛЕНИЕ ПРЕДИКАТОВ ,

Текстовая версия

Лицензия зарегистрирована на: Veni Vidi Vici

Контакты | Поддержка | База знаний

Софья Ивановна МУРАТОВА
гимнастка, двукратная олимпийская (1956, 1960) и трехкратная чемпионка мира в командном зачете, заслуженный мастер спорта, заслуженный тренер СССР. На Олимпийских играх выиграла также две серебряные и четыре бронзовые медали. >>>
Смотреть календарь

На экраны вышел фильм Киры МУРАТОВОЙ «Короткие встречи», в котором играли Нина РУСЛАНОВА, Владимир ВЫСОЦКИЙ, Кира Муратова. >>>
Смотреть календарь

ИМЕННОЙ именная, именное (книжн.). 1. Помеченный именем лица, к-рому принадлежит данный предмет. Именное кольцо. Именной экземпляр книги. Чеки именные и чеки на предъявителя. 2. Прил. к имя в 4 знач. (грам.). Именное склонение. Именной список (канц.) ...