100
Экзамен по дисциплине: Математическая логика и теория алгоритмов. Билет №4
ID: 88127
Дата закачки: 13 Января 2013
Продавец:
Cherebas (Напишите, если есть вопросы)
Посмотреть другие работы этого продавца
Тип работы:
Работа Экзаменационная
Форматы файлов:
Microsoft Word
Сдано в учебном заведении:
СибГУТИ
Описание:
Проверить являются ли формулами ИВ выражения:
(А & В)С¬D
(А & В)->С
(A->B)->(C->D)
(((¬A)->D)->C)
Комментарии:
Уважаемый слушатель, дистанционного обучения,
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Зачет
Оценка:Зачет
Дата оценки: 13.01.2013
Рецензия:
Мачикина Елена Павловна
Размер файла:
13,1 Кбайт
Фаил:
(.rar)
Скачано: 7
Коментариев: 0