Применение аппарата алгебры логики к решению содержательных задач

Операции над логическими высказываниями: булевы функции и выражение одних таких зависимостей через другие. Пропозициональные формулы и некоторые законы логики высказываний. Перевод выражений естественного языка на символическую речь алгебры логики.

26.04.2011 | Увлекательное | Математика | Язык: русский | Просмотры: 99