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

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

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

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

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

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

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

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

«УТВЕРЖДАЮ»

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

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

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

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

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

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

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

09.02.02 (230111) «Компьютерные сети»

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

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

Председатель цикловой (предметной) комиссии:

__________________ Г.В.Линц

СОДЕРЖАНИЕ

стр.

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

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

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

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

ДИСЦИПЛИНЫ

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

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

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

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

09.02.02 (230111) «Компьютерные сети».

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. КОНТРОЛЬ И ОЦЕНКА РЕЗУЛЬТАТОВ ОСВОЕНИЯ ДИСЦИПЛИНЫ

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

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

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

–  –  –




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

«ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ «Белгородский государственный национальный исследовательский университет» (НИУ «БелГУ) УТВЕРЖДЕНО Ученым советом университета _. _. _, протокол № _ ПРОГРАММА ПОДГОТОВКИ СПЕЦИАЛИСТОВ СРЕДНЕГО ЗВЕНА 31.02.05 Стоматология ортопедическая Специальность Стоматология ортопедическая Квалификация: зубной техник Срок обучения 2г.10 мес. Белгород, 2014 СОДЕРЖАНИЕ. ОСНОВНЫЕ ПОЛОЖЕНИЯ.. НОРМАТИВНЫЕ...»

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

«Атом для мира Генеральная конференция GC(55)/OR.7 Выпущено в октябре 2012 года Общее распространение Русский Язык оригинала: английский Пятьдесят пятая очередная сессия Пленарное заседание Протокол седьмого заседания Центральные учреждения, Вена, четверг, 22 сентября 2011 года, 10 час. 10 мин. Председатель: г-н ДЭВИС (Соединенные Штаты Америки) Впоследствии: г-н ФЕРУЦЭ (Румыния) Содержание Пункт повестки Пункты дня 7 Общая дискуссия и Ежегодный доклад за 2010 год 1–124 (продолжение) Выступления...»

«ИНФОРМАЦИОННЫЙ БЮЛЛЕТЕНЬ РОССИЙСКОГО СОЮЗА РЕКТОРОВ ДЕКАБРЬ-201 Оглавление ГЛАВНЫЕ ТЕМЫ...4 Реализация поручений Председателя Правительства Российской Федерации В.В. Путина по итогам встречи с активом Российского Союза ректоров 24 августа 2011 года Заседание Совета Российского Союза ректоров, 26 декабря 2011 года Подведение итогов конкурса Министерства образования и науки Российской Федерации поддержки программ стратегического развития вузов, 19 декабря 2011 года Качество высшего...»

«Содержание Информация об итогах проведения экспертизы проектов государственных программ Российской Федерации Государственная программа Российской Федерации «Развитие здравоохранения» Государственная программа Российской Федерации «Развитие образования». Государственная программа Российской Федерации «Социальная поддержка граждан» Государственная программа Российской Федерации «Доступная среда». 18 Государственная программа Российской Федерации «Обеспечение доступным и комфортным жильем и...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Кемеровский государственный университет» Филиал в г. Прокопьевске (ПФ КемГУ) (Наименование факультета (филиала), где реализуется данная дисциплина) Рабочая программа дисциплины (модуля) Экологическая экспертиза (Наименование дисциплины (модуля)) Направление / специальность подготовки 38.03.02.62 /080200.62 Менеджмент (шифр, название...»

«П. И. Данилов, К. Ф. Тирронен, В. В. Белкин, Д. В. Панченко, Ф. В. Фёдоров БУРЫЙ МЕДВЕДЬ И ОЦЕНКА ЕГО ЧИСЛЕННОСТИ В ЕВРОПЕЙСКОЙ ТАЙГЕ Петрозаводск УДК 599.742.21:574.34(470) ББК 28.693.369.47 П. И. Данилов, К. Ф. Тирронен, В. В. Белкин, Д. В. Панченко, Ф. В. Фёдоров Бурый медведь и оценка его численности в европейской тайге Бурый медведь и оценка его Б 91 численности в европейской тайге / П. И. Данилов [и др.]. – Петрозаводск : ПетроПресс, 2014. – 59 с. : ил. – ISBN 978-5-8430-0117-9. УДК...»







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

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