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

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

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

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

Условие

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

Решение

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

Найти решение задачи Коши y''=18sin3ycosy

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

Интегральное исчисление функции одной переменной

282 символов
Высшая математика
Контрольная работа
Все Контрольные работы по высшей математике
Закажи контрольную работу

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