ОСНОВЫ ЛОГИКИ ПРОГРАММА КРУЖКА

Управление образования и по делам молодежи
города Набережные Челны РТ
МАОУ «Кадетская школа №49»
ПРОГРАММА КРУЖКА
ОСНОВЫ ЛОГИКИ
г. Набережные Челны 2012
Рецензенты:
Т.И.
Тиханкова,
преподаватель
математики
высшей
квалификационной категории ГАОУ СПО «Мензелинский педагогический
колледж имени М.Джалиля»
В.М.
Муринова,
преподаватель
информатики
высшей
квалификационной
категории,
методист
МАУ
«Информационнометодический центр» Мензелинского района РТ
Программа по логике подготовлена с учетом особенностей
преподавания курса «Логика» учащимся 5-9 классов основной
общеобразовательной школы. Здесь излагаются основы логики, изучаются
типичные приемы решения задач и занимательных упражнений, решение
которых
способствует
развитию
точности,
последовательности,
доказательности рассуждений.
Составитель:
учитель
информатики
и
квалификационной категории Маштакова А.Т.
математики
второй
СОГЛАСОВАНО
Зам. директора
______________ Ч. Г. Подъячева
«___» _________ 2012 г.
УТВЕРЖДЕНО
Директор школы
_______________Р. Р. Абдуллина
«____» ________ 2012 г.
ПРОГРАММА КРУЖКА
ОСНОВЫ ЛОГИКИ
Составитель:
учитель
информатики
и
квалификационной категории Маштакова А.Т.
математики
МАОУ «Кадетская школа №49»
г. Набережные Челны 2012
3
второй
ПОЯСНИТЕЛЬНАЯ ЗАПИСКА
Естественно, что курс логики, даже краткий, невозможно основательно
изучить за короткий срок, овладение его основами требует определенных
усилий, поэтому следует соблюдать последовательность и систематичность в
самостоятельной работе, сочетая теоретический материал с решением задач.
Если изучающий логику может воспроизвести правила, но не может
использовать их в практической работе применительно к конкретным
высказываниям, рассуждениям, он их не знает.
Элементы математической логики рассматриваются и в школьном
курсе математики, и в курсе информатики. Умение логически грамотно
рассуждать, четко формулировать свои мысли и делать правильные выводы
требуется на всех предметах, а также и в жизни. Применение логических
операций и приемов в профессиональной деятельности специалистов
придают ясность и четкость в рассуждениях и позволяют предельно точно
уточнять предмет мысли, способствует умению абстрагироваться от
конкретного содержания и сосредоточиваться на структуре своей мысли,
развивает аккуратность и внимательность. Поэтому данный курс особенно
актуален, т.к. на данном этапе перед учащимися стоит выбор, по какому пути
идти, по какому профилю. Эта программа предназначена для проведения
курсов с учащимися пятых-девятых классов общеобразовательных школ.
Занятия проводятся в виде 2 раза в неделю по 2 часа, итого 4 часа в
неделю, курс рассчитан на 136 часов.
Итоговый контроль проходит на заключительных двух уроках курса в
виде тестирования и интеллектуальной игры.
Изучение курса осуществляется посредством активного вовлечения
учащихся в различные виды и формы деятельности:
- введение нового материала в форме дискуссии на основе
эвристического метода обучения;
- решение заданий для самостоятельной работы в форме
индивидуальной, групповой работы с последующим обсуждением;
- самостоятельное выполнение отдельных заданий.
Цель: Формирование представлений о математической логике и умения
решать логические задачи.
Задачи курса:
• Сформировать логическое мышление учащихся.
• Сформировать понимание учащихся о взаимосвязи школьных
предметов.
ПРЕДПОЛАГАЕМЫЕ РЕЗУЛЬТАТЫ ИЗУЧЕНИЯ КУРСА
В результате изучения курса учащиеся должны
знать\понимать
- понятия парадокса и софизма;
4
- понимать отличие задач “ловушек” от парадоксов;
- способы решения логических задач: сопоставление данных, с помощью
схем и таблиц, с помощью графов, перебор возможных вариантов;
- определение высказывания, понятия инверсии, конъюнкции,
дизъюнкции, импликации, эквивалентности;
- определение операции отрицания, её свойства;
- назначение таблицы истинности;
- законы и правила алгебры логики, понятия логического тождества
(тавтологии);
уметь
- определять задачи “ловушки”, парадокс, софизм;
- решать логических задач различными способами: сопоставление
данных, с помощью схем и таб- лиц, с помощью графов, перебор возможных
вариантов, составлением таблиц истинности, составлением и упрощением
логических формул по тексту задачи;
- приводить примеры предложений, являющихся и не являющихся
высказываниями;
- применять понятия инверсии, конъюнкции, дизъюнкции, импликации,
эквивалентности для проверки истинности и ложности сложных
высказываний;
- конструировать истинные и ложные сложные высказывания на основе
определения сложения и умножения высказываний;
- применять таблицы истинности для иллюстрации определений
логических операций, для доказательства их свойств.
5
ПРИМЕРНЫЙ ТЕМАТИЧЕСКИЙ ПЛАН
Наименование разделов и
тем
Введение. Предмет и
значение логики
Раздел 1. Логика и язык
Раздел 2. Понятие
Раздел 3.Суждение
Раздел 4. Логика вопросов
и ответов
Раздел 5. Дедуктивные
умозаключения (выводы из
простых суждений)
Раздел 6. Дедуктивные
умозаключения (выводы из
сложных суждений)
Раздел 7. Индуктивные
умозаключения
Раздел 8. Умозаключения
по аналогии
Раздел 9. Логические
основы аргументации
Раздел 10. Принципы
классической логики
ИТОГО
макс,
час
количество часов
самостоявсего лабора- практи- тельная
работа
торные ческие
работы занятия учащихся
3
2
-
1
1
3
22
10
2
22
10
1
-
1
8
1
-
9
8
-
6
1
22
22
-
18
-
12
12
-
8
-
8
8
-
6
-
28
28
-
24
-
10
10
-
8
-
13
12
-
12
1
140
136
1
92
4
6
СОДЕРЖАНИЕ
Предмет и понятие логики.
Логика и язык.
Понятие. Приемы образования понятий. Содержание и объем понятий.
Виды понятий. Отношения между понятиями. Логические операции над
понятиями. Обобщение и ограничение понятий. Определение понятий.
Правила определения. Неявные определения. Приемы, замещающие
определение. Деление. Виды деления.
Суждение. Простые суждения. Суждения об отношениях. Суждение
существования. Распределенность терминов в суждении. Выделяющие и
исключающие суждения. Отношения между суждениями. Логический
квадрат. Сложные суждения. Построение таблицы истинности. Логические
отношения между суждениями. Достаточные и необходимые условия.
Модальность суждений.
Логика вопросов и ответов. Правила формулирования ответа.
Дедуктивные умозаключения (выводы из простых суждений).
Умозаключение
как
форма
мышления.
Виды
умозаключений.
Непосредственные
умозаключения.
Превращение.
Обращение.
Противопоставление предикату. Противопоставление субъекту. Простой
категорический силлогизм. Способы проверки. Умозаключение из суждений
с отношениями.
Дедуктивные умозаключения (выводы из сложных суждений).
Условный
силлогизм.
Разделительный
силлогизм.
Энтимема.
Полисиллогизмы, сорит, эпихейрема.
Индуктивные умозаключения. Структура. Виды. Виды неполной
индукции. Методы установления причинных связей.
Умозаключения по аналогии. Структура. Виды. Условия повышения
вероятности заключения по аналогии.
Логические основы аргументации. Правила и ошибки в
доказательстве и опровержении. Непозволительные способы защиты и
опровержения.
Принципы классической логики. Основные законы логики.
Практикум по решению задач.
ОСНОВНЫЕ ВИДЫ И ФОРМЫ ДЕЯТЕЛЬНОСТИ УЧАЩИХСЯ
Изучение курса осуществляется посредством активного вовлечения
учащихся в различные виды и формы деятельности:

введение нового материала в форме дискуссии на основе
эвристического метода обучения, что возможно благодаря уже имеющимся у
учащихся знаний по математике, литературе и другим школьным предметам,
активизации и развитию интеллектуальных умений учащихся;
7
введение нового материала модуля по булевой алгебре в форме лекций,
что позволит учащимся гораздо быстрее применить законы логики ,
записанные в общем виде при решении частных задач;

уроки "общения", на которых еще раз разбираются важные, часто
применяемые свойства, изученные на предыдущих занятиях. На таких уроках
каждый ученик побывает в роли учителя и ученика и оценит свой ответ и
ответ соседа по парте;

решение заданий для самостоятельной работы в форме
индивидуальной, групповой работы с последующим обсуждением;

самостоятельное выполнение отдельных заданий, включение учащихся
в поисковую и творческую деятельность, предоставляя возможность
осмыслить свойства и их доказательства, что даёт возможность развивать
интуицию, без которой немыслимо творчество. "Интуиция гения более
надежна, чем дедуктивное доказательство посредственности" (Клайн).

ЛИТЕРАТУРА
1. О.Б. Богомолова Логические задачи. — М. БИНОМ. Лаборатория
знаний, 2005
2. В.Ю. Лыскова, Е.А. Ракитина Логика в информатике. — М.
“Информатика и образование”. 1999 г.
3. С.С. Коробков Элементы математической логики и теории
вероятности. — Екатеринбург, 1999
4. М.И. Башмаков Уроки математики. Выпуск 4. Учимся логике. —
Санкт-Петербург “Информатизация образования”, 2000 г.
5. А.П. Бойко Практикум по логике. — М. “Издательский центр АЗ”, 2006
г.
6. А.С. Жилин Логические задачи.
http://www.mirea.ac.ru/d1/metodika/Indexmet.htm
8
9
10
11
12