Закреплена за кафедрой | Кафедра вычислительной техники и электроники |
---|---|
Направление подготовки | 10.03.01. Информационная безопасность |
Профиль | Безопасность автоматизированных систем (в сфере профессиональной деятельности) |
Форма обучения | Очная |
Общая трудоемкость | 4 ЗЕТ |
Учебный план | 10_03_01_ИБ-1-2020 |
|
|
Распределение часов по семестрам
Курс (семестр) | 1 (2) | Итого | ||
---|---|---|---|---|
Недель | 19 | |||
Вид занятий | УП | РПД | УП | РПД |
Лекции | 36 | 36 | 36 | 36 |
Практические | 18 | 18 | 18 | 18 |
Сам. работа | 90 | 90 | 90 | 90 |
Итого | 144 | 144 | 144 | 144 |
Визирование РПД для исполнения в очередном учебном году
Рабочая программа пересмотрена, обсуждена и одобрена для
исполнения в 2020-2021 учебном году на заседании
кафедры
Кафедра вычислительной техники и электроники
Протокол от 08.06.2020 г. № 79/19-20
Заведующий кафедрой к.ф.-м.н., Пашнев Владимир Валентинович, доц., зав. кафедрой "Вычислительной техники и электроники"
1.1. | Дисциплина «Математическая логика и теория алгоритмов» обеспечивает приобретение знаний в соответствии с государственным образовательным стандартом, содействует фундаментализации образования и развитию логического мышления. Цель изучения дисциплины – формирование у будущих специалистов теоретических знаний и практических навыков по применению основ математической логики и теории алгоритмов для решения широкого спектра задач в различных областях с использованием современных персональных компьютеров и программных средств, а именно: ознакомить студентов с основами теории алгоритмов и математической логики; привить навыки решения задач математической логики, разработки алгоритмов и оценки их сложности; изложить основные разделы математической логики и теории алгоритмов. Основными задачами изучения дисциплины «Математическая логика и теория алгоритмов» являются: - овладение фундаментальными знаниями по математической логике и теории алгоритмов: целостное представление о науке и ее роли в развитии информационных и компьютерных технологий; владеть общими вопросами теории разработки алгоритмов; - приобретение навыков логического и алгоритмического мышления; - приобретение практических навыков по решению задач математической логики основам алгоритмизации и программирования. |
---|
Цикл (раздел) ООП: Б1.Б.04 |
ОПК-2 | способностью применять соответствующий математический аппарат для решения профессиональных задач |
В результате освоения дисциплины обучающийся должен | |
3.1. | Знать: |
---|---|
3.1.1. | - основы знаний по каждому разделу математической логике и теории алгоритмов во взаимосвязи с другими дисциплинами и курсами/спецкурсами; - методы математических доказательств и правила логического вывода; - основные подходы, раскрывающие понятие эффективно вычислимых функций и реализующих алгоритмические операторы, являющихся базисными инструментами построения различных алгоритмов. |
3.2. | Уметь: |
3.2.1. | - решать конкретные задачи по основным разделам математической логики и теории алгоритмов; - логически и алгоритмически мыслить; - применять основы логики и теории алгоритмов для создания средств обработки и передачи информации, а также для представления моделей на компьютерах. |
3.3. | Иметь навыки и (или) опыт деятельности (владеть): |
3.3.1. | - общими навыками решения конкретных задач по основным разделам математической логики и теории алгоритмов; - навыками логического и алгоритмического мышления; - умениями применять основы математической логики и теории алгоритмов, как в теоретических, так и в технических приложениях. |
Код занятия | Наименование разделов и тем | Вид занятия | Семестр | Часов | Компетенции | Литература |
---|---|---|---|---|---|---|
Раздел 1. Предмет математической логики. Формулы логики высказываний. | ||||||
1.1. | Что изучает логика и математическая логика? Компоненты формальных теорий. Что такое высказывание? Логические операции (связки: отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция). Формулы логики высказываний (подформулы). Интерпретация формул. Таблицы истинности для формул. Выполнимые и опровержимые формулы. Тождественно-истинные и тождественно-ложные формулы (тавтологии и противоречия). Теоремы 1 и 2 «о тавтологиях». Наиболее важные тавтологии. Примеры тавтологий и противоречий. Логическая эквивалентность – равносильность формул. Основные равносильности (правила равносильных преобразований). Правило подстановки. Теоремы 1,2,3 «о равносильностях». | Лекции | 2 | 4 | ОПК-2 | Л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 | 2 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
1.3. | Система аксиом Пеано. | Сам. работа | 2 | 1 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
Раздел 2. Формальная теория Г. Метатеория формальных систем. | ||||||
2.1. | Формальные теории (ФТ). Состав формальной теории Γ. Выводимость формул: определения «выводимой формулы», «вывода», «теоремы», свойства «сохранения выводимости при добавлении лишних гипотез», интерпретации и «модели множества формул», «модели ФТ». Общезначимость, непротиворечивость, полнота, независимость и разрешимость теории Г: определения общезначимой (тавтологии) и противоречивой формул, формулы «логического следствия» множества формул Г, определения «семантически и формально непротиворечивых» теории Г. Формулировки «метатеорем» о «семантически и формально непротиворечивых» теориях Г (без доказательства). Определения «полной» теории Г, «аксиоматизируемого» множества формул F, «независимой» системы аксиом, «разрешимой и полуразрешимой» теории Г. | Лекции | 2 | 4 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
2.2. | Элементы теории моделей: Типы и основные классы моделей. | Сам. работа | 2 | 6 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
Раздел 3. Исчисление высказываний (ИВ) - Формальная теория L. Аксиоматические системы. Теорема дедукции. | ||||||
3.1. | Исчисление высказываний – формальная теория L: определение ИВ (ее состав). Определения: «формула В - частный случай формулы А», унификатор, «формула С - совместный частный случай формул А и В», унифицируемые формулы и наиболее общий унификатор, частный случай набора формул и совместный частный случай набора формул. Различные аксиоматизации ИВ: Аксиомы Клини. Доказательство Теоремы 1: A->A. Доказательство Теоремы 2: A->(B->A) и ее смысл (производное правило – правило «введения импликации»). Доказательство Теоремы «дедукции». Применимость правила дедукции для более широкого класса ФТ. Следствие 1(доказательство). Следствие 2:правило «транзитивности»(доказательство). Следствие 3: правило «сечения» (доказательство). Некоторые важные теоремы ИВ: ТЕОРЕМЫ (с доказательством): а)теорема «удаления двойного отрицания», б)теорема «введения двойного отрицания», в) , г) 1-ая теорема контрапозиции, д)2-ая теорема контрапозиции, е), ж). Множество теорем ИВ: доказательство основной леммы ИВ. Множество теорем ИВ: доказател | Лекции | 2 | 4 | ОПК-2 | Л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 | 6 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
3.3. | Исчисление высказываний генценовского типа. Исчисление высказываний гильбертовского типа. Алгоритмы проверки общезначимости и противоречивости в ИВ. | Сам. работа | 2 | 16 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
Раздел 4. Исчисление предикатов (ИП) – формальная теория К.Синтаксис и семантика языка логики предикатов. Клазуальная форма. Функции К-значной логики. | ||||||
4.1. | Исчисление предикатов (ИП) – формальная теория К: определение и состав ИП. Свободное и связанное вхождение переменных в формулы. Контрарные литералы. Определение «свободного терма» в формуле, «чистого и прикладного ИП (ЧИП и ПИП)». Интерпретация ИП: определение, свойства интерпретации (11 свойств, в том числе определения истинной и открытой формул, модели множества формул). Общезначимость: определение и две теоремы. Метатеоремы 1, 2 о полноте ЧИП (без доказательства). Определения «логического следования» и «логической эквивалентности». Некоторые следствия и эквивалентности. | Лекции | 2 | 4 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
4.2. | Практическое занятие по теме «Логика предикатов» Упражнения к главе 4. [Л1.1] Упражнения 4. [Л2.1] Задачи и упражнения к главе 2 [Л1.2] | Практические | 2 | 3 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
4.3. | Пропозициональные логики. Алгоритмические логики. Функции К-значной логики. | Сам. работа | 2 | 18 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
Раздел 5. Некоторые прикладные Исчисления предикатов (ПИП). Темпоральные логики. Нечеткая и модальные логики. | ||||||
5.1. | Теория равенства: определение и 3 теоремы (с доказательством): 1) рефлексивность; 2) симметричность; 3) транзитивность. Вывод из теории равенства. Формальная арифметика (аксиоматика). Теория абелевых групп (АГ): определения АГ конечного порядка, полной АГ, периодической АГ. Формулировки 2-х Метатеорем Геделя о «неполноте» ПИП 1-го порядка. Вывод из теорем.Темпоральные логики; нечеткая и модальные логики, нечеткая арифметика. | Лекции | 2 | 4 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
5.2. | Нестандартные модели арифметики. | Сам. работа | 2 | 3 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
Раздел 6. Автоматическое доказательство теорем. Правила резолюций в ИВ и ИП. | ||||||
6.1. | Автоматическое доказательство теорем (АДТ): постановка задачи, теорема «доказательство от противного» (как основа метода «резолюции»). Сведение формул ИП к предложениям. Теорема «о невыполнимости множества предложений, полученных из противоречия». Правило резолюции (ПР) для ИВ. Теорема (с доказательством): «ПР логично, т.е. резольвента – логическое следствие резольвируемых предложений». Правило резолюции для ИП. Алгоритм АДТ: «опровержение методом резолюций» (3 возможных случая). Вывод в отношении ИП на основании 3-го случая. Пример доказательства теорем ИВ по алгоритму АДТ «опровержение методом резолюций». | Лекции | 2 | 4 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
6.2. | Примеры доказательства теорем ИВ по алгоритму АДТ «опровержение методом резолюций». | Сам. работа | 2 | 2 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
Раздел 7. Понятие алгоритма и неформальной вычислимости. Подход Геделя-Клини | ||||||
7.1. | Понятие алгоритма и неформальной вычислимости: определения и основные особенности алгоритма. Подход Геделя-Клини к формализации понятия алгоритма: Частично-рекурсивные функции (ЧРФ): операторы суперпозиции, примитивной рекурсии, минимизации для построения ЧРФ. Примеры рекурсивности (примитивно-рекурсивных и общерекурсивных функций) | Лекции | 2 | 4 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
7.2. | Практическое занятие по теме «Теория алгоритмов» Задачи из главы 6 и 7. [Л2.1] Задачи и упражнения к главе 4 [Л1.1] | Практические | 2 | 4 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
7.3. | Теория алгоритмов и конечные автоматы. Универсально частично рекурсивные функции. Теорема Райса. | Сам. работа | 2 | 16 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
Раздел 8. Подход А. Черча. Лямбда-исчисление | ||||||
8.1. | Подход А. Черча: Лямбда-исчисление. Его особенности. Лямбда-выражения и их вычисления. Определение лямбда-термов и лямбда-выражений. Редексы. Процесс редукции. Примеры редукций. Нормальные формы выражений и порядок редукций: аппликативный (АПР - стратегия энергичных вычислений) и нормальный (НПР - стратегия ленивых вычислений) порядок редукций. Следствие из теоремы Черча-Россера. Рекурсивные функции. Комбинатор неподвижной точки. Чистое лямбда-исчисление. | Лекции | 2 | 4 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
8.2. | Практическое занятие по теме «Теория алгоритмов» Задачи из главы 6 и 7. [Л2.1] Задачи и упражнения к главе 4 [Л1.1] | Практические | 2 | 3 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
8.3. | Лямбда-абстракции. | Сам. работа | 2 | 12 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
Раздел 9. Другие подходы к определению понятия алгоритма. Реляционная алгебра и ее исчисление. | ||||||
9.1. | Машины Тьюринга. Другие подходы к определению понятия алгоритма. Тезис Черча. Алгоритмически неразрешимые проблемы. Реляционная алгебра и реляционное исчисление. | Лекции | 2 | 2 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
9.2. | Алгоритмически неразрешимые проблемы. | Сам. работа | 2 | 2 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
Раздел 10. Сложность алгоритмов. Классификация задач по сложности. NP-трудные и NP-полные задачи. | ||||||
10.1. | Сложность алгоритмов: в наихудшем случае и поведения в среднем. Сложность задачи. Классификация задач по сложности: класс Р и класс Е. Класс NP. NP-трудные и NP-полные задачи. Теорема Кука. Эффективные алгоритмы. Основы нечеткой логики и элементы алгоритмической логики. Алгоритмическая логика Ч. Хоара. | Лекции | 2 | 2 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
10.2. | Переборные задачи. | Сам. работа | 2 | 14 | ОПК-2 | Л1.1, Л2.1, Л2.2 |
Раздел 11. Аттестация |
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-го случая. Пример доказательства (из семинарского занятия) теорем ИВ по алгоритму АДТ «опровержение методом резолюций». 1.26. Функции К-значной логики. ГЛАВА 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-полные задачи. Теорема Кука. 2.15. Основы нечеткой логики и элементы алгоритмической логики. 2.16. Алгоритмическая логика Ч. Хоара. 2.17. Основы темпоральных логик, нечеткой и модальных логик. 2.18. Аксиоматика реляционной алгебры и реляционного исчисления. |
5.2. Темы письменных работ для проведения текущего контроля (эссе, рефераты, курсовые работы и др.) |
1. Исчисление высказываний генценовского типа. 2. Исчисление высказываний гильбертовского типа. 3. Алгоритмы проверки общезначимости и противоречивости в ИВ. 4. Элементы теории моделей: Типы и основные классы моделей. 5. Система аксиом Пеано. 6. Нестандартные модели арифметики. 7. Теория алгоритмов и конечные автоматы. 8. Предполные классы. 9. Универсально частично рекурсивные функции. Теорема Райса. 10. Пропозициональные логики. 11. Алгоритмические логики. 12. Переборные задачи. 13. Нечеткая арифметика. |
5.3. Фонд оценочных средств для проведения промежуточной аттестации |
в Приложении ФОС |
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/ Библиотека учебной и методической литературы | |||
Э12 | Образовательный портал (Moodle) | portal.edu.asu.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. Перечень информационных справочных систем | ||||
Профессиональные базы данных: 1. Электронная база данных «Scopus» (http://www.scopus.com); 2. Электронная библиотечная система Алтайского государственного университета (http://elibrary.asu.ru/); 3. Научная электронная библиотека elibrary (http://elibrary.ru) |
Аудитория | Назначение | Оборудование |
---|---|---|
Помещение для самостоятельной работы | помещение для самостоятельной работы обучающихся | Компьютеры, ноутбуки с подключением к информационно-телекоммуникационной сети «Интернет», доступом в электронную информационно-образовательную среду АлтГУ |
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 |
Помещение для самостоятельной работы | помещение для самостоятельной работы обучающихся | Компьютеры, ноутбуки с подключением к информационно-телекоммуникационной сети «Интернет», доступом в электронную информационно-образовательную среду АлтГУ |
Учебная аудитория | для проведения занятий лекционного типа, занятий семинарского типа (лабораторных и(или) практических), групповых и индивидуальных консультаций, текущего контроля и промежуточной аттестации, курсового проектирования (выполнения курсовых работ), проведения практик | Стандартное оборудование (учебная мебель для обучающихся, рабочее место преподавателя, доска) |
Для освоения лекционного материала дисциплины в библиотеке университета имеется в наличии достаточное количество учебников по математической логике и теории алгоритмов. Кроме того, учебное пособие: Шелупанов А.А., Зюзьков В.М. "Математическая логика и теория алгоритмов". Томск: SST, 2001.- 176 c. в электронном варианте, доступное для студентов, имеется на кафедре ВТиЭ (на компьютере)и у преподавателей, ведущих дисциплину "Математическая логика и теория алгоритмов". Задания к семинарским практическим занятиям по курсу "Математическая логика и теория алгоритмов" содержатся в приложении ФОС, в котором приведены тесты для проверки текущих знаний и на образовательном портале по ссылке https://portal.edu.asu.ru/course/view.php?id=4434. |