Математическая логика и теория алгоритмов КР2. 293 Горбенко. Р ецензия
Скачать 115.83 Kb.
|
Р ецензия на контрольную работу №_2____ по дисциплине__Математическая логика и теория алгоритмов______ студента ФДО_ Горбенко А.С. ____ __________________________ город ________________________ Отметка о зачёте: - Зачтено, + - Не зачтено. _______________ ___ Рецензент __Елецкая Анна Владимировна_____________ Подпись Дата Фамилия И.О. Замечания Задание 3: предикат P следовало разделить на 2 простых предиката, чтобы избежать логических операций внутри одного предиката, в данном случае «или» подразумевает использование операции дизъюнкции. Задание 4: предикат Q определен как одноместный, а в формуле у него 3 аргумента. При этом помимо того, что он определяет связь между переменными, еще содержит условие о неравенстве переменных, это условие должен задавать другой предикат. Задание 5: приведен пример в точности из учебного пособия. Нужно придумать свой. Исправленную работу присылайте, пожалуйста, вместе с данной рецензией. |