Главная страница

Математическая логика и теория алгоритмов КР2. 293 Горбенко. Р ецензия


Скачать 115.83 Kb.
НазваниеР ецензия
АнкорМатематическая логика и теория алгоритмов КР2
Дата04.03.2022
Размер115.83 Kb.
Формат файлаdocx
Имя файла293 Горбенко.docx
ТипДокументы
#383237

Р ецензия на контрольную работу №_2____

по дисциплине__Математическая логика и теория алгоритмов______

студента ФДО_ Горбенко А.С. ____ __________________________

город ________________________

Отметка о зачёте: - Зачтено, + - Не зачтено.

_______________ ___ Рецензент __Елецкая Анна Владимировна_____________

Подпись Дата Фамилия И.О.

Замечания

Задание 3: предикат P следовало разделить на 2 простых предиката, чтобы избежать логических операций внутри одного предиката, в данном случае «или» подразумевает использование операции дизъюнкции.

Задание 4: предикат Q определен как одноместный, а в формуле у него 3 аргумента. При этом помимо того, что он определяет связь между переменными, еще содержит условие о неравенстве переменных, это условие должен задавать другой предикат.

Задание 5: приведен пример в точности из учебного пособия. Нужно придумать свой.

Исправленную работу присылайте, пожалуйста, вместе с данной рецензией.


написать администратору сайта