WWW.PROGRAMMA.X-PDF.RU
БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА - Учебные и рабочие программы
 


«РАБОЧАЯ ПРОГРАММА УЧЕБНОЙ ДИСЦИПЛИНЫ ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ для специальности: 09.02.03. (230115) «Программирование в компьютерных системах» среднего профессионального ...»

ФЕДЕРАЛЬНОЕ АГЕНТСТВО СВЯЗИ

Федеральное государственное образовательное бюджетное учреждение высшего

профессионального образования

«Санкт – Петербургский государственный университет телекоммуникаций

им. проф. М.А. Бонч-Бруевича»

Санкт-Петербургский колледж телекоммуникаций

«УТВЕРЖДАЮ»

Заместитель директора

по учебной работе

__________ / Н.А.Бондарчук/

“ 1 ” сентября 2015 г.

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

ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ

для специальности:

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

среднего профессионального образования (базовый уровень) ИНДЕКС ЕН.02 Санкт – Петербург Рабочая программа составлена в соответствии с примерной программой по учебной дисциплине «Элементы математической логики» Учебно-Методического Центра Среднего Профессионального Образования Федерального Агентства Связи.

Составитель: Н.В.Кривоносова Рассмотрена и одобрена на заседании цикловой комиссии № 3 (цикловая комиссия математических и естественно-научных дисциплин) Утверждена на заседании методического совета « 2 » июля 2015 г. Протокол № 5 Председатель цикловой (предметной) комиссии №6 _________________ Г.В.Линц

СОДЕРЖАНИЕ

стр.

1. ПАСПОРТ РАБОЧЕЙ ПРОГРАММЫ УЧЕБНОЙ ДИСЦИПЛИНЫ 3

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

3. УСЛОВИЯ РЕАЛИЗАЦИИ ПРОГРАММЫ УЧЕБНОЙ ДИСЦИПЛИНЫ 9

4. КОНТРОЛЬ И ОЦЕНКА РЕЗУЛЬТАТОВ ОСВОЕНИЯ УЧЕБНОЙ 10

ДИСЦИПЛИНЫ

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

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

1.1. Область применения программы Рабочая программа учебной дисциплины является частью основной профессиональной образовательной программы в соответствии с ФГОС по специальностям

СПО (базовой подготовки):

09.02.03 (230115 «Программирование в компьютерных системах »

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

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

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

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

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

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

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

формулировать задачи логического характера;

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

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

основные принципы теории множеств;

основные принципы теории алгоритмов;

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

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

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

1.4. Количество часов на освоение программы дисциплины:

Максимальная учебная нагрузка обучающегося 120 часов, в том числе:

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

самостоятельная работа обучающегося 40 часов.

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

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

–  –  –

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

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

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

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

3. УСЛОВИЯ РЕАЛИЗАЦИИ ПРОГРАММЫ ДИСЦИПЛИНЫ

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

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

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

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

- печатные демонстрационные пособия.

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

- компьютер, лицензионное программное обеспечение;

- мультимедийный проектор;

- мультимедийные средства.

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

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

1. Игошин, В.И. Математическая логика: учебное пособие.-М.: ИНФРА-М, 2012.

2. Канцедал, С.А. Дискретная математика: учебное пособие для студ. учрежд. СПО.М.: Форум: ИНФРА-М, 2013.

3. Верещагин, Н.К. Лекции по математической логике и теории алгоритмов. В 3 ч.:

учебное пособие/ Н.К.Верещагин, А.Шень. - М.: МЦНМО, 2012.

4. Ершов, Ю.Л. Математическая логика: учебное пособие/ Ю.Л.Ершов, Е.А.Палютин.

- М.: Физматлит, 2011.

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

1. Игошин, В.И. Математическая логика и теория алгоритмов.- М.: Академия, 2008.

2. Балюкевич, Э.Л. Математическая логика и теория алгоритмов: учебное пособие/ Балюкевич Э.Л., Ковалева Л.Ф. М.: Евразийский открытый институт, 2009.

3. Гринченков, Д.В. Математическая логика и теория алгоритмов для программистов: учебное пособие /Д.В.Гринченков, С.И.Потоцкий.- М.: КноРус, 2010.

4. Зарипова, Э.Р. Лекции по дискретной математике. Математическая логика: учебное пособие/ Э.Р.Зарипова, М.Г.Кокотчикова, Л.А.Севастьянов. - М.: Российский университет дружбы народов, 2014.

5. Колмогоров, А.Н. Математическая логика. Введение в математическую логику.Эдиториал УРСС, 2013.

6. Кочетков, П.А.Введение в дискретную математику: учебное пособие.-М:МГИУ, 2007.

7. Куликов, В.В. Дискретная математика: учебное пособие. - М.: РИОР, 2007.

8. Лавров, И.А. Задачи по теории множеств, математической логике и теории алгоритмов: учебное пособие/ И.А.Лавров, Л.Л.Максимова. - М.: ФИЗМАТЛИТ, 2009.

9. Маньшин, М.Е. Математическая логика и теория алгоритмов: учебное пособие.

Волгоград: Волгоградский институт бизнеса, Вузовское образование, 2013.

10. Новиков, Ф. Дискретная математика: учебник для вузов. СПб.: Питер, 2013.

11. Спирина, М.С. Дискретная математика: учебник для студ. учреждений сред. проф.

образования/М.С. Спирина, П.А. Спирин. – М.: Академия, 2010.

12. Триумфгородских, М.В. Дискретная математика и математическая логика для информатиков, экономистов и менеджеров: учебное пособие. - М.: Диалог-МИФИ, 2011.

13. Тюрин, С.Ф. Дискретная математика. Практическая дискретная математика и математическая логика: учебное пособие/ С.Ф.Тюрин, Ю.А.Аляев. М.: Финансы и статистика, 2012.

14. Аляев, Ю.А. Дискретная математика и математическая логика:

учебник/Ю.А.Аляев, С.Ф.Тюрин.- М.: Финансы и статистика, 2006.

15. Успенский, В.А. Вводный курс математической логики/В.А.Успенский, Н.К.Верещагин, В.Е.Плиско. - М.: Физматлит, 2007.

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

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

1. Агарева, О.Ю. Математическая логика и теория алгоритмов [Электронный ресурс]:

учебное пособие / О.Ю. Агарева, Ю.В. Селиванов. - М.: МАТИ, 2011. - Режим доступа: http://window.edu.ru/resource/893/76893, свободный.

2. Агарева, О.Ю. Элементы математической логики [Электронный ресурс]: учебное пособие / О.Ю. Агарева, Ю.В. Селиванов. - М.: МАТИ, 2008. - Режим доступа:

http://window.edu.ru/resource/886/76886, свободный.

3. Бояршинов, Б.С. Математическая логика [Электронный ресурс].-М.: ИнтернетУниверситет информационных технологий, 2012.- Режим доступа:

http://old.intuit.ru/department/mathematics/mathlogic/, свободный.

4. Верещагин, Н.К. Лекции по математической логике и теории алгоритмов [Электронный ресурс]. В 3 ч./Московский центр непрерывного математического образования; Н.К.Верещагин, А.Шень. - М: МЦНМО, 2013. - Свободно распространяемые издания. - Режим доступа: http://www.mccme.ru/free-books/, свободный.

5. Герасимов, А.С. Курс математической логики и теории вычислимости [Электронный ресурс] / Московский центр непрерывного математического образования.

Свободно распространяемые издания.- СПб.: ЛЕМА, 2011. - Режим доступа:

http://www.mccme.ru/free-books/, свободный.

6. Дудковская, И.А. Краткий курс математической логики [Электронный ресурс]:

учебно-методическое пособие. - Куйбышев: Барабинская типография, 2011. Режим доступа: http://window.edu.ru/resource/965/76965, свободный.

7. Кузнецов, О.П. Дискретная математика [Электронный ресурс].-М.: ИнтернетУниверситет информационных технологий, 2008.- Режим доступа:

http://old.intuit.ru/department/ds/discretemath/, свободный.

8. Соловьев, А.Е. Специальная математика: Конспект лекций для студентов специальности АСУ. - Пермь: Перм. гос. техн. Ун-т, 2001 http://window.edu.ru/window_catalog/files/r47650/pstu012.pdf

9. Exponenta.ru: образовательный математический сайт [Электронный ресурс].Режим доступа: www.exponenta.ru, свободный.

10. Math.24.ru. Высшая математика: образовательный сайт [Электронный ресурс].Режим доступа: www.math24.ru, свободный.

11. Банк задач.ru. Твой ключ к решению [Электронный ресурс].- Режим доступа:

http://bankzadach.ru/, свободный

4. КОНТРОЛЬ И ОЦЕНКА РЕЗУЛЬТАТОВ ОСВОЕНИЯ ДИСЦИПЛИНЫ

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

Результаты обучения Формы и методы контроля и оценки (освоенные умения, усвоенные знания) результатов обучения

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

–  –  –




Похожие работы:

«НЕГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ РОССИЙСКАЯ МЕЖДУНАРОДНАЯ АКАДЕМИЯ ТУРИЗМА Московский филиал Колледж гостиничного сервиса «СОГЛАСОВАНО» Проректор Директор МФ РМАТ «УТВЕРЖДАЮ» А.С. Соколов «»2014 г. М.П. Ректор РМАТ «СОГЛАСОВАНО» _Е.Н. Президент Гильдии шеф-поваров России Трофимов _Филин А.Н. “” 2014 г. «»_2014 г. М.П. М.П. ПРОГРАММА ПОДГОТОВКИ СПЕЦИАЛИСТОВ СРЕДНЕГО ЗВЕНА Специальность 19. 02.10 Технология продукции общественного питания вид...»

«№ Наименование разделов Стр. ВВЕДЕНИЕ ЦЕЛЕВОЙ РАЗДЕЛ: I 3-30 Пояснительная записка 1.1. 3-18 Планируемые результаты и итоговые результаты освоения программы 1.2. 19-30 СОДЕРЖАТЕЛЬНЫЙ РАЗДЕЛ II 30-9 Содержание образовательной деятельности 2.1. 30-4 Формы. Способы, методы и средства реализации ООП ДОУ 2.2. 42-4 Содержание образовательной деятельности профессиональной коррекции нарушений развития детей 2.3. 46-61 с ОВЗ Организационный раздел 2.4. 62-67 Приложение №1: 5 учебных плана, 16 расписаний...»

«Рабочая программа по географии 6 класс68 часов Учебник Т.П. Герасимова, Н.П. Неклюкова «Начальный курс географии». – М.: Дрофа, 2012. 2014-2015 учебный год Учитель географии Первой квалификационной категории Зиборова Л.В. Пояснительная записка Рабочая программа учебного курса «Физическая география» для 6 класса составлена на основе следующих документов: Закон РФ «Об образовании» от 29.12.2012 г. с последующими изменениями. Федеральный компонент государственного стандарта основного общего...»

«Муниципальное бюджетное образовательное учреждение средняя общеобразовательная школа с. Становое Рассмотрено: Согласовано:Утверждаю На заседании МО зам. директора по УВР Директор школы Протокол № _ от_ приказ №от_ _ _ Руководитель МО /Стрельников А.Б./ РАБОЧАЯ ПРОГРАММА во внеурочной деятельности « Я и мой край» Учитель: Петрищева Ирина Ивановна КЛАСС Количество часов в неделю в год 1в 1 33 2014-2015 уч. год Пояснительная записка Данная программа составлена на основе авторской С.Л. Посмитной...»

«Целевой раздел I.1.1 Пояснительная записка. Основная образовательная программа начального общего образования муниципального общеобразовательного учреждения основной общеобразовательной школы №15 имени Н.И. Дементьева (ООП НОО МОУ ООШ №15) разработана в соответствии с требованиями Федерального государственного образовательного стандарта начального общего образования к структуре основной образовательной программы (утверждн Приказом Министерства образования и науки РФ от 06.10.09 №373), приказом...»

«РАССМОТРЕНО СОГЛАСОВАНО УТВЕРЖДАЮ на заседании МО Зам. директора по Директор МБОУ СОШ №7 УВР г. Петров Вал Руководитель МО _ _ « » _ 20г « » 20г _ Протокол № от « »_20г МУНИЦИПАЛЬНОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ СРЕДНЯЯ ОБЩЕОБРАЗОВАТЕЛЬНАЯ ШКОЛА №7 Г. ПЕТРОВ ВАЛ КАМЫШИНСКОГО МУНИЦИПАЛЬНОГО РАЙОНА ВОЛГОГРАДСКОЙ ОБЛАСТИ РАБОЧАЯ ПРОГРАММА ПО ОБЩЕСТВОЗНАНИЮ на 2015 – 2016 учебный год в 9а и 9б классах Учителя Балиновой Н.В. Пояснительная записка. Рабочая программа по обществознанию в 9...»

«Стратегический партнер НП «АРФИ» 2000+ целевых онлайн-просмотров (IRO, CFO) набирает каждый выпуск Вестника АРФИ (данные: SlideShare + ISSUU + DocMe + сайт АРФИ) Логотип вашей компании на этом месте. Ваше маркетинговое сообщение в Вестнике. Обсудим? +7 (962) 998-56-97 ВЕСТНИК НП «АРФИ»НАУЧНО-ПРАКТИЧЕСКОЕ ЭЛЕКТРОННОЕ ИЗДАНИЕ ДЛЯ СПЕЦИАЛИСТОВ ПО СВЯЗЯМ С ИНВЕСТОРАМИ #19 Ноябрь 2015 ! Alt + Стрелка влево ОТ РЕДАКТОРА Быстрый возврат к вступительному слову после клика на любую ссылку Главный...»







 
2016 www.programma.x-pdf.ru - «Бесплатная электронная библиотека - Учебные, рабочие программы»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.