Практические приложения алгебры высказываний

Элементы алгебры, логические операции над высказываниями. Получение логических следствий из данных формул и посылок для данных логических следствий. Необходимые и достаточные условия. Анализ и синтез релейно-контактных схем. Логические следствия и формы.

11.12.2010 | Алгебра | Математика | Язык: русский | Просмотры: 74