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

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

Рефераты

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

Для отдыха

Для жизни

Сервисы

В Томской области состоялось чествование лучших педагогов года

Слет «ПЕДпроСВЕТ» состоялся в ОмГПУ

Конкурс компьютерного творчества Digital Art объединил школьников Тульской и Херсонской областей

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

Найди на рисунке 9 дельфинов
Смотреть все загадки

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

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

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

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

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

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

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

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

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

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

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

Юлия Олеговна ВАСИЛЬЕВА
олимпийская чемпионка 2000 года в групповых упражнениях по синхронному плаванию, заслуженный мастер спорта. Сегодня москвичка тренирует сборную синхронисток Швейцарии. >>>
Смотреть календарь

Началось строительство Байкало-Амурской магистрали (БАМ), соединяющей Восточную Сибирь и Дальний Восток. >>>
Смотреть календарь

МАСАНОВ И ван Филиппович (1874-1945) , российский библиограф. Основной труд "Словарь псевдонимов русских писателей, ученых и общественных деятелей" (т. 1-4, 1956-60; подготовлен к печати Ю. И. Масановым).