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

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

«Замзорская средняя общеобразовательная школа»

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

По элективному курсу: «Основы математической логики»

Класс: 10

Всего часов на учебный год: 35 часов

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

Программа составлена на основе пособия А.Г. Гейн «Основы математической логики».

Учитель:

Фамилия:Харькова

Имя:Анна

Отчество:Александровна

Категория: без категории

Стаж работы: 5

Срок действия программы 2014-2015 учебный год

п.Замзор

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Адрес публикации: https://www.prodlenka.org/metodicheskie-razrabotki/66112-rabochaja-programma-jelektivnogo-kursa-osnovy