1273441
столько раз учителя, ученики и родители
посетили сайт «Инфоурок»
за прошедшие 24 часа
Добавить материал и получить бесплатное
свидетельство о публикации
в СМИ №ФС77-60625 от 20.01.2015
ИнфоурокИнформатикаРабочие программыРабочая программа элективного курса «Основы математической логики»

Рабочая программа элективного курса «Основы математической логики»

библиотека
материалов

Муниципальное казенное учреждение

«Средняя общеобразовательная школа № 2 г. Нижнеудинск»








Рассмотрено Утверждено

на методическом объединении Приказом директора школы

Протокол от ____№_____ от ____________ № ____











Рабочая программа

«Основы математической логики»

по информатике и ИКТ

(элективный курс)

(предмет)

11

(класс, параллель)



Разработчик программы

Татарникова Наталья Александровна

(Ф.И.О. педагога)

должность: учитель информатики

педагогический стаж 9 лет

квалификационная категория II






2013 - 2014 учебный год

ПОЯСНИТЕЛЬНАЯ ЗАПИСКА

Элементы математической логики рассматриваются и в школьном курсе математики, и в курсе информатики. Умение логически грамотно рассуждать, четко формулировать свои мысли и делать правильные выводы требуется на всех предметах, а также и в жизни. Поэтому данный элективный курс особенно актуален т.к. на данном этапе перед учащимися стоит выбор, по какому пути идти, по какому профилю.

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

Программа составлена на основе пособия А.Г. Гейн «Основы математической логики». Программа определяет содержание элективного курса, дает распределение учебных часов по темам курса и определяет последовательность изучения тем.

Занятия проводятся в виде 1 часа в неделю, курс рассчитан на 34 часа. Итоговый контроль проходит на заключительных двух уроках курса в виде тестирования и контрольной работы.

Основные виды и формы деятельности учащихся:

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

- введение нового материала в форме дискуссии на основе эвристического метода обучения;

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

- самостоятельное выполнение отдельных заданий.

Цель: Формирование представлений о математической логике и умения решать логические задачи.

Задачи курса:

  • Сформировать логическое мышление учащихся.

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

  • Подготовить учащихся к выбору профиля и будущей профессии.



ТРЕБОВАНИЯ К УРОВНЮ ПОДГОТОВКИ УЧАЩИХСЯ



Учащиеся должны знать:

  • формы мышления, значение понятий: логическое высказывание, ло­гические величины, логические операции.

  • этапы составления таблиц истинности;

  • основные базовые элементы логических схем;

  • правила составления логических схем.

  • правила преобразования логических выражений и законы

  • основные понятия и определения.


Учащиеся должны уметь:

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

  • называть логические величины, логические операции.

  • составлять таблицы истинности;

  • составлять логические схемы.

  • приводить логические выражения к нормальной форме;

  • решать логические задачи, сформулированные на обычном языке.

  • строить логические схемы по логическому выражению и наоборот;

  • решать логические задачи, используя законы логики.





















СОДЕРЖАНИЕ ПРОГРАММЫ УЧЕБНОГО ПРЕДМЕТА, КУРСА (СОДЕРЖАНИЕ ОБУЧЕНИЯ)

1. Тема «Элементы математической логики»

Логика, понятие, высказывание, умозаключение, алгебра логики, логическая переменная, логическая функция, логические операции (конъюнкция, дизъюнкция, инверсия, импликация, эквивалентность), логическое выражение.

2. Тема «Методы решения логических задач»

Формы мышления, значение понятий: логическое высказывание, ло­гические величины, логические операции, таблицы истинности



3. Тема «Логически е основы компьютерной техники»

Логические схемы, построение логических схем, устройства компьютера, вентили





























УЧЕБНО-ТЕМАТИЧЕСКИЙ ПЛАН


п/п. Тема

Количество часов на изучение

1

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

11

2

Методы решения логических задач

9

3

Логически е основы компьютерной техники

11

6

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

3

Количество часов в неделю

1

Общее количество учебных недель

34

Итого общее количество часов за год

34







































КАЛЕНДАРНО- ТЕМАТИЧЕСКОЕ ПЛАНИРОВАНИЕ

п/п

Наименование раздела и тем

Часы учебного времени

Плановые сроки прохождения

Примечание


Введение

1

1 нед


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

1.

Высказывания и операции над ними

2

2-3 нед


2.

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

2

4-5 нед


3.

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

2

6-7 нед


4.

Высказывательные формы. Понятие предиката

2

8-9 нед


5.

Отождествление, специализация и связывание переменных

2

10-11 нед


Методы решения логических задач

6.

Применение законов математической логики

2

12-13 нед


7.

Задачи на сопоставление: табличный метод

2

14-15 нед


8.

Когда полезно составить таблицу истинности

3

16-18 нед


9.

Задачи о лжецах и не лжецах

2

19-20 нед


Логические основы компьютерной техники

10.

Логические модели переключательных схем

2

21-22 нед


11.

Вентили и булевы функции

3

23-25 нед


12.

Многочлены Жегалкина

3

26-28 нед


13.

Полные системы булевых функций

3

29-31 нед



Повторение

3

32-34 нед














УЧЕБНО-МЕТОДИЧЕСКИЕ СРЕДСТВА ОБУЧЕНИЯ

1. Гейн А.Г. Информатика и ИКТ. Основы математической логики. 10-11 классы: пособие для учащихся общеобразоват. уреждений – М.: Просвещение, 2012



Найдите материал к любому уроку,
указав свой предмет (категорию), класс, учебник и тему:
также Вы можете выбрать тип материала:
Краткое описание документа:
В данном курсе рассматриваются основные понятия математической логики, ее методы и задачи. Этот курс предназначен для подготовки учащихся к успешному прохождению итоговой аттестации в форме ЕГЭ, также его можно использовать при подготовке к олимпиадам по информатике и математике. На занятиях также решается множество прикладных задач, задач на исследование электронных схем, этим можно заинтересовать некоторых учащихся.
Программа составлена на основе пособия А.Г. Гейн «Основы математической логики».
Общая информация
Оставьте свой комментарий
Авторизуйтесь, чтобы задавать вопросы.
Информационные технологии в деятельности учителя физики
Цена 2.000 руб. 108 часов
Подробнее о курсе
Облачные технологии в образовании
Курс повышения квалификации
Облачные технологии в образовании
Цена 2.000 руб. 108 часов
Подробнее о курсе
Информационные технологии в профессиональной деятельности: теория и методика преподавания в образовательной организации
Цена от 5.520 руб. 300 часов
Квалификация: Преподаватель информационных технологий
Подробнее о курсе
Управление в сфере информационных технологий в образовательной организации
Цена 7.120 руб. 600 часов
Квалификация: Руководитель служб и подразделений в сфере информационно-коммуникационных технологий в образовательной организации
Подробнее о курсе
Теория и методика обучения информатике в начальной школе
Курс профессиональной переподготовки
Теория и методика обучения информатике в начальной школе
Цена от 5.520 руб. 300 часов
Квалификация: Учитель информатики в начальной школе
Подробнее о курсе
Включите уведомления прямо сейчас и мы сразу сообщим Вам о важных новостях. Не волнуйтесь, мы будем отправлять только самое главное.