ТулГу Специальные разделы высшей математики.Часть 2

Учебная дисциплина

Специальные разделы высшей математики.Часть 2

Уровень профессионального образования: (высшее образование – бакалавриат)

Направление подготовки:09.03.01 Информатика и вычислительная техника

Профиль подготовки: Вычислительные машины, комплексы, системы и сети

ОТЧЁТ по практическим работам

Задание 1.

Представьте на языке логики предикатов следующие предложения русского языка:

а. не все студенты любят математику и физику; 

Задание 2.

Запишите следующие условные предложения русского языка в виде правил логики предикатов:

а. если вы любите детективы, то сегодня вечером можете посмотреть прекрасный фильм из этой серии; 

Задание 3.

Сформулируйте на языке логики предикатов аксиомы, описывающие отношения родства между:

внуками и бабушками;

Введем вспомогательные предикаты:  

женщина(i) - i является женщиной 

мужчина(i) - i является мужчиной 

родитель(i,j) - i является мамой или папой j 

семейная_пара(i,j) - i и j - муж и жена 

родственник(i,j) - i и j - родственники