Логика — наука о законах мышления, и знание ее законов, умение применить их на практике служит успешному изучению законов естественно-научных и гуманитарных дисциплин, входящих в обязательную школьную программу. Но сама наука логика как учебная дисциплина не входит в число обязательных школьных предметов. Казалось бы, можно постигать законы логики, изучая законы конкретной науки. Отчасти так и происходит. Например, на уроке геометрии, строя цепочку доказательств, ученик осваивает и использует строгие законы логики. Менее очевидно использование законов логики в других дисциплинах. Но ведь построить красивый, полный, доказательный ответ на истории не менее важно, а этому способствует хорошее знание предмета, владение риторическими приемами и свободное владение законами логического мышления. И, наконец, учитывая, что в современной системе обучения преобладающей идеей становится идея развития, которая предусматривает, что ученик должен владеть навыками исследования, анализа, постановки и решения проблемы, то актуальность изучения логики в современной школе становится еще очевиднее.

Информатика — особая дисциплина. Как наука об информации она может легко связать научные дисциплины. Применение законов логики можно рассматривать как один из способов получения и обработки информации. Поэтому изучение элементов логики легко встраивается в курс информатики. При этом решаются следующие задачи:

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

Курс ведется в рамках Компьютерной школы при ПГУ и продолжает линию алгоритмизации и знакомства с программными исполнителями. В качестве такого исполнителя выбрана Черепашка ЛОГО (система Logo Writer) по следующим причинам:

• графический исполнитель является очень наглядным для ребенка, что облегчает процесс обучения;
• язык ЛОГО содержит основные алгоритмические конструкции универсального языка программирования и позволяет закрепить навыки решения задач программирования методом пошаговой детализации, изучить глубже свойства различных видов алгоритмов, познакомится с типами данных и т.д. Поскольку курс рассчитан на учеников 5-6 классов, то он существенно помогает ученикам развить пространственное мышление и открыть для себя свойства некоторых геометрических объектов (геометрию в школе они еще не изучают).

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

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

Сервер поддерживается фирмой НПП "БИТ про" Лучшие программы для образовательного процесса