351 Умаров. Р ецензия
 Скачать 118.74 Kb.
|
|
Р  ецензия на контрольную работу №_2____по дисциплине__Математическая логика и теория алгоритмов______ студента ФДО_ Умарова Ж.Д. ___ ___________________________ город ________________________ Отметка о зачёте: - Зачтено, + - Не зачтено. _______________ ___ Рецензент __Елецкая Анна Владимировна_____________ Подпись Дата Фамилия И.О. Замечания Задание 2: окей или не окей, но делаете вы все-равно не то. Анализировать нужно не то, как вы в таблице истинности находите инверсию или импликацию, это как раз очевидно. А то, что дает вам эта таблица. Задание 3: неверно заданы предикаты, в расшифровке предиката нет зависимости от аргумента. Задание 4: в формуле нет переменных, для чего тогда квантор существования по x? Задание 5: нужно оставить только то, что касается заданного отношения, теорию убрать вообще, в том числе примеры. Решение нужно привести к такому виду, где последовательно записаны логические рассуждения. Нужно доказать, что отношение рефлексивно, транзитивно, симметрично, прежде чем использовать эти свойства. Задание 6: отображение в пункте б) найдено неверно. Задание 7: в пунктах 2 и 3 отсутствует знак суммы. Задание 8: порядок функций должен быть от функции с наименьшей скоростью роста к наибольшей. Исправленную работу присылайте, пожалуйста, вместе с данной рецензией. |