RUSSIAN

Конспект лекций по математической логике (1 глава)

By Шлык В.А.

Book information

Language
russian
Format
DOC
Filesize
2 MB (1880064 bytes)
Pages
\0
Topic
Mathematics Logic
Library
twirpx
Time added
2017-08-07 07:01:42
Математика;Математическая логика

Description

Конспект лекций по математической логике. - Минск, БГПУ им. М. Танка, 2004, 15 с. Высказывания и операции над ними Формулы. Таблицы истинности Тавтологии. Противоречия. Выполнимые формулы Проблема разрешения. Равносильные формулы Нормальные формы СДНФ и СКНФ, их существование и единственность Закон двойственности

Similar books