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

Ф-02-ОСН-24

РАБОЧАЯ ПРОГРАММа УЧЕБНОЙ ДИСЦИПЛИНЫ

Элементы математической логики

2016 г.

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

Организация-разработчик: ГАПОУ «Бугульминский машиностроительный техникум»

Разработчик: Веряскина Ирина Юрьевна – преподаватель высшей квалификационной категории ГАПОУ «БМТ»

1. паспорт РАБОЧЕЙ ПРОГРАММЫ УЧЕБНОЙ ДИСЦИПЛИНЫ

Элементы математической логики

1.1. Область применения программы

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

09.02.03 Программирование в компьютерных системах.

Рабочая программа учебной дисциплины Элементы математической логики может быть использована на курсах дополнительного профессионального образования и других направлениях подготовки специалистов.

1.2. Место дисциплины в структуре основной профессиональной образовательной программы: дисциплина входит в математический и общий естественнонаучный цикл.

1.3. Цели и задачи дисциплины – требования к результатам освоения дисциплины:

В результате освоения дисциплины обучающийся должен уметь:

• формулировать задачи логического характера и применять средства математической логики для их решения;

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

• основные принципы математической логики, теории множеств и теории алгоритмов;

• формулы алгебры высказываний;

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

• основы языка и алгебры предикатов.

1.4. Рекомендуемое количество часов на освоение программы дисциплины: максимальной учебной нагрузки обучающегося 144 часа, в том числе: обязательной аудиторной учебной нагрузки обучающегося 96 часов; самостоятельной работы обучающегося 48 часов.

2. СТРУКТУРА И СОДЕРЖАНИЕ УЧЕБНОЙ ДИСЦИПЛИНЫ

2.1. Объем учебной дисциплины и виды учебной работы

2.2. Тематический план и содержание учебной дисциплины

Элементы математической логики

Для характеристики уровня освоения учебного материала используются следующие обозначения:

1. –ознакомительный (узнавание ранее изученных объектов, свойств);

2. – репродуктивный (выполнение деятельности по образцу, инструкции или под руководством)

3. – продуктивный (планирование и самостоятельное выполнение деятельности, решение проблемных задач)

3.1. Требования к минимальному материально-техническому обеспечению

Реализация программы дисциплины требует наличия учебного кабинета «Информационные технологии».

Оборудование учебного кабинета:

- посадочные места по количеству обучающихся;

- рабочее место преподавателя;

- комплект учебно-методической документации;

-наглядные пособия (презентации по курсу).

Технические средства обучения:

- компьютеры, интерактивная доска, мультимедиапроектор.

Программные средства обучения:

- лицензионное программное обеспечение: Microsoft Office; АBCPascal.

Перечень рекомендуемых учебных изданий, Интернет-ресурсов, дополнительной литературы

Основные источники:

1. Гусева, А. Дискретная математика для информатиков и экономистов: Учебное пособие / Гусева А., Тихомирова А. - М.:НИЯУ "МИФИ", 2010. - 280 с. ISBN 978-5-7262-1224-1

2. Игошин, В.И. Математическая логика : учеб. пособие / В.И. Игошин. — М. : ИНФРА-М, 2016. — 399 с. + Доп. материалы [Электронный ресурс; Режим доступа http://www.znanium.com]. — (Высшее образование: Бакалавриат).

3. Канцедал, С.А. Дискретная математика : учеб. пособие / С.А. Канцедал. — М: ФОРУМ : ИНФРА-М, 2017. — 224 с. — (Профессиональное образование). ISBN 978-5-8199-0304-9

4. Пруцков, А.В. Математическая логика и теория алгоритмов: Учебник / Пруцков А.В., Волкова Л.Л. - М.:КУРС, НИЦ ИНФРА-М, 2016. - 152 с.: 60x90 1/16. - (Бакалавриат) (Переплёт 7БЦ) ISBN 978-5-906818-74-4

5. Соболева, Т.С. Дискретная математика. Углубленный курс: Учебник / Соболева Т.С.; Под ред. Чечкина А.В. - М.:КУРС, НИЦ ИНФРА-М, 2016. - 278 с.: 60x90 1/16. - (Бакалавриат) (Переплёт 7БЦ) ISBN 978-5-906818-11-9

6. Титов, К.В. Компьютерная математика: Учебное пособие/К.В.Титов - М.: ИЦ РИОР, НИЦ ИНФРА-М, 2016. - 261 с.: 60x90 1/16. - (Высшее образование) (Переплёт) ISBN 978-5-369-01470-7

7. Шубович, А.А. Руководство к решению задач по дискретной математике / Шубович А.А. - Волгоград:Волгоградский ГАУ, 2015. - 88 с.

Интернет-ресурсы:

1.Методическая копилка учителя информатики [Электронный ресурс] /. – Режим доступа - http://www.metod-kopilka.ru (Дата обращения: 28.09.2015)

2. Портал Math.ru: библиотека, медиатека, олимпиады, задачи, научные школы, учительская, история математики[Электронный ресурс] /. – Режим доступа - http://www.math.ru (Дата обращения: 28.09.2015)

3. Московский центр непрерывного математического образования [Электронный ресурс] /. – Режим доступа - http://www.mccme.ru ( Дата обращения: 28.09.2015)

4. Газета «Математика» Издательского дома «Первое сентября». [Электронный ресурс] /. – Режим доступа - http://mat.1september.ru ( Дата обращения: 28.09.2015)

5. Математика в «Открытом колледже» [Электронный ресурс] /. – Режим доступа - http://www.mathematics.ru ( Дата обращения: 28.09.2015)

6. Математические этюды: 3D-графика, анимация и визуализация математических сюжетов [Электронный ресурс] /. – Режим доступа - http://www.etudes.ru ( Дата обращения: 28.09.2015)

Дополнительные источники:

1. Гаврилов, Г.П. Задачи и упражнения по курсу дискретной математики / Г.П.Гаврилов, А.А. Сапоженко — М.: Наука, 2007. — 408с.

2. Гончарова, Г.А., Элементы дискретной математики: учеб.пособ./ Г.А.Гончарова , А.А. Мочалин - М.: Форум: ИНФРА-М, 2007. – 260 с.

3. Иванов, Б.Н. Дискретная математика. Алгоритмы и программы. Расширенный курс/ Б.Н. Иванов. - М: Известия, 2011. - 512 с.

4. Кольман, Э. Занимательная логика/Э. Кольман, О. Зих — М.: Наука, 2008. —127с.

5. Куликов, Л.Я. Сборник задач на алгебре и теории чисел/ Л.Я. Куликов, А.И. Москаленко, А.А. Фомин — М. : Просвещение, 2008.- 205 с.

6. Мендельсон, Э. Введение в математическую логику/ Э. Мендельсон — М.: Наука, 2006. — 319с.

7. Набебин А.А. Логика и пролог в дискретной математике/ А.А. Набебин — М.: МЭИ, 2006. —452с.

8. Нефедов, В.Н. Курс дискретной математики/ В.Н.Нефедов , В.А. Осипова — М.: Издательство МАИ, 2008. — 264с.

9. Робертс Ф. Дискретные математические модели с приложениями к социальным, биологическим и экологическим задачам/ Ф. Робертс М.: Наука, 1986

10. Рембольд У. Введение в информатику для научных работников и инженеров/ У. Рембольт— Уфа: УГАТУ, 2007. —445с.

11. Сборник конкурсных задач по математике для поступающих во втузы./Под ред. Сканави М.И. — М.: Высшая школа, 2006. —541с.

2016/2017 учебный год