пользователей: 30398
предметов: 12406
вопросов: 234839
Конспект-online
РЕГИСТРАЦИЯ ЭКСКУРСИЯ

I семестр:
» Синтаксис
» МППД
» ОМ
» окр.
» мат

мат

1 Определение и примеры конъюнк., дизъюн., имплик., эквивал., отрицания
2 Язык АВ
3 Классификация формул. Примеры
4 Примеры тавтологий.
5 Док-во двух любых - по опред. и по методу от противного.
6 Определение критерия логической равносильности. Примеры.
7 Определение ДНФ.
8 Теорема о равносильности F(x1...xn) и некоторой ДНФ
9 Определение и критерий Из F логич.следует G. Примеры.
10 Критерий логической равносильности .
11 Определение F1, F2…Fx логич.следует G.
27.06.2016; 18:03
хиты: 3214
рейтинг:0
для добавления комментариев необходимо авторизироваться.
  Copyright © 2013-2024. All Rights Reserved. помощь