Все разделы / Математика /


Страницу Назад
Поискать другие аналоги этой работы

За деньгиЗа деньги (100 руб.)

Математическая логика и теория алгоритмов. Экзамен. Задание № 31

Дата закачки: 19 Января 2014
Продавец: alexxxxxxxela
    Посмотреть другие работы этого продавца

Тип работы: Работа Экзаменационная
Форматы файлов: Microsoft Word
Сдано в учебном заведении: СибГУТИ

Описание:
Являются ли доказательством (выводом) в ИВ следующие последовательности формул:
a) A(AB);
b) A(AB), (A(AB))(B(A(AB))), B(A(AB));
c) A(BA), (A(BA))B, B


Коментарии: Работа зачтена

Размер файла: 9,7 Кбайт
Фаил: Упакованные файлы (.zip)

 Скачать Скачать

 Добавить в корзину Добавить в корзину

        Коментариев: 0


Есть вопросы? Посмотри часто задаваемые вопросы и ответы на них.
Опять не то? Мы можем помочь сделать!

Некоторые похожие работы:

К сожалению, предложений нет. Рекомендуем воспользваться поиском по базе.




Страницу Назад

  Cодержание / Математика / Математическая логика и теория алгоритмов. Экзамен. Задание № 31

Вход в аккаунт:

Войти

Перейти в режим шифрования SSL

Забыли ваш пароль?

Вы еще не зарегистрированы?

Создать новый Аккаунт




Сайт помощи студентам, без посредников!