Геометрические приложения алгебры логики, Рвачев В.Л., 1967

Геометрические приложения алгебры логики, Рвачев В.Л., 1967.

В книге изложены методы аналитического описания геометрических объектов сложной структуры, которые могут быть применены для решения многих вадач математической физики, механики, математического программирования, оптимального раскроя, машинного распознавания геометрических образов и др. Описывается аппарат R-функций, используя который можно составлять уравнения сложных чертежей и пространственных объектов, а также строить уравнения семейств, включающих заданный геометрический объект.
Рассмотрены также некоторые приложения R-функций к задачам оптимального планирования, оптимального раскроя, к краевым задачам математической физики.
Книга рассчитана на научных и инженерно-технических работников, а также может быть использована студентами, которые интересуются вопросами алгоритмизации и решением задач с помощью машин.

Геометрические приложения алгебры логики, Рвачев В.Л., 1967

Булевы функции.

В основе двузначной логики лежит понятие булевой функции — правильной функции с алфавитом, состоящим из двух элементов. В качестве двоичного алфавита можно взять два любых символа, например « + » и «—», 0 и 1, «ложь» и «истина» и т. д. В большинстве работ приняты алфавиты 0 и 1 или «ложь» и «истина».

Дизъюнктивная и конъюнктивная нормальные формы.

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




Бесплатно скачать электронную книгу в удобном формате и читать:

Скачать книгу Геометрические приложения алгебры логики, Рвачев В.Л., 1967 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать




Скачать - pdf - Яндекс.Диск.


Дата публикации:





Теги: :: ::


Следующие учебники и книги:
Предыдущие статьи:


 


 

Книги, учебники, обучение по разделам




Не нашёл? Найди:





2018-08-17 23:00:32