Читать «Математический аппарат инженера» онлайн - страница 57

При замене в любой теореме входящих в нее символов дуальными получим новое предложение, которое также является теоремой (принцип двойственности или дуальности). Тождества (11) и (12) не изменяются при замене символов дуальными, поэтому их называют самодвойственными.

Принцип дуальности можно распространить на разность и дизьюктивную сумму, если использовать тождества (14) и (15). Аналогично

- 87 -

в соответствии ...........

- !!!!!!!!!!!!!!!!!!!!! -

- Продолжение следует... -

- Содержание продолжения -

...

2. Отношения

3. Отображения и функции

4. Отношение эквивалентности

5. Отношение порядка

6. Отношение толерантности

7. Законы композиции

8. Примеры алгебраических систем

9. Пространства

10. Комбинаторика

Список литературы

Глава 3. Матрицы

1. Действия над матрицами

2. Определители

3. Обращение матриц

4. Линейные уравнения

5. Дифференциальные уравнения

6. Функции от матриц

7. Матричные преобразования

8. Пространство переменных состояния

Список литературы

Глава 4. Графы

1. Деревья

2. Анатомия графов

3. Полюсные графы

4. Многополюсные компоненты

5. Системы координат

6. Неоднородный координатный базис

7. Сокращенный координатный базис

Список литературы

Глава 5

Логика

Одной из основных задач математической логики является анализ оснований математики. Но в настоящее время она уже вышла из рамок этой задачи и оказала существенное влияние на развитие самой математики. Из ее идей возникло точное определение понятия алгоритма, что позволило решать многие вопросы, которые без этого остались бы в принципе неразрешенными. Возникший в математической логике аппарат нашел приложение в вопросах конструкций вычислительных машин и автоматических устройств.

П.С. Новиков

В начале этой главы излагаются основные положения, относящиеся к логическим функциям. Подробно исследуются булевы функции двух переменных, зависимости между ними и методы построения функционально полных систем. Наряду с булевой алгеброй, рассматривается алгебра Жегалкина, что позволяет глубже проникнуть в структуру логических функций.

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

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

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