Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Инфоурок / Математика / Рабочие программы / Планирование и программа элективного курса «Основы математической логики».
ВНИМАНИЮ ВСЕХ УЧИТЕЛЕЙ: согласно Федеральному закону № 313-ФЗ все педагоги должны пройти обучение навыкам оказания первой помощи.

Дистанционный курс "Оказание первой помощи детям и взрослым" от проекта "Инфоурок" даёт Вам возможность привести свои знания в соответствие с требованиями закона и получить удостоверение о повышении квалификации установленного образца (180 часов). Начало обучения новой группы: 26 апреля.

Подать заявку на курс
  • Математика

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

Выбранный для просмотра документ КТП по основам логики 10 кл.doc

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

Город Ейcк Краснодарского края

Муниципальное общеобразовательное учреждение средняя общеобразовательная школа №2 имени Героя Советского Союза А.В. Ляпидевского г. Ейска муниципального образования

Ейский район




Согласовано

Зам. директора поУВР

______________________

______________________

«___» ____________2012 г.








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

ПЛАНИРОВАНИЕ



__по предметному элективному курсу по математике

«Основы логики».

(указать предмет, курс, модуль)


класс 10_________________________________________________ начальное общее, основное общее, среднее (полное) общее образование с указанием классов)


Количество часов ___35 часов______ Уровень базовый__

(базовый, профильный)

Учитель Городицкая Галина Анатольевна___________________






Планирование составлено н на основе рабочей программы для 10 класса по предметному элективному курсу «Основы логики»,разработанной учителем математики Городицкой Галиной Анатольевной; утверждено на заседании педагогического совета школы, протокол №___ от «__» ______2012 г.





урока

Наименование темы

Часы

Дата

Введение в логику

1

01.09 – 07.09

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

1

08.09 – 14.09

Основные логические операции (конъюнкция)

1

15.09 - 21.09

Основные логические операции (дизъюнкция)

1

22.09 - 28.09

Таблицы истинности (n=2, n=3)

1

29.09 - 05.10

Таблицы истинности (n≥4)

1

06.10 - 12.10

Графы. Введение понятия.

1

13.10 - 19.10

Графы. Решение задач

1

20.10 - 26.10

Табличный способ решения,

1

27.10 - 02.11

Решение задач с помощью таблиц.

1

10.11 - 16.11

Импликация.

1

17.11 - 23.11

Равносильность.

1

24.11 - 30.11

Основные законы логики

1

01.12 - 07.12

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

1

08.12 - 14.12

Доказательство торжеств с использованием таблиц истинности

1

15.12 - 21.12

Доказательство тождеств с использованием таблиц истинности. Зачёт

1

22.12 - 28.12

Задачи с отношениями.

1

12.01 - 18.01

Задачи с отношениями

1

19.01 - 25.01

Задачи на перебор возможных вариантов.

1

26.01 - 01.02

Задачи на перебор возможных вариантов. Задачи на MAX.

1

02.02 - 08.02

Задачи на перебор возможных вариантов. Задачи на MIN.

1

09.02 - 15.02

Задачи на перебор возможных вариантов. Разные задачи.

1

16.02 - 22.02

Задачи, решаемые с помощью схем.

1

23.02 - 01.03

Задачи, решаемые с помощью схем. Практикум .

1

02.03 - 08.03

Задачи, решаемые с помощью таблиц. Общий вид задачи.

1

09.03 - 15.03

Задачи, решаемые с помощью таблиц. Виды таблиц .

1

16.03 - 22.03

Задачи, решаемые с помощью таблиц. Обобщённая схема решения.

1

01.04 - 06.04

Задачи, решаемые с помощью таблиц. Практикум .

1

08.04 - 13.04

Задачи на турниры и на переправу

1

15.04 - 20.04

Задачи, решаемые с помощью графов.

1

22.04 - 27.04

Задачи, решаемые с помощью графов. Задачи на движение.

1

29.04 - 04.05

Задачи, решаемые с помощью графов. Задачи о лгунах

1

06.05 - 11.05

Логические задачи на ЕГЭ.

1

13.05 - 18.05

Логические задачи на ЕГЭ.Открытый банк задач по математике .

1

20.05 - 25.05

Логические задачи на ЕГЭ. Зачёт

1

27.05 - 31.05



итого

35



зачёты

2



Выбранный для просмотра документ Рабочая программа по основам логики 10 кл.doc

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

Город Ейcк Краснодарского края

Муниципальное общеобразовательное учреждение средняя общеобразовательная школа №2 имени Героя Советского Союза А.В. Ляпидевского г. Ейска муниципального образования

Ейский район


УТВЕРЖДЕНО

решение педсовета протокол №__

от ______20__ года

Председатель педсовета

__________________ Е.В. Ратникова

подпись руководителя ОУ Ф.И.О.







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



__по предметному элективному курсу по математике

«Основы логики».

(указать предмет, курс, модуль)


класс 10_________________________________________________ начальное общее, основное общее, среднее (полное) общее образование с указанием классов)


Количество часов ___35 часов______ Уровень базовый__

(базовый, профильный)

Учитель Городицкая Галина Анатольевна___________________





















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


Программа ориентирована на учащихся 10 класса и реализуется на основе государственного стандарта основного общего образования по математике.

Программа разработана учителем математики Городицкой Г.А.

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

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

Среди математических дисциплин широкими интегративными возможностями обладает курс математической логики. Ведь умение мыслить последовательно, рассуждать доказательно, строить гипотезы, опровергать неправильные выводы не приходит само по себе – это умение развивает наука логика. Поэтому данный элективный курс в силу своего универсального применения, занимательности, и, вместе с тем, высокой абстрактности на уровне основ математической логики может быть интересен и, безусловно, полезен всем учащимся.

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

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

Содержание данного элективного курса предполагает решение большого количества логических задач, поскольку решение задач – это практическое искусство, научиться ему можно, только подражая хорошим образцам и постоянно практикуясь. Мышление, как учит психология, начинается там, где нужно решить ту или иную задачу. Каждая задача непременно заканчивается вопросом, на который надо дать ответ. Задача будит мысль учащегося, активизирует его мыслительную деятельность. Решение задач по справедливости считается гимнастикой ума. Все задачи, входящие в элективный курс, их доказательства не вызовут трудности у учащихся, т.к. не содержат громоздких выкладок, а каждая предыдущая готовит последующую, задачи подобраны так, чтобы исключить повторений, продвигаться от простого к сложному, сохраняя занимательность и увлечение. Таким образом, программа применима для различных групп школьников, в том числе, не имеющих хорошей математической подготовки.

Одна из целей преподавания математики в курсе средней школы состоит в привитии навыков логического мышления. Логическое мышление — это, прежде всего, умение рассуждать, доказывать, подбирать факты, аргументы и обосновывать

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

Одним из инструментов развития логического мышления является решение

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

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

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

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

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

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

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

Метод диаграмм Эйлера-Венна позволяет графически решать математические задачи на основе теории множеств.

Как правило, задачу можно решить несколькими способами. Чтобы выделить
наиболее простой и эффективный способ для каждой конкретной задачи, необходимо знать все эти способы.

Программа содержит два блока, связанные единой идеей.

Первый блок: “Законы алгебры логики (булевой алгебры)”. Цель: введение элементов математической логики, вывод и доказательство законов и правил булевой алгебры, научить учащихся строить таблицы истинности, составлять и упрощать логические выражения, решать текстовые логические задачи, используя законы алгебры логики, приобщать школьников к науке.

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

На изучение курса отводится 35 часов (1 час в неделю).



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

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

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

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

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

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

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

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



Основные цели и задачи курса

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

Цели элективного курса “Основы математической логики”:

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

  • С позиции введения элементов профилизации образовательной деятельности: формирование у школьников целостного представления о математике в многообразии её межпредметных связей, позволяющее привести в систему ранее полученные знания о способах решения логических задач, увидеть широкие возможности применения математики в различных отраслях знаний и наоборот, увидеть уникальность, высокую абстрактность, и, вместе с тем, широту применения математических объектов.

  • С позиции изучения элективного курса “Основы математической логики”: формирование логической культуры школьника.

Для достижения вышеперечисленных целей ставятся следующие задачи:

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

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

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

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


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

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

  • понятие графа, основные элементы графа;

  • способы решения содержательных логических задач;

  • способы записи условия задачи.

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

  • выбирать способ решения содержательной задачи;

  • записывать условие задачи в соответствии с выбранным способом решения;

  • решать задачу в соответствии с выбранным способом;

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

  • анализировать информацию, сравнивать и сопоставлять ее.


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

  • выделять существенные высказывания в тексте задачи;

  • формализовать эти высказывания;

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

  • решать одну и ту же задачу несколькими методами и уметь оценивать эти методы.



Содержание курса

  1. Законы математической логики (16 часов)

Введение в логику (1 часа). Основные логические операции (И, ИЛИ, НЕ) (3 часа). Таблицы истинности (2 часа). Графы (2 часа). Табличный способ решения (2 часа). Импликация и равносильность (2 часа). Основные законы логики и правила преобразования логических выражений (2 часа). Доказательство торжеств с использованием таблиц истинности (2 часа).


2. Математическая логика в решении задач (19 часов)

Задачи с отношениями (3 часа). Задачи на перебор возможных вариантов (3 час). Задачи, решаемые с помощью схем (2 часа). Задачи, решаемые с помощью таблиц (4 часа). Задачи на турниры и на переправу (1 час). Задачи, решаемые с помощью графов (3 час). Логические задачи на ЕГЭ (3 часа).



СТРУКТУРА ПРОГРАММЫ ПО ПРЕДМЕТНОМУ ЭЛЕКТИВНОМУ КУРСУ ПО МАТЕМАТИКЕ «ОСНОВЫ ЛОГИКИ» В 10 КЛАССЕ


Разделы программы

Авторская программа

(35 ч – 1 ч в неделю)

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

16

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

19

итого

35


Формы и виды контроля: зачёты – 2.


Средства обучения:

http://www.mathege.ru

http://www.alexlarin.net

http://school-collection.edu.ru/

http://www.fcior.edu.ru/


Литература.

1. Булос Дж., Джеффри Р. Вычислимость и логика- М.: Мир, 1994.

2. Ершов Ю.Л., Палютин Е.А. Математическая логика. М.: Наука, 1979.

3. Мендельсон Э. Введение в математическую логику, М.: Наука, 1971.

4. Таланов В.А. Математическая логика и модели вычислений. Изд-во ННГУ.

Н.Новгород,1994.

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

Ч.1 Начала теории множеств. М.: МЦНМО, 1999, 128 с.

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

Ч.2 Языки и исчисления. М.:МЦНМО, 2000, 288с.

7. О.Б. Богомолова Логические задачи. — М. БИНОМ. Лаборатория знаний, 2005
8. В.Ю. Лыскова, Е.А. Ракитина Логика в информатике. — М. "Информатика и

образование".1999 г.

9. С.С. Коробков Элементы математической логики и теории вероятности.—

Екатеринбург, 1999

10. М.И. Башмаков Уроки математики. Выпуск 4. Учимся логике. — Санкт-Петербург

"Информатизация образования", 2000 г.

11. А.П. Бойко Практикум по логике. — М. "Издательский центр АЗ", 1997 г.

12.Тихонова Л.В. Элементы математической логики. Факультативный курс. Газета “Математика” №42 (2002 г.), №4,5, 14,42(2003 г.)

13. А.С. Жилин Логические задачи. http://www.mirea.ac.ru/dl/metodika/Indexmet.htm



Согласовано:

Протокол заседания МО

Учителей физико-математичес- кого цикла

от « » _августа 2012 года

Руководитель МО ОУ

_______ Бобровникова Т.В

Согласовано:

Заместитель директора по УВР

МОУ СОШ №2


_______ _____________.

«___» _августа 2012 года





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


урока

Наименование темы

Часы

Дата

Введение в логику

1


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

1


Основные логические операции (конъюнкция)

1


Основные логические операции (дизъюнкция)

1


Таблицы истинности (n=2, n=3)

1


Таблицы истинности (n≥4)

1


Графы. Введение понятия.

1


Графы. Решение задач

1


Табличный способ решения,

1


Решение задач с помощью таблиц.

1


Импликация.

1


Равносильность.

1


Основные законы логики

1


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

1


Доказательство торжеств с использованием таблиц истинности

1


Доказательство тождеств с использованием таблиц истинности. Зачёт

1


Задачи с отношениями.

1


Задачи с отношениями

1


Задачи на перебор возможных вариантов.

1


Задачи на перебор возможных вариантов. Задачи на MAX.

1


Задачи на перебор возможных вариантов. Задачи на MIN.

1


Задачи на перебор возможных вариантов. Разные задачи.

1


Задачи, решаемые с помощью схем.

1


Задачи, решаемые с помощью схем. Практикум .

1


Задачи, решаемые с помощью таблиц. Общий вид задачи.

1


Задачи, решаемые с помощью таблиц. Виды таблиц .

1


Задачи, решаемые с помощью таблиц. Обобщённая схема решения.

1


Задачи, решаемые с помощью таблиц. Практикум .

1


Задачи на турниры и на переправу

1


Задачи, решаемые с помощью графов.

1


Задачи, решаемые с помощью графов. Задачи на движение.

1


Задачи, решаемые с помощью графов. Задачи о лгунах

1


Логические задачи на ЕГЭ.

1


Логические задачи на ЕГЭ.Открытый банк задач по математике .

1


Логические задачи на ЕГЭ. Зачёт

1



итого

35



зачёты

2



7


Краткое описание документа:

Программа ориентирована на учащихся 10 класса и реализуется на основе государственного стандарта основного общего образования по математике.      Сегодняшняя реформа школы, вызванная информатизацией общества, направлена на гуманизацию образования, она ставит перед школой основную задачу – подготовить школьника к повседневной жизни в современном информационном обществе.      Особо важную роль на этапе предпрофильной подготовки учащихся играют так называемые интегрированные элективные курсы, находящиеся на стыке предметных и межпредметных курсов, в основе преподавания которых лежит сочетание межпредметного и индивидуального подходов к обучению. При этом реализация данных подходов способствует самоопределению школьником сферы своих научных, технических, профессиональных интересов. Осуществление индивидуального подхода происходит за счёт предоставления каждому учащемуся, определившемуся в выборе элективного курса, права работать на занятиях курса в рамках интересующих его модулей. 
Автор
Дата добавления 04.06.2014
Раздел Математика
Подраздел Рабочие программы
Просмотров543
Номер материала 121271060450
Получить свидетельство о публикации

Идёт приём заявок на международный конкурс по математике "Весенний марафон" для учеников 1-11 классов и дошкольников

Уникальность конкурса в преимуществах для учителей и учеников:

1. Задания подходят для учеников с любым уровнем знаний;
2. Бесплатные наградные документы для учителей;
3. Невероятно низкий орг.взнос - всего 38 рублей;
4. Публикация рейтинга классов по итогам конкурса;
и многое другое...

Подайте заявку сейчас - https://urokimatematiki.ru


Выберите специальность, которую Вы хотите получить:

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

ПЕРЕЙТИ В КАТАЛОГ КУРСОВ


"Инфоурок" приглашает всех педагогов и детей к участию в самой массовой интернет-олимпиаде «Весна 2017» с рекордно низкой оплатой за одного ученика - всего 45 рублей

В олимпиадах "Инфоурок" лучшие условия для учителей и учеников:

1. невероятно низкий размер орг.взноса — всего 58 рублей, из которых 13 рублей остаётся учителю на компенсацию расходов;
2. подходящие по сложности для большинства учеников задания;
3. призовой фонд 1.000.000 рублей для самых активных учителей;
4. официальные наградные документы для учителей бесплатно(от организатора - ООО "Инфоурок" - имеющего образовательную лицензию и свидетельство СМИ) - при участии от 10 учеников
5. бесплатный доступ ко всем видеоурокам проекта "Инфоурок";
6. легко подать заявку, не нужно отправлять ответы в бумажном виде;
7. родителям всех учеников - благодарственные письма от «Инфоурок».
и многое другое...

Подайте заявку сейчас - https://infourok.ru/konkurs

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

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