Тема «Логика» в курсе информатики является одной из основополагающих и связана с темами алгоритмизация и программирование, моделирование и формализация, базы данных. Тем не менее, не все школьники усваивают и понимают эту одну из сложнейших в курсе информатики тем.
В поисках инварианта содержания образования необходимо ориентироваться на изучение общих понятий и тенденций в информатике. Так, по мнению С.А. Бешенкова, А.А. Кузнецова, В.С. Леднева и других ведущих специалистов, значительное внимание в образовательном процессе должно уделяться интеллектуальному развитию учащихся, формированию у них способности к продуктивному и целесообразному применению информационных и коммуникационных технологий (ИКТ) в процессе решения логических задач. Среди множества учебных задач дидактики (И.Я. Лернер, В.И. Загвязинский и др.) выделяют такие логические задачи, которые направлены на развитие логического мышления, совершенствование знаний учащихся и овладение ими обобщенных способов решения некоторого класса задач. При этом решение логических задач рассматривается как выбор и описание объекта познания, выбор и реализация последовательности определенных действий над объектом, интерпретация полученных результатов с целью пополнения, уточнения и обобщения информации об объекте познания. При этом логическая задача выступает в качестве средства развития интеллектуальных умений учащихся.
Изложение основ логики необходимо начинать как можно раньше, вплоть до начальных классов. Основы должны закладываться со знакомства школьников с предметом логики, с ее историческим развитием, а так же связи логики и математики на протяжении тысячелетий. Здесь же рекомендуется сформулировать главную задачу логики.
Формальная логика рассматривает понятие, суждение, умозаключение как основные формы мышления. Оперирование ими отражает сущность логического мышления. Механизм логического мышления заключается в операциях логического мышления, основывающихся на четырёх законах логики: тождества, непротиворечия, исключённого третьего, двойного отрицания.
Следующим шагом изучения основ логики можно считать изложение материала о понятии, суждении и умозаключении. На этом этапе следует акцентировать внимание учащихся на таких аспектах как частное и общее, простое и сложное суждение на основе наблюдения природных, физических и биологических процессов. Здесь суждения выступают как результаты наблюдения и переработки информации из визуальной формы в вербальную. В результате чего учащиеся должны научиться выделять простые высказывания из сложных, а также уметь из простых суждений образовывать сложные.
Хорошо развитое логическое мышление школьников позволяет им применять приобретённые знания в новых условиях, решать нетиповые задачи, находить рациональные способы их решения, творчески подходить к учебной деятельности, активно, с интересом участвовать в собственном учебном процессе.
Но процесс развития логического мышления предполагает не только формирование некоторого круга понятий и специфических способов их применения, но и необходимого уровня развития логических приёмов мышления в познавательной деятельности учащихся для активного добывания знаний, умения применять их в творческом преобразовании действительности.
Способом проверки знаний учащихся могут выступать как самостоятельные работы, так и компьютерные тесты из ЕГЭ.
При изучении логики в школьном курсе информатики, на первый план выдвигается развитие познавательных способностей, так как нужно основываться на необходимости всестороннего гармонического развития личности, развития творческих умений, художественных способностей и эстетических качеств, а также расширения кругозора и повышения интереса к окружающей действительности.
Умение находить способы решения логических задач является одним из основных показателей уровня развития, глубины освоения учебного материала.
Рефлексивные мыслительные процессы находят свое выражение и в процессе постановки проблемы, и на этапе проигрывания гипотез, и при формулировке окончательных выводов. Особенно это относится к нестереотипным логическим задачам.
Не имея готовых средств решения, учащиеся вырабатывают предварительные схемы анализа проблемы, используют различного рода гипотезы и допущения, рефлексивно осмысливают возникающие идеи. Можно отметить, что в задачах логического характера присутствует дух нестандартности. Именно такого рода задачи встречаются среди олимпиадных задач.
Формирование и развитие логики осуществляется в процессе решения логических задач. При этом можно выделить следующие способы обучения решению логических задач на уроках информатики:
1) установление совместно с учащимися факта: к одному или к разным типам принадлежат задачи;
2) определение сходства и различия в способах решения задач;
3) анализ особенностей условий задач;
4) составление задач, принадлежащих (не принадлежащих) к одному типу.
Для разработки методики обучения решению логических задач, способствующей формированию логического мышления учащихся, необходимо определить критерии ее эффективности.