МИНОБРНАУКИ РОССИИ
федеральное государственное бюджетное образовательное учреждение высшего образования
«Алтайский государственный университет»

Математическая логика и теория алгоритмов

рабочая программа дисциплины
Закреплена за кафедройКафедра вычислительной техники и электроники
Направление подготовки09.03.01. Информатика и вычислительная техника
Форма обученияОчная
Общая трудоемкость5 ЗЕТ
Учебный план09_03_01_ИиВТ-3-2020
Часов по учебному плану 180
в том числе:
аудиторные занятия 72
самостоятельная работа 81
контроль 27
Виды контроля по семестрам
экзамены: 2

Распределение часов по семестрам

Курс (семестр) 1 (2) Итого
Недель 19
Вид занятий УПРПДУПРПД
Лекции 36 36 36 36
Практические 36 36 36 36
Сам. работа 81 81 81 81
Часы на контроль 27 27 27 27
Итого 180 180 180 180

Программу составил(и):
к.ф.-м.н., доцент, Иордан В.И.

Рецензент(ы):
к.ф.-м.н., доцент, Рудер Д.Д.

Рабочая программа дисциплины
Математическая логика и теория алгоритмов

разработана в соответствии с ФГОС:
Федеральный государственный образовательный стандарт высшего образования по направлению подготовки 09.03.01 ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА (уровень бакалавриата) (приказ Минобрнауки России от 12.01.2016 г. № 5)

составлена на основании учебного плана:
09.03.01 Информатика и вычислительная техника
утвержденного учёным советом вуза от 30.06.2020 протокол № 6.

Рабочая программа одобрена на заседании кафедры
Кафедра вычислительной техники и электроники

Протокол от 08.06.2020 г. № 79/19-20
Срок действия программы: 2020-2021 уч. г.

Заведующий кафедрой
к.ф.-м.н., Пашнев Владимир Валентинович, доц., зав. кафедрой "Вычислительной техники и электроники"


Визирование РПД для исполнения в очередном учебном году

Рабочая программа пересмотрена, обсуждена и одобрена для
исполнения в 2020-2021 учебном году на заседании кафедры

Кафедра вычислительной техники и электроники

Протокол от 08.06.2020 г. № 79/19-20
Заведующий кафедрой к.ф.-м.н., Пашнев Владимир Валентинович, доц., зав. кафедрой "Вычислительной техники и электроники"


1. Цели освоения дисциплины

1.1.Дисциплина «Математическая логика и теория алгоритмов» обеспечивает приобретение знаний в соответствии с государственным образовательным стандартом, содействует фундаментализации образования и развитию логического мышления.
Цель изучения дисциплины – формирование у будущих специалистов теоретических знаний и практических навыков по применению основ математической логики и теории алгоритмов для решения широкого спектра задач в различных областях с использованием современных персональных компьютеров и программных средств, а именно: ознакомить студентов с основами теории алгоритмов и математической логики; привить навыки решения задач математической логики, разработки алгоритмов и оценки их сложности; изложить основные разделы математической логики и теории алгоритмов.
Основными задачами изучения дисциплины «Математическая логика и теория алгоритмов» являются:
- овладение фундаментальными знаниями по математической логике и теории алгоритмов: целостное представление о науке и ее роли в развитии информационных и компьютерных технологий; владеть общими вопросами теории разработки алгоритмов;
- приобретение навыков логического и алгоритмического мышления;
- приобретение практических навыков по решению задач математической логики основам алгоритмизации и программирования.

2. Место дисциплины в структуре ООП

Цикл (раздел) ООП: Б1.Б

3. Компетенции обучающегося, формируемые в результате освоения дисциплины

СПК-1 способностью использовать основные законы естественнонаучных дисциплин в профессиональной деятельности, применять методы математического анализа и моделирования, теоретического и экспериментального исследования
В результате освоения дисциплины обучающийся должен
3.1.Знать:
3.1.1.- основы знаний по каждому разделу математической логике и теории алгоритмов во взаимосвязи с другими дисциплинами и курсами/спецкурсами;
- методы математических доказательств и правила логического вывода;
- основные подходы, раскрывающие понятие эффективно вычислимых функций и реализующих алгоритмические операторы, являющихся базисными инструментами построения различных алгоритмов.

3.2.Уметь:
3.2.1.- решать конкретные задачи по основным разделам математической логики и теории алгоритмов;
- логически и алгоритмически мыслить;
- применять основы логики и теории алгоритмов для создания средств обработки и передачи информации, а также для представления моделей на компьютерах.
3.3.Иметь навыки и (или) опыт деятельности (владеть):
3.3.1.- общими навыками решения конкретных задач по основным разделам математической логики и теории алгоритмов;
- навыками логического и алгоритмического мышления;
- умениями применять основы математической логики и теории алгоритмов, как в теоретических, так и в технических приложениях.

4. Структура и содержание дисциплины

Код занятия Наименование разделов и тем Вид занятия Семестр Часов Компетенции Литература
Раздел 1. Предмет математической логики. Формулы логики высказываний.
1.1. Что изучает логика и математическая логика? Компоненты формальных теорий. Что такое высказывание? Логические операции (связки: отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция). Формулы логики высказываний (подформулы). Интерпретация формул. Таблицы истинности для формул. Выполнимые и опровержимые формулы. Тождественно-истинные и тождественно-ложные формулы (тавтологии и противоречия). Теоремы 1 и 2 «о тавтологиях». Наиболее важные тавтологии. Примеры тавтологий и противоречий. Логическая эквивалентность – равносильность формул. Основные равносильности (правила равносильных преобразований). Правило подстановки. Теоремы 1,2,3 «о равносильностях». Лекции 2 3 Л1.1, Л2.1, Л2.2
1.2. Упражнение 1.1. [Л2.1] Упражнение 1.2. [Л2.1] Упражнение 1.3. [Л2.1] Упражнение 1.4. [Л2.1] Упражнения к главе 1. [Л1.2] Практические 2 6 Л1.1, Л2.1, Л2.2
1.3. Система аксиом Пеано. Сам. работа 2 5 Л1.1, Л2.1, Л2.2
Раздел 2. Формальная теория Г. Метатеория формальных систем.
2.1. Формальные теории (ФТ). Состав формальной теории Γ. Выводимость формул: определения «выводимой формулы», «вывода», «теоремы», свойства «сохранения выводимости при добавлении лишних гипотез», интерпретации и «модели множества формул», «модели ФТ». Общезначимость, непротиворечивость, полнота, независимость и разрешимость теории Г: определения общезначимой (тавтологии) и противоречивой формул, формулы «логического следствия» множества формул Г, определения «семантически и формально непротиворечивых» теории Г. Формулировки «метатеорем» о «семантически и формально непротиворечивых» теориях Г (без доказательства). Определения «полной» теории Г, «аксиоматизируемого» множества формул F, «независимой» системы аксиом, «разрешимой и полуразрешимой» теории Г. Лекции 2 2 Л1.1, Л2.1, Л2.2
2.2. Элементы теории моделей: Типы и основные классы моделей. Сам. работа 2 5 Л1.1, Л2.1, Л2.2
Раздел 3. Исчисление высказываний (ИВ) - Формальная теория L. Аксиоматические системы. Теорема дедукции.
3.1. Исчисление высказываний – формальная теория L: определение ИВ (ее состав). Определения: «формула В - частный случай формулы А», унификатор, «формула С - совместный частный случай формул А и В», унифицируемые формулы и наиболее общий унификатор, частный случай набора формул и совместный частный случай набора формул. Различные аксиоматизации ИВ: Аксиомы Клини. Доказательство Теоремы 1: A->A. Доказательство Теоремы 2: A->(B->A) и ее смысл (производное правило – правило «введения импликации»). Доказательство Теоремы «дедукции». Применимость правила дедукции для более широкого класса ФТ. Следствие 1(доказательство). Следствие 2:правило «транзитивности»(доказательство). Следствие 3: правило «сечения» (доказательство). Некоторые важные теоремы ИВ: ТЕОРЕМЫ (с доказательством): а)теорема «удаления двойного отрицания», б)теорема «введения двойного отрицания», в) , г) 1-ая теорема контрапозиции, д)2-ая теорема контрапозиции, е), ж). Множество теорем ИВ: доказательство основной леммы ИВ. Множество теорем ИВ: доказател Лекции 2 8 Л1.1, Л2.1, Л2.2
3.2. Практическое занятие по теме «Булева алгебра» Примеры 3.1 и 3.2 из главы 3 [Л2.1] Упражнения к главе 3. [Л1.1] Практическое занятие по теме «Логика высказываний» Упражнения к главе 4. [Л1.1] Упражнения 2. [Л2.1] Задачи и упражнения к главе 1 [Л1.2] Практические 2 10 Л1.1, Л2.1, Л2.2
3.3. Исчисление высказываний генценовского типа. Исчисление высказываний гильбертовского типа. Алгоритмы проверки общезначимости и противоречивости в ИВ. Сам. работа 2 8 Л1.1, Л2.1, Л2.2
Раздел 4. Исчисление предикатов (ИП) – формальная теория К.Синтаксис и семантика языка логики предикатов. Клазуальная форма.
4.1. Исчисление предикатов (ИП) – формальная теория К: определение и состав ИП. Свободное и связанное вхождение переменных в формулы. Контрарные литералы. Определение «свободного терма» в формуле, «чистого и прикладного ИП (ЧИП и ПИП)». Интерпретация ИП: определение, свойства интерпретации (11 свойств, в том числе определения истинной и открытой формул, модели множества формул). Общезначимость: определение и две теоремы. Метатеоремы 1, 2 о полноте ЧИП (без доказательства). Определения «логического следования» и «логической эквивалентности». Некоторые следствия и эквивалентности. Лекции 2 5 Л1.1, Л2.1, Л2.2
4.2. Практическое занятие по теме «Логика предикатов» Упражнения к главе 4. [Л1.1] Упражнения 4. [Л2.1] Задачи и упражнения к главе 2 [Л1.2] Практические 2 6 Л1.1, Л2.1, Л2.2
4.3. Пропозициональные логики. Алгоритмические логики Сам. работа 2 13 Л1.1, Л2.1, Л2.2
Раздел 5. Некоторые прикладные Исчисления предикатов (ПИП). Темпоральные логики. Нечеткая и модальные логики.
5.1. Теория равенства: определение и 3 теоремы (с доказательством): 1) рефлексивность; 2) симметричность; 3) транзитивность. Вывод из теории равенства. Формальная арифметика (аксиоматика). Теория абелевых групп (АГ): определения АГ конечного порядка, полной АГ, периодической АГ. Формулировки 2-х Метатеорем Геделя о «неполноте» ПИП 1-го порядка. Вывод из теорем.Темпоральные логики; нечеткая и модальные логики, нечеткая арифметика. Лекции 2 2 Л1.1, Л2.1, Л2.2
5.2. Нестандартные модели арифметики. Сам. работа 2 6 Л1.1, Л2.1, Л2.2
Раздел 6. Автоматическое доказательство теорем. Правила резолюций в ИВ и ИП.
6.1. Автоматическое доказательство теорем (АДТ): постановка задачи, теорема «доказательство от противного» (как основа метода «резолюции»). Сведение формул ИП к предложениям. Теорема «о невыполнимости множества предложений, полученных из противоречия». Правило резолюции (ПР) для ИВ. Теорема (с доказательством): «ПР логично, т.е. резольвента – логическое следствие резольвируемых предложений». Правило резолюции для ИП. Алгоритм АДТ: «опровержение методом резолюций» (3 возможных случая). Вывод в отношении ИП на основании 3-го случая. Пример доказательства теорем ИВ по алгоритму АДТ «опровержение методом резолюций». Лекции 2 4 Л1.1, Л2.1, Л2.2
6.2. Примеры доказательства теорем ИВ по алгоритму АДТ «опровержение методом резолюций». Сам. работа 2 6 Л1.1, Л2.1, Л2.2
Раздел 7. Понятие алгоритма и неформальной вычислимости. Подход Геделя-Клини
7.1. Понятие алгоритма и неформальной вычислимости: определения и основные особенности алгоритма. Подход Геделя-Клини к формализации понятия алгоритма: Частично-рекурсивные функции (ЧРФ): операторы суперпозиции, примитивной рекурсии, минимизации для построения ЧРФ. Примеры рекурсивности (примитивно-рекурсивных и общерекурсивных функций) Лекции 2 3 Л1.1, Л2.1, Л2.2
7.2. Практическое занятие по теме «Теория алгоритмов» Задачи из главы 6 и 7. [Л2.1] Задачи и упражнения к главе 4 [Л1.1] Практические 2 8 Л1.1, Л2.1, Л2.2
7.3. Теория алгоритмов и конечные автоматы. Универсально частично рекурсивные функции. Теорема Райса. Сам. работа 2 10 Л1.1, Л2.1, Л2.2
Раздел 8. Подход А. Черча. Лямбда-исчисление
8.1. Подход А. Черча: Лямбда-исчисление. Его особенности. Лямбда-выражения и их вычисления. Определение лямбда-термов и лямбда-выражений. Редексы. Процесс редукции. Примеры редукций. Нормальные формы выражений и порядок редукций: аппликативный (АПР - стратегия энергичных вычислений) и нормальный (НПР - стратегия ленивых вычислений) порядок редукций. Следствие из теоремы Черча-Россера. Рекурсивные функции. Комбинатор неподвижной точки. Чистое лямбда-исчисление. Лекции 2 5 Л1.1, Л2.1, Л2.2
8.2. Практическое занятие по теме «Теория алгоритмов» Задачи из главы 6 и 7. [Л2.1] Задачи и упражнения к главе 4 [Л1.1] Практические 2 6 Л1.1, Л2.1, Л2.2
8.3. Лямбда-абстракции. Сам. работа 2 15 Л1.1, Л2.1, Л2.2
Раздел 9. Другие подходы к определению понятия алгоритма
9.1. Машины Тьюринга. Другие подходы к определению понятия алгоритма. Тезис Черча. Алгоритмически неразрешимые проблемы. Лекции 2 2 Л1.1, Л2.1, Л2.2
9.2. Алгоритмически неразрешимые проблемы. Сам. работа 2 6 Л1.1, Л2.1, Л2.2
Раздел 10. Сложность алгоритмов. Классификация задач по сложности. NP-трудные и NP-полные задачи.
10.1. Сложность алгоритмов: в наихудшем случае и поведения в среднем. Сложность задачи. Классификация задач по сложности: класс Р и класс Е. Класс NP. NP-трудные и NP-полные задачи. Теорема Кука. Эффективные алгоритмы. Основы нечеткой логики и элементы алгоритмической логики. Алгоритмическая логика Ч. Хоара. Лекции 2 2 Л1.1, Л2.1, Л2.2
10.2. Переборные задачи. Сам. работа 2 7 Л1.1, Л2.1, Л2.2
Раздел 11. аттестация
11.1. Экзамен 2 27 Л1.1, Л2.1, Л2.2

5. Фонд оценочных средств

5.1. Контрольные вопросы и задания для проведения текущего контроля и промежуточной аттестации по итогам освоения дисциплины
Часть 1. Математическая логика.
1.1. Что изучает логика и математическая логика? Компоненты формальных теорий. Что такое высказывание? Логические операции (связки: отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция).
1.2. Формулы логики высказываний (подформулы). Интерпретация формул. Таблицы истинности для формул.
1.3. Выполнимые и опровержимые формулы. Тождественно-истинные и тождественно-ложные формулы (тавтологии и противоречия). Теоремы 1 и 2 «о тавтологиях». Наиболее важные тавтологии. Примеры тавтологий и противоречий.
1.4. Логическая эквивалентность – равносильность формул. Основные равносильности (правила равносильных преобразований). Правило подстановки. Теоремы 1,2,3 «о равносильностях».
1.5. Формальные теории (ФТ). Состав формальной теории Γ. Выводимость формул: определения «выводимой формулы», «вывода», «теоремы», свойства «сохранения выводимости при добавлении лишних гипотез», интерпретации и «модели множества формул», «модели ФТ».
1.6. Общезначимость, непротиворечивость, полнота, независимость и разрешимость теории Г: определения общезначимой (тавтологии) и противоречивой формул, формулы «логического следствия» множества формул Г, определения «семантически и формально непротиворечивых» теории Г. Формулировки «метатеорем» о «семантически и формально непротиворечивых» теориях Г (без доказательства). Определения «полной» теории Г, «аксиоматизируемого» множества формул F, «независимой» системы аксиом, «разрешимой и полуразрешимой» теории Г.
1.7. Исчисление высказываний – формальная теория L: определение ИВ (ее состав). Определения: «формула В - частный случай формулы А», унификатор, «формула С - совместный частный случай формул А и В», унифицируемые формулы и наиболее общий унификатор, частный случай набора формул и совместный частный случай набора формул.
1.8. Различные аксиоматизации ИВ: Аксиомы Клини. Доказательство Теоремы 1: А->A. Доказательство Теоремы 2: А->(B->A) и ее смысл (производное правило – правило «введения импликации»).
1.9. Доказательство Теоремы «дедукции».
1.10. Применимость правила дедукции для более широкого класса ФТ. Следствие 1,Следствие 2 - правило «транзитивности». Следствие 3 - правило «сечения». Доказательство следствий.
1.11. Некоторые важные теоремы ИВ: ТЕОРЕМЫ (с доказательством): а) теорема «удаления двойного отрицания», б) теорема «введения двойного отрицания», в), г) 1-ая теорема контрапозиции, д) 2-ая теорема контрапозиции, е) , ж).
1.12. Множество теорем ИВ: доказательство леммы.
1.13. Множество теорем ИВ: доказательство теоремы полноты и Следствия: Теория L – формально непротиворечива.
1.14. Исчисление предикатов (ИП) – формальная теория К: определение и состав ИП. Свободное и связанное вхождение переменных в формулы. Контрарные литералы. Определение «свободного терма» в формуле, «чистого и прикладного ИП (ЧИП и ПИП)»
1.15. Интерпретация ИП: определение, свойства интерпретации (11 свойств, в том числе определения истинной и открытой формул, модели множества формул).
1.16. Общезначимость: определение и две теоремы "общезначимости". Метатеоремы 1, 2 о полноте ЧИП (без доказательства).
1.17. Определения «логического следования» и «логической эквивалентности». Некоторые следствия и эквивалентности.
1.18. Теория равенства: определение и 3 теоремы (с доказательством): 1) рефлексивность; 2) симметричность; 3) транзитивность. Вывод из теории равенства.
1.19. Формальная арифметика (аксиоматика).
1.20. Теория абелевых групп (АГ): определения АГ конечного порядка, полной АГ, периодической АГ. Формулировки 2-х Метатеорем Геделя о «неполноте» ПИП 1-го порядка. Вывод из теорем.
1.21. Автоматическое доказательство теорем (АДТ): постановка задачи, теорема «доказательство от противного» (как основа метода «резолюции»).
1.22. Сведение формул ИП к предложениям. Теорема «о невыполнимости множества предложений, полученных из противоречия».
1.23. Правило резолюции (ПР) для ИВ. Теорема (с доказательством): «ПР логично, т.е. резольвента – логическое следствие резольвируемых предложений».
1.24. Правило резолюции для ИП.
1.25. Алгоритм АДТ: «опровержение методом резолюций» (3 возможных случая). Вывод в отношении ИП на основании 3-го случая. Пример доказательства (из семинарского занятия) теорем ИВ по алгоритму АДТ «опровержение методом резолюций».
ГЛАВА 2. ТЕОРИЯ АЛГОРИТМОВ
2.1. Понятие алгоритма и неформальной вычислимости: определения и основные особенности алгоритма.
2.2. Подход Геделя-Клини к формализации понятия алгоритма: Частично-рекурсивные функции (ЧРФ): операторы суперпозиции, примитивной рекурсии, минимизации для построения ЧРФ.
2.3. Примеры рекурсивности (примитивно-рекурсивных и общерекурсивных функций)
2.4. Подход А. Черча: Ламбда-исчисление. Его особенности. выражения и их вычисления.
2.5. Определение термов и выражений. Редексы. Процесс редукции. Примеры редукций.
2.6. Нормальные формы выражений и порядок редукций: аппликативный (АПР - стратегия энергичных вычислений) и нормальный (НПР - стратегия ленивых вычислений) порядок редукций. Следствие из теоремы Черча-Россера.
2.7. Рекурсивные функции. Комбинатор неподвижной точки.
2.8. Чистое исчисление.
2.9. Машины Тьюринга.
2.10. Другие подходы к определению понятия алгоритма. Тезис Черча.
2.11. Алгоритмически неразрешимые проблемы.
2.12. Сложность алгоритмов: в наихудшем случае и поведения в среднем. Сложность задачи.
2.13. Классификация задач по сложности: класс Р и класс Е.
2.14. Класс NP. NP-трудные и NP-полные задачи. Теорема Кука.
5.2. Темы письменных работ для проведения текущего контроля (эссе, рефераты, курсовые работы и др.)
1. Исчисление высказываний генценовского типа.
2. Исчисление высказываний гильбертовского типа.
3. Алгоритмы проверки общезначимости и противоречивости в ИВ.
4. Элементы теории моделей: Типы и основные классы моделей.
5. Система аксиом Пеано.
6. Нестандартные модели арифметики.
7. Теория алгоритмов и конечные автоматы.
8. Предполные классы.
9. Универсально частично рекурсивные функции. Теорема Райса.
10. Пропозициональные логики.
11. Алгоритмические логики.
12. Переборные задачи.
5.3. Фонд оценочных средств для проведения промежуточной аттестации
в Приложении ФОС

6. Учебно-методическое и информационное обеспечение дисциплины

6.1. Рекомендуемая литература
6.1.1. Основная литература
Авторы Заглавие Издательство, год Эл. адрес
Л1.1 Глухов М.М., Шишков А.Б. Математическая логика. Дискретные функции. Теория алгоритмов: для бакалавров и магистров СПб.: Лань // ЭБС "Лань", 2012 e.lanbook.com
6.1.2. Дополнительная литература
Авторы Заглавие Издательство, год Эл. адрес
Л2.1 Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов.: для бакалавров и магистров Физматлит, 2002 biblioclub.ru
Л2.2 Лавров И. А. , Максимова Л. Л. Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов.: для бакалавров и магистров Лань, 2002 biblioclub.ru
6.2. Перечень ресурсов информационно-телекоммуникационной сети "Интернет"
Название Эл. адрес
Э1 e.lanbook.com/books/
Э2 www.gpntb.ru/ Государственная публичная научно-техническая библиотека.
Э3 www.nlr.ru/ Российская национальная библиотека.
Э4 www.nns.ru/ Национальная электронная библиотека.
Э5 www.rsl.ru/ Российская государственная библиотека.
Э6 www.microinform.ru/ Учебный центр компьютерных технологий «Микроинформ».
Э7 www.tests.specialist.ru/ Центр компьютерного обучения МГТУ им. Н.Э.Баумана.
Э8 www.intuit.ru/ Образовательный сайт
Э9 www.window.edu.ru/ Библиотека учебной и методической литературы
Э10 www.osp.ru/ Журнал «Открытые системы»
Э11 www.ihtika.lib.ru/ Библиотека учебной и методической литературы
6.3. Перечень программного обеспечения
Специализированного программного обеспечения не требуется.
Open Office
Условия использования: http://www.openoffice.org/license.html
LibreOffice
Условия использования: https://ru.libreoffice.org/about-us/license/
7-zip
Условия использования: https://www.7-zip.org/license.txt
Visual Studio
Условия использования: https://code.visualstudio.com/license
Acrobat Reader
Условия использования: http://wwwimages.adobe.com/content/dam/Adobe/en/legal/servicetou/Acrobat_com_Additional_TOU-en_US-20140618_1200.pdf
Mozila FireFox
Условия использования: https://www.mozilla.org/en-US/about/legal/eula/
Chrome
Условия использования: http://www.chromium.org/chromium-os/licenses
Microsoft Windows
Microsoft Office
6.4. Перечень информационных справочных систем
не требуется

7. Материально-техническое обеспечение дисциплины

Аудитория Назначение Оборудование
001вК склад экспериментальной мастерской - помещение для хранения и профилактического обслуживания учебного оборудования Акустический прибор 01021; виброизмеритель 00032; вольтметр Q1202 Э-500; вольтметр универсальный В7-34А; камера ВФУ -1; компьютер Турбо 86М; масспектрометр МРС -1; осциллограф ЕО -213- 2 ед.; осциллограф С1-91; осциллограф С7-19; программатор С-815; самописец 02060 – 2 ед.; стабилизатор 3218; терц-октавный фильтр 01023; шкаф вытяжной; шумомер 00026; анализатор АС-817; блок 23 Г-51; блок питания "Статрон" – 2 ед.; блок питания Ф 5075; вакуумный агрегат; весы; вольтметр VM -70; вольтметр В7-15; вольтметр В7-16; вольтметр ВУ-15; генератор Г-5-6А; генератор Г4-76А; генератор Г4-79; генератор Г5-48; датчик колебаний КВ -11/01; датчик колебаний КР -45/01; делитель Ф5093; измеритель ИМП -2; измеритель параметров Л2-12; интерферометр ИТ 51-30; источник "Агат" – 3 ед.; источник питания; источник питания 3222; источник питания ЭСВ -4; лабораторная установка для настройки газовых лазеров; лазер ЛГИ -21; М-кальк-р МК-44; М-калькул-р "Электроника"; магазин сопротивления Р4075; магазин сопротивления Р4077; микроскоп МБС -9; модулятор МДЕ; монохроматор СДМС -97; мост переменного тока Р5066; набор цветных стекол; насос вакумный; насос вакуумный ВН-01; осциллограф С1-31; осциллограф С1-67; осциллограф С1-70; осциллограф С1-81; осциллоскоп ЕО -174В – 2 ед.; пентакта L-100; пирометр "Промень"; пистонфон 05001; преобразователь В9-1; прибор УЗДН -2Т; скамья оптическая СО 1м; спектограф ДФС -452; спектограф ИСП -51; стабилизатор 1202; стабилизатор 3217 – 4 ед.; стабилизатор 3218; стабилизатор 3222 – 3 ед.; станок токарный ТВ-4; усилитель мощности ЛВ -103 – 4 ед.; усилитель У5-9; центрифуга ВЛ-15; частотомер Ч3-54А; шкаф металлический; эл.двигатель; электродинамический калибратор 11032
Помещение для самостоятельной работы помещение для самостоятельной работы обучающихся Компьютеры, ноутбуки с подключением к информационно-телекоммуникационной сети «Интернет», доступом в электронную информационно-образовательную среду АлтГУ
Помещение для самостоятельной работы помещение для самостоятельной работы обучающихся Компьютеры, ноутбуки с подключением к информационно-телекоммуникационной сети «Интернет», доступом в электронную информационно-образовательную среду АлтГУ
Учебная аудитория для проведения занятий лекционного типа, занятий семинарского типа (лабораторных и(или) практических), групповых и индивидуальных консультаций, текущего контроля и промежуточной аттестации, курсового проектирования (выполнения курсовых работ), проведения практик Стандартное оборудование (учебная мебель для обучающихся, рабочее место преподавателя, доска)

8. Методические указания для обучающихся по освоению дисциплины

Для освоения лекционного материала дисциплины в библиотеке университета имеется в наличии достаточное количество учебников по математической логике и теории алгоритмов. Кроме того, учебное пособие: Шелупанов А.А., Зюзьков В.М. "Математическая логика и теория алгоритмов". Томск: SST, 2001.- 176 c.
в электронном варианте, доступное для студентов, имеется на кафедре ВТиЭ (на компьютере)и у преподавателей, ведущих дисциплину "Математическая логика и теория алгоритмов". Задания к семинарским практическим занятиям по курсу "Математическая логика и теория алгоритмов" содержатся в приложении ФОС, в котором приведены тесты для проверки текущих знаний и на образовательном портале по ссылке https://portal.edu.asu.ru/course/view.php?id=4434.