Логотип Автор24реферат
Заказать работу
%
уникальность
не проверялась
Контрольная работа на тему:

Переведите с естественного языка на язык логики предикатов

уникальность
не проверялась
Аа
406 символов
Категория
Высшая математика
Контрольная работа
Переведите с естественного языка на язык логики предикатов .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Переведите с естественного языка на язык логики предикатов: Если вчера Петров прогулял два занятия, то сегодня только одно.

Решение

Потяни, чтобы посмотреть
Введём предикатную переменную Dx, определённую на множестве целых чисел и принимающую значения D0 — «сегодня», D1 — «завтра», D-1 — «вчера» и т.д.; предикатную переменную Sx — «Петров прогулял занятиеx»
50% задачи недоступно для прочтения
Переходи в Автор24, регистрируйся и получай полное решение
Получить задачу
Больше контрольных работ по высшей математике:

Решите задачу на вычисление геометрической вероятности

1231 символов
Высшая математика
Контрольная работа

Даны интегралы -22fxdx=2 и -22gxdx=2+5. Найти значение интеграла -224-2fx+1-2g(x)dx

483 символов
Высшая математика
Контрольная работа

В папке 10 квитанций три из которых заполнены неверно

543 символов
Высшая математика
Контрольная работа
Все Контрольные работы по высшей математике
Закажи контрольную работу
Оставляя свои контактные данные и нажимая «Узнать стоимость», я соглашаюсь пройти процедуру регистрации на Платформе, принимаю условия Пользовательского соглашения и Политики конфиденциальности в целях заключения соглашения.

Наш проект является банком работ по всем школьным и студенческим предметам. Если вы не хотите тратить время на написание работ по ненужным предметам или ищете шаблон для своей работы — он есть у нас.