rpd000006219 (230100 (09.03.01).Б11 Вычислительные машины, комплексы и сети)
Описание файла
Файл "rpd000006219" внутри архива находится в следующих папках: 230100 (09.03.01).Б11 Вычислительные машины, комплексы и сети, 230100.Б11. Документ из архива "230100 (09.03.01).Б11 Вычислительные машины, комплексы и сети", который расположен в категории "". Всё это находится в предмете "вспомогательные материалы для первокурсников" из 1 семестр, которые можно найти в файловом архиве МАИ. Не смотря на прямую связь этого архива с МАИ, его также можно найти и в других разделах. Архив можно найти в разделе "остальное", в предмете "вспомогательные материалы для первокурсников" в общих файлах.
Онлайн просмотр документа "rpd000006219"
Текст из документа "rpd000006219"
Министерство образования и науки Российской Федерации
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
Московский авиационный институт
(национальный исследовательский университет)
УТВЕРЖДАЮ
Проректор по учебной работе
______________Куприков М.Ю.
“____“ ___________20__
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ (000006219)
Математическая логика и теория алгоритмов
(указывается наименование дисциплины по учебному плану)
Направление подготовки | Информатика и вычислительная техника | |||||
Квалификация (степень) выпускника | Бакалавр | |||||
Профиль подготовки | Вычислительные машины, комплексы и сети | |||||
Форма обучения | очная | |||||
(очная, очно-заочная и др.) | ||||||
Выпускающая кафедра | Б21 | |||||
Обеспечивающая кафедра | Б21 | |||||
Кафедра-разработчик рабочей программы | Б22 | |||||
Семестр | Трудоем-кость, час. | Лек-ций, час. | Практич. занятий, час. | Лаборат. работ, час. | СРС, час. | Экзаменов, час. | Форма промежуточного контроля |
2 | 144 | 34 | 18 | 16 | 49 | 27 | Э |
Итого | 144 | 34 | 18 | 16 | 49 | 27 |
Москва
2011 г.
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ
Разделы рабочей программы
-
Цели освоения дисциплины
-
Структура и содержание дисциплины
-
Учебно-методическое и информационное обеспечение дисциплины
-
Материально-техническое обеспечение дисциплины
Приложения к рабочей программе дисциплины
Приложение 1. Аннотация рабочей программы
Приложение 2. Cодержание учебных занятий
Приложение 3. Прикрепленные файлы
Программа составлена в соответствии с требованиями ФГОС ВПО по направлению подготовки 230100 Информатика и вычислительная техника
Авторы программы :
Алтухов А.В. | _________________________ |
Заведующий обеспечивающей кафедрой Б21 | _________________________ |
Программа одобрена:
Заведующий выпускающей кафедрой Б21 _________________________ | Декан выпускающего факультета "Восход" _________________________ |
-
ЦЕЛИ ОСВОЕНИЯ ДИСЦИПЛИНЫ
Целью освоения дисциплины Математическая логика и теория алгоритмов является достижение следующих результатов образования (РО):
N | Шифр | Результат освоения |
1 | У-4 | Разрабатывать алгоритмическое и специальное программное обеспечение вычислительной техники |
Перечисленные РО являются основой для формирования следующих компетенций: (в соответствии с ФГОС ВПО и требованиями к результатам освоения основной образовательной программы (ООП))
N | Шифр | Компетенция |
1 | ПКП-9 | Способность использовать математический аппарат решения систем уравнений, численные методы, методы аналитической геометрии, теории вероятностей и математической статистики, математической логики; |
-
СТРУКТУРА И СОДЕРЖАНИЕ ДИСЦИПЛИНЫ
Общая трудоемкость дисциплины составляет 4 зачетных(ые) единиц(ы), 144 часа(ов).
Модуль | Раздел | Лекции | Практич. занятия | Лаборат. работы | СРС | Всего часов | Всего с экзаменами и курсовыми |
Математическая логика и теория алгоритмов | Логика высказываний | 12 | 8 | 12 | 22 | 54 | 144 |
Логика предикатов | 4 | 2 | 0 | 4 | 10 | ||
Неклассические логики | 6 | 0 | 0 | 1 | 7 | ||
Теория алгоритмов | 12 | 8 | 4 | 13 | 37 | ||
Всего | 34 | 18 | 16 | 40 | 108 | 144 |
-
Содержание (дидактика) дисциплины
В разделе приводится полный перечень дидактических единиц, подлежащих усвоению при изучении данной дисциплины.
- 1. Основные понятия логики.
- 2. Семантика логики высказываний.
- 3. Синтаксис логики высказываний.
- 4. Логическое следование. Нормальные формы. Переключательные схемы
- 5. Семантика логики предикатов.
- 6. Синтаксис логики предикатов.
- 7. Неклассические логики.
- 8. Понятие алгоритма.
- 9. Машина Тьюринга.
- 10. Рекурсивные функции
- 11. . Проблема алгоритмической неразрешимости
- 12. Сложность вычислений с помощью алгоритмов
-
Лекции
№ п/п | Раздел дисциплины | Объем, часов | Тема лекции | Дидакт. единицы |
1 | 1.1.Логика высказываний | 2 | Основные понятия логики. | 1 |
2 | 1.1.Логика высказываний | 2 | Семантика логики высказываний. | 2 |
3 | 1.1.Логика высказываний | 4 | Синтаксис логики высказываний. | 3 |
4 | 1.1.Логика высказываний | 4 | Логическое следование. Нормальные формы. Переключательные схемы | 4 |
5 | 1.2.Логика предикатов | 2 | Семантика логики предикатов. | 5 |
6 | 1.2.Логика предикатов | 2 | Синтаксис логики предикатов. | 6 |
7 | 1.3.Неклассические логики | 6 | Неклассические логики. | 7 |
8 | 1.4.Теория алгоритмов | 2 | Понятие алгоритма. | 8 |
9 | 1.4.Теория алгоритмов | 2 | Машина Тьюринга. | 9 |
10 | 1.4.Теория алгоритмов | 2 | Рекурсивные функции | 10 |
11 | 1.4.Теория алгоритмов | 2 | Проблема алгоритмической неразрешимости | 11 |
12 | 1.4.Теория алгоритмов | 4 | Сложность вычислений с помощью алгоритмов | 12 |
Итого: | 34 |
-
Практические занятия
№ п/п | Раздел дисциплины | Объем, часов | Тема практического занятия | Дидакт. единицы |
1 | 1.1.Логика высказываний | 2 | Высказывания и высказывательные формы. Элементарные и составные предложения. Конъюнкция и дизъюнкция. Отрицание. Импликация и эквиваленция | 2, 3 |
2 | 1.1.Логика высказываний | 4 | Формулы логики высказываний. Составление таблиц истинности для данных формул. Тавтологии. Логическая равносильность. Равносильность формул логики выск | 2, 3 |
3 | 1.1.Логика высказываний | 2 | Нормальные формы. Переключательные схемы | 4 |
4 | 1.2.Логика предикатов | 2 | Семантика логики предикатов. Синтаксис логики предикатов. | 5, 6 |
5 | 1.4.Теория алгоритмов | 4 | Применение машин Тьюринга к словам. Конструирование машин Тьюринга. Тезис Тьюринга. | 9 |
6 | 1.4.Теория алгоритмов | 4 | Нормальные алгоритмы Маркова. Нормальные алгоритмы и их применение к словам. | 10 |
Итого: | 18 |
-
Лабораторные работы
№ п/п | Раздел дисциплины | Наименование лабораторной работы | Наименование лаборатории | Объем, часов | Дидакт. единицы |
1 | 1.1.Логика высказываний | Логические операции. Равносильность формул. | Аудитория | 4 | 2, 6, 4 |
2 | 1.1.Логика высказываний | Приложения алгебры логики к построению электрических схем и решению логических задач. (Часть 1) | Аудитория | 4 | 2, 3, 4 |
3 | 1.1.Логика высказываний | Приложения алгебры логики к построению электронных схем и решению логических задач. (Часть 2) | Аудитория | 4 | 2, 3, 4 |
4 | 1.4.Теория алгоритмов | Машина Тьюринга. Номальные алгоритмы Маркова. | Аудитория | 4 | 9, 10 |
Итого: | 16 |
-
Типовые задания
№ п/п | Раздел дисциплины | Объем, часов | Наименование типового задания |
Итого: |
-
Курсовые работы и проекты по дисциплине
1.1. Математическая логика и теория алгоритмов