rpd000006219 (230100 (09.03.01).Б11 Вычислительные машины, комплексы и сети)

2017-06-17СтудИзба

Описание файла

Файл "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. Структура и содержание дисциплины

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

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

Приложения к рабочей программе дисциплины

Приложение 1. Аннотация рабочей программы

Приложение 2. Cодержание учебных занятий

Приложение 3. Прикрепленные файлы

Программа составлена в соответствии с требованиями ФГОС ВПО по направлению подготовки 230100 Информатика и вычислительная техника

Авторы программы :

Алтухов А.В.

_________________________

Заведующий обеспечивающей кафедрой Б21

_________________________

Программа одобрена:

Заведующий выпускающей кафедрой Б21

_________________________

Декан выпускающего факультета "Восход"

_________________________

  1. ЦЕЛИ ОСВОЕНИЯ ДИСЦИПЛИНЫ

Целью освоения дисциплины Математическая логика и теория алгоритмов является достижение следующих результатов образования (РО):

N

Шифр

Результат освоения

1

У-4

Разрабатывать алгоритмическое и специальное программное обеспечение вычислительной техники

Перечисленные РО являются основой для формирования следующих компетенций: (в соответствии с ФГОС ВПО и требованиями к результатам освоения основной образовательной программы (ООП))

N

Шифр

Компетенция

1

ПКП-9

Способность использовать математический аппарат решения систем уравнений, численные методы, методы аналитической геометрии, теории вероятностей и математической статистики, математической логики;

  1. СТРУКТУРА И СОДЕРЖАНИЕ ДИСЦИПЛИНЫ

Общая трудоемкость дисциплины составляет 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. Содержание (дидактика) дисциплины

В разделе приводится полный перечень дидактических единиц, подлежащих усвоению при изучении данной дисциплины.

- 1. Основные понятия логики.

- 2. Семантика логики высказываний.

- 3. Синтаксис логики высказываний.

- 4. Логическое следование. Нормальные формы. Переключательные схемы

- 5. Семантика логики предикатов.

- 6. Синтаксис логики предикатов.

- 7. Неклассические логики.

- 8. Понятие алгоритма.

- 9. Машина Тьюринга.

- 10. Рекурсивные функции

- 11. . Проблема алгоритмической неразрешимости

- 12. Сложность вычислений с помощью алгоритмов



    1. Лекции

п/п

Раздел дисциплины

Объем, часов

Тема лекции

Дидакт. единицы

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.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.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. Курсовые работы и проекты по дисциплине

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

Свежие статьи
Популярно сейчас
А знаете ли Вы, что из года в год задания практически не меняются? Математика, преподаваемая в учебных заведениях, никак не менялась минимум 30 лет. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
5160
Авторов
на СтудИзбе
439
Средний доход
с одного платного файла
Обучение Подробнее