Преподавание основ логики в школьном курсе информатики

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

Формирование необходимых качеств современного человека,  а также качественное «преобразование» информации в знания невозможно без изучения основ логики.

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

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

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

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

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

Основные задачи, которые решает учитель информатики в процессе формирования логического мышления:

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

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

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

            ГОСО – 2012 предусматривает введение предмета информатика с 5 класса. Из вариативной части учебного плана можно выделить часы на преподавание информатики в начальной школе и старших классов.

РАСПРЕДЕЛЕНИЕ  ЧАСОВ

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

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

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

            Изучение основ логики в 5-7 классах предполагает отработку навыков по решению логических задач, которые были заложены в курсе начальной школы.

Далее изучение основ логики разбито на 2 части: «Элементы формальной логики» и «Элементы математической логики» изучаются в 8 классе, что позволяет выделить и закрепить знания о понятиях и суждениях, доказательных рассуждениях, о логических законах, сформировать умения оперировать символикой математической логики, применять эти умения к решению логических содержательных задач, а «Логические основы устройства ЭВМ» – в 9 классе, что позволяет сформировать знания об архитектуре и принципах функционирования ЭВМ.

Цели курса:

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

Распределение часов - смотри архив.

В 10-11 классах изучение логики должно быть продолжено с учетом профессионального определения. Можно предложить элективный курс «Основы математической логики».

Цели курса :     

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

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

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

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

10-11 класс – распределение часов – смотри документ.

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

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Лапчик, М. П., Семакин, И. Г., Хеннер, Е. К. Методика преподавания информатики: Учеб. пособие для студ. пед. вузов/ Под общ. ред. М. П. Лапчика.- М.: Издательский центр “Академия”, 2001.- 624 с.
2. Левченко, И. В., Самылкина, Н. Н. Общие вопросы методики обучения информатики в средней школе. Учебное пособие для студентов педагогических вузов и университетов.- М.: МГПУ, 2003.- 106 с.
3. Леднев, В. С., Кузнецов, А. А., Бешенков, С. А. Состояние и перспективы развития курса информатики в общеобразовательной школе// Информатика и образование.- 1998.- № 3.- с. 76-78.
4. Лихтарников, Л. М. Первое знакомство с математической логикой/ Оформление А. Олексенко, с. Шапиро.- СПб.: Лань, 1997.- 112 с.
5. Логика: Учеб. Пособие для общеобразоват. учеб. заведений, шк. и классов с углубл. изуч. логики, лицеев и гимназий/ А. Д. Гетманова, А. Л. Никифоров, М. И. Панов и др.- М.: Дрофа, 1995.- 256 с.: ил.
6. Лыскова, В. Ю., Ракитина Е. А. Логика в информатике.- М.: Лаборатория Базовых Знаний, 2001.- 160 с.: илл.
7. Программы для общеобразовательных учреждений: Информатика. 2-11 классы.- М.: БИНОМ. Лаборатория знаний, 2003.- 205 с., илл.