Как пользоваться данным учебником

В данном учебнике содержится теоретический материал по разделам:

1. Алгебраические системы
2. Графы
3. Булевы функции
4. Математическая логика

1. Аксиоматический метод
2. Логика высказываний
3. Логика предикатов

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

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

Кроме того, в тексте имеются гиперссылки на отдельные термины, теоремы, задачи и т.д. Ссылки на другие разделы отмечены специальными пиктограммами (они отсылают к материалу, далекому от текущего). Пиктограмма обозначает ссылку на один из следующих разделов, а - на предыдущие.

Каждый раздел кроме теоретического материала содержит практические задания. В разделах 1 и 3 они приведены в конце параграфов, а в разделах 2 и 4 - они неотделимы от основного текста - на них базируется изложение материала. Для нескольких задач приведены решения.

К большинству задач из разделов 1 и 3 приведены ответы, а из разделов 2 и 4 - указания для решения. Просмотреть их можно в небольшом окне, расположенном ниже основного текста. Для этого достаточно навести мышку на соответствующую подпись в тексте. Кроме того, в этом же окне будут появляться примечания, отмеченные в тексте знаком ^*.

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