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

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

                                                                2012 г.

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

Организация-разработчик: Государственное образовательное учреждение среднего профессионального образования «Мурманский колледж экономики  и информационных технологий»

Разработчик: Сипачева Ольга Ивановна, преподаватель ГОУ СПО МКЭСиИ, первой  категории.

СОДЕРЖАНИЕ                                              

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

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

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

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

1. Место учебной дисциплины в структуре основной общеобразовательной программы: дисциплина входит в математический и общий естественнонаучный цикл. «Элементы математической логики» изучаются как базовая учебная дисциплина при освоении специальностей СПО технического профиля  в учреждениях  СПО в 4 семестре на 2 курсе, обеспечивает приобретение знаний и умений в соответствии с государственным образовательным стандартом, содействует фундаментализации образования, формированию мировоззрения и развитию логического мышления.  

 К дисциплинам, которые обеспечивают успешное изучение данного курса можно отнести знания, умения и виды деятельности, сформированные в ходе изучения дисциплин «Математика», «Элементы высшей математики».

Дисциплина «Элементы математической логики» является логической основой понимания сущности доказательств и их логического строения, изучения аксиоматических математических теорий из разных областей математики, а также теоретической основой логической составляющей обучения математике. Основные положения дисциплины «Элементы математической логики»  закладывают фундамент для понимания теории вероятности и математической статистики.

Изучение дисциплины является базой для дальнейшего освоения студентами курсов  профессионального цикла.  Знания, умения и навыки, полученные студентами в результате усвоения материала дисциплины, могут быть использованы ими во всех видах деятельности в соответствии с Государственным образовательным стандартом высшего профессионального образования.

1.3. Цели и задачи учебной дисциплины – требования к результатам освоения дисциплины:  ознакомление студентов с её важнейшими разделами математической логики  для применения полученных знаний в решении практических задач, повышение уровня математической культуры, развития логичности и конструктивности мышления, формирования систематизированных знаний в области математической логики, представлений о проблемах оснований математики и роли математической логики в их решении; развитие логического мышления, логической культуры, логической интуиции.

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

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

математической логики для их решения.

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

Знать:

- основные понятия и законы теории множеств; способы задания множеств и способы оперирования с ними;

-свойства отношений между элементами дискретных множеств и систем;

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

 -алгоритмы приведения булевых функций к нормальной форме и построения минимальных форм;

- методы построения по булевой функции многополюсных контактных схем;

 -методы исследования системы булевых функций на полноту, замкнутость и нахождение базиса;

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

- проводить доказательные рассуждения в ходе решения задач;

- применять математические методы для решения профессиональных задач.

- значение математической науки для решения задач, возникающих в теории и практике; широту и в то же время ограниченность применения математических методов к анализу и исследованию процессов и явлений в природе и обществе;

- значение практики и вопросов, возникающих в самой математике для формирования и развития математической науки; историю развития понятия;

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

- применять изученный математический аппарат при решении типовых задач;

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

- способностью и готовностью к изучению дальнейших понятий и теорий, разработанных в современной математической логике, а также к оценке степени адекватности предлагаемого аппарата к решению прикладных задач.

При изучении дисциплины - внимание студента будет  обращено на её прикладной характер, на то, где и когда изучаемые теоретические положения и практические навыки могут быть использованы в будущей практической деятельности.

        1.4. Рекомендуемое количество часов на освоение программы учебной дисциплины:

максимальной учебной нагрузки обучающегося – 146     часов, включая:

всего – 146     часов, в том числе:

обязательной аудиторной учебной нагрузки обучающегося –  78 часов;

обязательных аудиторных практических занятий –  50 часов;

самостоятельной работы обучающегося –  18  часа.

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

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

        Рабочей программой предусмотрены:

        - входной контроль, который  проводится на начальном этапе по текстам , составленным преподавателем;

        - рубежный контроль по окончании изучения отдельных разделов программы;

        -аттестационная работа по итогам 4 семестра - в форме повторного мониторинга по текстам, составленным преподавателем, с целью проверки работы по ликвидации пробелов знаний студентов, выявленных при проведении входного контроля;

        -итоговый контроль проводится  в форме  экзамена - по завершению 4курса.

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

Изучение материала проводится в форме, доступной пониманию студентов, с учётом преемственности в обучении, единства терминологии и обозначений в соответствии с действующими государственными стандартами в форме лекций, бесед, семинаров, практических занятий.

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

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

2. 2.2. Примерный тематический план и содержание учебной дисциплины «Математика»

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

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

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

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

3. условия реализации УЧЕБНОЙ дисциплины

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

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

3.1.1. Оборудование кабинета математики: 

1. посадочные места студентов;
2. рабочее место преподавателя;
3. комплект учебно-наглядных пособий «Математика».

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

1. мультимедийный проектор;
2. ноутбук;
3. проекционный экран;
4. компьютерная техника для обучающихся с наличием лицензионного программного обеспечения;
5. сервер;
6. блок питания;
7. источник бесперебойного питания;
8. колонки.

1. Информационное обеспечение обучения

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

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

1. Игошин В.И. Математическая логика и теория алгоритмов.

М.: Издательский центр «Академия», 2008.

2. Спирин М.С., Спирина П.А. Дискретная математика.

          М.: Издательский центр «Академия», 2010.

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

1.Шапорев С.Д.Математическая логика. Курс лекций и практических занятий. – СПб.:БХВ-Петербург, 2005.

 2. Гиндикин С.Г. Алгебра логики в задачах. Электронная библиотека  

         Московского государственного университета.        http://lib.mexmat.ru/books/1383

4. Контроль и оценка результатов освоения учебной дисциплины

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

Разработчик: