Фото новости На отдых в Вологодскую область приехали еще 250 школьников из Алчевска
Фото новости Студенты БГПУ создали мобильное приложение Smart Plants для выращивания домашних растений
Фото новости Эксперты ФИЦТО считают важным развивать цифровую грамотность в сфере образования
Смотреть все новости

Переложи спички
 
Переложи спички
Смотреть все загадки

Фото загадки Что не так в этой картинке?
Фото загадки Изолируйте 9 кошек
Фото загадки Три чашки
Смотреть все статьи
IPB

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

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


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

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

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

Ссылка на документ: ИСЧИСЛЕНИЕ ПРЕДИКАТОВ ,
Текстовая версия
Форум IP.Board © 2025  IPS, Inc.
Лицензия зарегистрирована на: Veni Vidi Vici
Copyright © by "Российский информационно-образовательный портал Veni Vidi Vici", 2008-2022. При использовании материалов с портала, активная ссылка на www.vevivi.ru обязательна.

Гиллиан Маргарет КОУЛИ
зимбабвийская спортсменка, олимпийская чемпионка 1980 года по хоккею на траве. >>>
Смотреть календарь

Экипаж восставшего броненосца «Потемкин» сдался властям Румынии, которые отказались выдать моряков царскому правительству. >>>
Смотреть календарь

Г. ЯЗВЕННЫЙ (g. ulcerosa; син.: Г. язвенно-мембранозный, Г. язвенно-некротический) Г., характеризующийся преобладанием процессов альтерации с образованием покрытых грязно-серым налетом некротических участков по десневому краю гингивит беременных (gingivitis gravidarum) - уплотнение и гиперемия десневого края в первой половине берем...