Методы и средства преобразования процедурных описаний дискретных функций в булевы уравнения

Содержание
Введение
Глава 1. Пропозициональное кодирование формальных вычислительных моделей
1.1. Базовые понятия и определения.
1.2. Пропозициональное кодирование программ для формальных
вычислительных моделей
1.2.1. Механизмы преобразования в булевы уравнения ИАМпрограмм, вычисляющих дискретные функции .
1.2.2. Преобразования Цейтина.
1.3. Основные алгоритмы решения систем булевых уравнений .
1.4. Необходимость разработки методов и средств преобразования процедурных описаний алгоритмов в булевы уравнения
Глава 2. Преобразование процедурных описаний дискретных функций в булевы уравнения
2.1. Описание проблемноориентированного языка ТА.
2.2. Интерпретация ТАпрограмм. Формирование пропозиционального кода алгоритма.
2.2.1. Базовые механизмы символьного исполнения ТАпрограмм .
2.2.2. Символьное исполнение основных операторов языка
2.2.3. Процедура декомпозиции сложных термов.
2.2.4. Преобразование операций над целыми числами .
2.3. Программный комплекс Тгапэа для преобразования алгоритмов вычисления дискретных функций в булевы уравнения
Глава 3. Результаты преобразования в булевы уравнения алгоритмов вычисления некоторых дискретных функций .
3.1. Преобразование в булевы уравнения некоторых криптографических функций
3.1.1. Преобразование в булевы уравнения алгоритма генератора ключевого потока шифра А51.
3.1.2. Преобразование в булевы уравнения алгоритма суммирующего генератора.
3.1.3. Преобразование в булевы уравнении алгоритма генератора Гиффорда
3.1.4. Преобразование в булевы уравнения алгоритма
3.1.5. Преобразование в булевы уравнения алгоритма хеширования 5
3.2. Исследование свойств дискретноавтоматных динамических
систем
3.3. Процедуры сведения оптимизационных задач с псевдобуле
выми ограничениями к задачам
3.3.1. Сведение к задач 01целочисленного линейного программирования.
3.3.2. Сведение к квадратичных задач о назначениях .
Заключение
Литература