Конспект лекций по математической логике (1 глава)
Шлык В.А.
Конспект лекций по математической логике. - Минск, БГПУ им. М. Танка, 2004, 15 с.
Высказывания и операции над ними
Формулы. Таблицы истинности
Тавтологии. Противоречия. Выполнимые формулы
Проблема разрешения. Равносильные формулы
Нормальные формы
СДНФ и СКНФ, их существование и единственность
Закон двойственности
Высказывания и операции над ними
Формулы. Таблицы истинности
Тавтологии. Противоречия. Выполнимые формулы
Проблема разрешения. Равносильные формулы
Нормальные формы
СДНФ и СКНФ, их существование и единственность
Закон двойственности
语言:
russian
ISBN 10:
1015102972
ISBN 13:
9781015102972
文件:
DOC, 1.79 MB
IPFS:
,
russian0