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

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

…