Тема 1.

Применение булевых функций к релейно-контактным схемам, в том числе к проектированию цифровых устройств в ЭВМ (шифраторы, дешифраторы, преобразователи кодов).

1. Изучить принцип работы релейно-контактной схемы.

2. Рассмотреть математическую модель представления релейно-контактных схем с помощью булевых функций.

3. Изучить цифровые устройств в ЭВМ, работающие по принципу релейно-контактных схем, (шифраторы, дешифраторы, преобразователи кодов)

4. Решить задачи 7.3, 7.7, 7.8 (через СДН форму), 7.11 из [3].

Литература:

1. Игошин В.И. Математическая логика и теория алгоритмов: учеб. пособие для студ. высш. учеб. заведений. - М: Изд. центр "Академия", 2008, 448с

2. Калабеков Б.А. Цифровые устройства и микропроцессорные схемы: Учебник для техникумов связи. –Горячая линия- Телеком, 2003, 336 с.

3. Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов: учеб. пособие для студ. высш. учеб. заведений. - М: Изд. центр "Академия", 2007, 304с

Тема 2.

Применение булевых функций к релейно-контактным схемам, в том числе к проектированию цифровых устройств в ЭВМ (сумматоры).

1. Изучить принцип работы релейно-контактной схемы.

2. Рассмотреть математическую модель представления релейно-контактных схем с помощью булевых функций.

3. Изучить цифровые устройств в ЭВМ, работающие по принципу релейно-контактных схем, (сумматоры)

4. Решить задачи 7.4, 7.6, 7.8 (через СКН форму), 7.21 из [3].

Литература:

1. Игошин в.И. Математическая логика и теория алгоритмов: учеб. Пособие для студ. Высш. Учеб. Заведений. - м: Изд. Центр "Академия", 2008, 448с

2. Калабеков Б.А. Цифровые устройства и микропроцессорные схемы: Учебник для техникумов связи. –Горячая линия- Телеком, 2003, 336 с.

3. Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов: учеб. пособие для студ. высш. учеб. заведений. - М: Изд. центр "Академия", 2007, 304с

Тема 3.Применение булевых функций в теории распознавания образов

1. Дать качественное описание задачи распознавания образов.

2. Описать основные задачи построения систем распознавания.

3. Дать понятие изображающих чисел и базиса, булевых уравнений.

4. Кратко описать прямую и обратную задачу распознавания образов, на примерах объяснить решения этих задач.

Литература:

1. Горелик А.Л., Скрипкин. В.А. Методы распознавания. – М.: Высшая школа, 1977.

Тема 4. Приложение логики высказываний к логико-математической практике.

1. Изучить применение логики высказываний в формулировках и доказательствах математических теорем.

2. Рассмотреть дедуктивные и индуктивные умозаключения.

3. Изучить применение логики высказываний в логических задачах.

4. Решить задачи 3.10, 3.12, 3.13, 3.20, 3.23, 3.42, 3.45, 3.55 из [2]

Литература:

1. Игошин в.И. Математическая логика и теория алгоритмов: учеб. Пособие для студ. Высш. Учеб. Заведений. - м: Изд. Центр "Академия", 2008, 448с

2. Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов: учеб. пособие для студ. высш. учеб. заведений. - М: Изд. центр "Академия", 2007, 304с

Тема 5. Формализованное исчисление предикатов.

1. Изучить первоначальные понятия формального исчисления предикатов (ИП), системы аксиом, правила вывода.

2. Разобрать теоремы о связи выводимости в ИП и истинности формул. (задачи 1-3, §5)[3]

3. Решить задачи 11.1-11.11 из [2]