1. Булева алгебра 3
1.1. Связь булевых решеток и булевых алгебр 3
1.2. Теорема Стоуна 4
2. Задача булева программирования и аддитивний алгоритм ее решения 6
2.1. Понятие задачи булева программирования 6
2.2. Основные идеи 10
3. Описание аддитивного алгоритма 16
Заключение 22
Список литературы 23
Краткое содержание работы:
Введение
Если в прошлых веках и в начале XX века алгебра изучала весьма ограниченное число алгебраических структур, то сейчас можно дать очень общее определение алгебры – а именно: наука о свойствах множеств, на которых определена та или иная система операций и отношений.
Большинство современных задач оптимизации решается в предположении детерминированных параметров оптимизируемой системы. Однако на практике системы в технике, экономике, социологии и т. д. имеют, как правило, недетерминированные параметры. Оптимизация таких систем выдвигает ряд новых трудных проблем: сравнение недетерминированных величин, обобщение понятия оптимума на недетерминированный случай, выяснение условий его существования, конструирование алгоритмов его отыскания. В статье дан обзор некоторых работ в этой области. При этом изучается наиболее простой и естественный случай, когда недетерминированность оптимизируемой системы выражается в том, что ее параметры заданы лишь с точностью до интервалов возможных значений. Интервальные оценки параметров систем обычно находятся экспертным путем либо с помощью приближенных вычислений или измерений.
Математическая логика является современной формой, так называемой формальной логики, применяющей математические методы для исследования своего предмета. (Другие ее названия: символическая логика, теоретическая логика, логистика.) В формальной логике и, соответственно, в математической логике, собраны результаты законов структуры правильных выводов. Вывод является таким мыслительным процессом, в результате которого появляются новые открытия на основании уже имеющихся (которые предполагаются правильными), без практических исследований. В действительности, новое открытие, полученное в результате вывода, (так называемый окончательный вывод) в скрытой форме находится в предварительно имеющихся знаниях, в так называемых предпосылках.
В нашей компании вы можете заказать консультацию по любой учебной работе от 300 руб. Оформите заказ, а договор и кассовый чек послужат вам гарантией сохранности ваших средств. Кроме того, вы можете изменить план текущей работы на свой, а наши авторы переработают основное содержание под ваши требования