Математическая логика и теория алгоритмов

Представление логических функций от большого числа переменных

Разложение функций по переменным. Совершенная дизъюнктивная нормальная форма. Разрешимoсть задач в классической теории алгоритмов и их трудоемкость. Память и время как количественная характеристика алгоритма (применительно к машине Тьюринга и ЭВМ).

17.04.2009 | Математическая логика и теория алгоритмов | Программирование, компьютеры и кибернетика | Язык: русский | Просмотры: 58