- •Применение булевых функций к релейно-контактным схемам, в том числе к проектированию цифровых устройств в эвм (шифраторы, дешифраторы, преобразователи кодов). Занято
- •Литература:
- •2. Применение булевых функций к релейно-контактным схемам, в том числе к проектированию цифровых устройств в эвм (сумматоры). Занято
- •Изучить принцип работы релейно-контактной схемы.
- •Литература:
- •Игошин в.И. Математическая логика и теория алгоритмов: учеб. Пособие для студ. Высш. Учеб. Заведений. - м: Изд. Центр "Академия", 2008, 448с
- •Применение булевых функций в теории распознавания образов занято
- •Игошин в.И. Математическая логика и теория алгоритмов: учеб. Пособие для студ. Высш. Учеб. Заведений. - м: Изд. Центр "Академия", 2008, 448с
- •Игошин в.И. Математическая логика и теория алгоритмов: учеб. Пособие для студ. Высш. Учеб. Заведений. - м: Изд. Центр "Академия", 2008, 448с
- •Аксиоматическая теория множеств занято
- •Литература:
- •Логическая игра (1 вариант) занято
- •Литература:
- •Логическая игра (2 вариант) занято
- •Литература:
- •Неразрешимость логики первого порядка занято
- •Литература:
- •Нестандартные модели арифметики
- •Литература
- •1. Булос Дж., Джеффри р. Вычислимость и логика. – м.: Мир, 1994.
- •Метод диагонализации в математической логике занято
- •Литература
- •1 Булос Дж., Джеффри р. Вычислимость и логика. – м.: Мир, 1994.
- •12. Машины Тьюринга и невычислимые функции занято
- •Литература
- •1. Булос Дж., Джеффри р. Вычислимость и логика. – м.: Мир, 1994.
- •13. Вычислимость на абаке и рекурсивные функции
- •Литература
- •1 Булос Дж., Джеффри р. Вычислимость и логика. – м.: Мир, 1994.
- •14. Представимость рекурсивных функций и отрицательные результаты математической логики
- •1 Булос Дж., Джеффри р. Вычислимость и логика. – м.: Мир, 1994.
- •1. Булос Дж., Джеффри р. Вычислимость и логика. – м.: Мир, 1994.
- •Литература
- •Булос Дж., Джеффри р. Вычислимость и логика. – м.: Мир, 1994.
- •17. Логика второго порядка и определимость в арифметике (вариант-2)
- •Литература
- •Булос Дж., Джеффри р. Вычислимость и логика. – м.: Мир, 1994.
- •18. Метод ультрапроизведений в теории моделей (вариант-1)
- •Литература
- •19. Метод ультрапроизведений в теории моделей (вариант-2)
- •Литература
- •22. Интерполяционная лемма Крейга и ее приложения
- •Литература
- •1. Булос Дж., Джеффри р. Вычислимость и логика. – м.: Мир, 1994.
Темы курсовых работ:
Применение булевых функций к релейно-контактным схемам, в том числе к проектированию цифровых устройств в эвм (шифраторы, дешифраторы, преобразователи кодов). Занято
Изучить принцип работы релейно-контактной схемы.
Рассмотреть математическую модель представления релейно-контактных схем с помощью булевых функций.
Изучить цифровые устройств в ЭВМ, работающие по принципу релейно-контактных схем, (шифраторы, дешифраторы, преобразователи кодов)
Решить задачи 7.3, 7.7, 7.8 (через СДН форму), 7.11 из [3].
Литература:
Игошин В.И. Математическая логика и теория алгоритмов: учеб. пособие для студ. высш. учеб. заведений. - М: Изд. центр "Академия", 2008, 448с
Калабеков Б.А. Цифровые устройства и микропроцессорные схемы: Учебник для техникумов связи. –Горячая линия- Телеком, 2003, 336 с.
Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов: учеб. пособие для студ. высш. учеб. заведений. - М: Изд. центр "Академия", 2007, 304с
2. Применение булевых функций к релейно-контактным схемам, в том числе к проектированию цифровых устройств в эвм (сумматоры). Занято
Изучить принцип работы релейно-контактной схемы.
Рассмотреть математическую модель представления релейно-контактных схем с помощью булевых функций.
Изучить цифровые устройств в ЭВМ, работающие по принципу релейно-контактных схем, (сумматоры)
Решить задачи 7.4, 7.6, 7.8 (через СКН форму), 7.21 из [3].
Литература:
Игошин в.И. Математическая логика и теория алгоритмов: учеб. Пособие для студ. Высш. Учеб. Заведений. - м: Изд. Центр "Академия", 2008, 448с
Калабеков Б.А. Цифровые устройства и микропроцессорные схемы: Учебник для техникумов связи. –Горячая линия- Телеком, 2003, 336 с.
Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов: учеб. пособие для студ. высш. учеб. заведений. - М: Изд. центр "Академия", 2007, 304с
Применение булевых функций в теории распознавания образов занято
Дать качественное описание задачи распознавания образов.
Описать основные задачи построения систем распознавания.
Дать понятие изображающих чисел и базиса, булевых уравнений.
Кратко описать прямую и обратную задачу распознавания образов, на примерах объяснить решения этих задач.
Литература:
Горелик А.Л., Скрипкин. В.А. Методы распознавания. – М.: Высшая школа, 1977.
Приложение логики высказываний к логико-математической практике.ЗАНЯТО
Изучить применение логики высказываний в формулировках и доказательствах математических теорем.
Рассмотреть дедуктивные и индуктивные умозаключения.
Изучить применение логики высказываний в логических задачах.
Решить задачи 3.10, 3.12, 3.13, 3.20, 3.23, 3.42, 3.45, 3.55 из [2]
Литература:
Игошин в.И. Математическая логика и теория алгоритмов: учеб. Пособие для студ. Высш. Учеб. Заведений. - м: Изд. Центр "Академия", 2008, 448с
Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов: учеб. пособие для студ. высш. учеб. заведений. - М: Изд. центр "Академия", 2007, 304с
Формализованное исчисление предикатов.
Изучить первоначальные понятия формального исчисления предикатов (ИП), системы аксиом, правила вывода.
Разобрать теоремы о связи выводимости в ИП и истинности формул. (задачи 1-3, §5)[3]
Решить задачи 11.1-11.11 из [2]
Литература: