Математическая логика п/р1 к 30 мая
Cрок выполнения : 30.05
Вид работы : Контрольная
Статус открыт
Дисциплины:
Математические: Логика, теория Алгоритмов и Автоматов.
|
Добавлен 22.05.2013 10:41:37
Уникальность:
Доработка:
Подробно: Задание 1. Установить правильность рассуждения, построив вывод исчисления высказываний. 2. Проверить вывод методом резолюций. Выполнить нужно Вариант №3
Кратко: Задание 1. Установить правильность рассуждения, построив вывод исчисления высказываний. 2. Проверить вывод методом резолюций. Выполнить нужно Вариант №3
Файлы доступны после авторизации