«Основы математической логики» в школьном курсе Информатика и ИКТ

Материал из Saratov FIO Wiki
Перейти к: навигация, поиск

«Основы математической логики» в школьном курсе Информатика и ИКТ Изложение основ логики целесообразно начинать со знакомства учащихся с предметом логики, с ее историческим развитием, а так же связи логики и математики на протяжении тысячелетий. Здесь же рекомендуется сформулировать главную задачу логики. Следующим шагом изучения основ логики можно считать изложение материала о понятии, суждении и умозаключении. На этом этапе следует акцентировать внимание учащихся на таких аспектах как частное и общее, простое и сложное суждение на основе наблюдения природных, физических и биологических процессов. Здесь суждения выступают как результаты наблюдения и переработка информации из визуальной формы в вербальную. Компьютер выступает как генератор визуального потока информации. В результате чего учащиеся должны научиться выделять простые высказывания из сложных, а также уметь их простых суждений образовывать сложные. После работы с высказываниями можно перейти к выводу умозаключений. На этом этапе изложения материала необходимо добиться, чтобы учащиеся уяснили, что такое рассуждение, понимали важность предпосылок и заключений в сложном суждении вывода умозаключений, а также сформировать понятие принципов индукции и дедукции. Следующим этапом должна выступать непосредственно алгебра суждений. В этом разделе необходимо рассмотреть основные законы логики и познакомить учащихся с таблицами истинности. На основе таблиц истинности производить упрощение и доказательство логических выражений. Все это является технологией развития интеллектуальных способностей учащихся. В завершении изложения курса логики необходимо рассмотреть вопросы использования логики в вычислительной технике. В процессе изучения курса логики можно выдвинуть следующие требования к знаниям и умениям учащихся:

  • уметь выдвигать гипотезы и осуществлять их проверку;
  • понимать смысл слов «и», «или», «не»;
  • иметь представление о высказываниях (суждениях), истинности высказываний;
  • уметь рассуждать, строить умозаключения (последовательно и правильно выводить одни суждения из других)

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