Инфоурок / Математика / Рабочие программы / Рабочая программа "Элементы математической логики"

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

Напоминаем, что в соответствии с профстандартом педагога (утверждён Приказом Минтруда России), если у Вас нет соответствующего преподаваемому предмету образования, то Вам необходимо пройти профессиональную переподготовку по профилю педагогической деятельности. Сделать это Вы можете дистанционно на сайте проекта "Инфоурок" и получить диплом с присвоением квалификации уже через 2 месяца!

Только сейчас действует СКИДКА 50% для всех педагогов на все 111 курсов профессиональной переподготовки! Доступна рассрочка с первым взносом всего 10%, при этом цена курса не увеличивается из-за использования рассрочки!

ВЫБРАТЬ КУРС И ПОДАТЬ ЗАЯВКУ
библиотека
материалов


ДЕПАРТАМЕНТ ОБРАЗОВАНИЯ, НАУКИ И МОЛОДЕЖНОЙ ПОЛИТИКИ

ВОРОНЕЖСКОЙ ОБЛАСТИ

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

среднего профессионального образования Воронежской области

«Воронежский авиационный техникум имени В.П.Чкалова»

(ГОБУ СПО ВО «ВАТ имени В.П.Чкалова)













РАБОЧАЯ ПРОГРАММа


учебной дисциплины


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




230111 Компьютерные сети

Квалификация:

техник по компьютерным сетям

Форма обучения:

очная





















Воронеж

2013


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

________________ Е.А. Уваров

Протокол № _____ «___»__________2013 г.


«_____» _______________ 2013 г.

Председатель _____________ И.В. Шукалова


МП





__________________ Т.В. Ходина







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




Организация-разработчик:

ГОБУ СПО ВО «ВАТ имени В.П. Чкалова»




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

Ревенко М.И., преподаватель ГОБУ СПО ВО «ВАТ имени В.П.Чкалова»

Мирошниченко М. Г., преподаватель ГОБУ СПО ВО «ВАТ имени В.П.Чкалова»


СОДЕРЖАНИЕ


стр.

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


4

  1. СТРУКТУРА и содержание УЧЕБНОЙ ДИСЦИПЛИНЫ

6

  1. условия реализации учебной дисциплины

9

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

10



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

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


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

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


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

учебная дисциплина входит в состав профессионального цикла.


1.3. Учебная дисциплина направлена на формирование отдельных элементов следующих компетенций:

- общие компетенции:

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

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

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

ОК 8. Самостоятельно определять задачи профессионального и личностного развития, заниматься самообразованием, осознанно планировать повышение квалификации.

ОК 9. Ориентироваться в условиях частой смены технологий в профессиональной деятельности.

- профессиональные компетенции:

ПК 1.1. Выполнять проектирование кабельной структуры компьютерной сети.

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

ПК 1.4. Принимать участие в приемо-сдаточных испытаниях компьютерных сетей и сетевого оборудования различного уровня и в оценке качества и экономической эффективности сетевой топологии.

ПК 2.3. Обеспечивать сбор данных для анализа использования и функционирования программно-технических средств компьютерных сетей.

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


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

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

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

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

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

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

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

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


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

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

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

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


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


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

25

решение индивидуальных задач

8

работа с теоретическим материалом лекций

11

оформление практических заданий

6

Итоговая аттестация в форме дифференцированного зачета



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


Раздел 1.

Элементы теории множеств




Тема 1.1 Множества и операции над множествами

Содержание учебного материала

5

1

Основные понятия теории множеств. Понятие множества. Операции над множествами. Представление множеств в виде диаграмм Эйлера-Венна. Круги Эйлера

1

Практические занятия:

1 Операций над множествами

1


Самостоятельная работа обучающихся

решение задач, подготовка к практическому занятию

4

Раздел 2.

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



Тема 2.1 Алгебра высказываний

Содержание учебного материала

20

1

Высказывания и высказывательные формы. Логические операции. Формулы логики высказываний. Составление таблиц истинности. Тавтологии

2

2

Логическая равносильность. Логическое следование. Нормальные формы: СКНФ, СДНФ

3

Практические занятия:

2 Составление таблиц истинности для заданных формул

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

4 Логические уравнения

5 Анализ рассуждений

8


Контрольная работа

Алгебра высказываний

1

Самостоятельная работа обучающихся

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

13


Тема 2.2 Логика предикатов

Содержание учебного материала

7

1

Предикаты и способы их задания. Множество истинности предиката. Логические операции и операции над множествами

2

Самостоятельная работа обучающихся

работа с конспектом лекций

4


Раздел 3.

Элементы теории алгоритмов



Тема 3.1 Задачи и алгоритмы

Содержание учебного материала

5

1

Понятие алгоритма. Неформальное определение алгоритма. Свойства алгоритма

2

Практические занятия:

6 Составление алгоритмов

1


Самостоятельная работа обучающихся

работа с конспектом лекций, подготовка к практическому занятию

4

Повторение изученного материала

2

Всего:

75


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

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

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

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

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


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

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

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

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

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

  • комплект учебно-наглядных пособий по математике.

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

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

  • мультимедиапроектор.


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

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

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

  1. И.Л. Никольская Математическая логика: Учебник для техникумов по специальности «Прикладная математика». М., «Высшая школа», 1981. – 127 с.

  2. В.И. Игошин Математическая логика и теория алгоритмов. – М.: Издательский центр «Академия», 2008. – 453 с.

  3. В.И. Игошин Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для студ. выс. учеб. заведений / В.И. Игошин. – 3-е изд., стер. – М.: Издательский центр «Академия», 2007. – 304 с.


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

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


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

  1. Мы и образование

http://www.alleng.ru/index.htm

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

  1. Интернет-библиотека по математике

http://ilib.mccme.ru/

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

  1. Math.ru - библиотека

http://www.math.ru/lib/formats

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

4. Контроль и оценка результатов освоения УЧЕБНОЙ Дисциплины


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


Результаты обучения

(освоенные умения, усвоенные знания)

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

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

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

Проверка домашнего задания

Проверка и оценка контрольной работы

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

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

Фронтальный опрос в ходе аудиторных занятий

Дифференцированный зачет

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

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

Проверка домашнего задания

Проверка и оценка контрольной работы

Проверка и оценка выполнения самостоятельных работ

Дифференцированный зачет

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

Фронтальный опрос в ходе аудиторных занятий

Дифференцированный зачет



Общая информация

Номер материала: ДБ-174848

Похожие материалы