Программа курса «Основы логики» направлена формирование представления об основах математической логики и развитие способности применять полученные теоретические знания к решению актуальных практических зада, формированию логического мышления, развитию абстрактного мышления, освоение аппарата математической логики.
Содержание дисциплины является обязательным минимумом для последующих курсов, связанных с изучением логических основ программирования, интеллектуальных систем, робототехники.
Актуальность курса «Основы логики» заключается в том, что владение элементарным комплексом логических понятий и действий позволяет школьникам лучше усваивать математику и информатику.
Особенность данного курса состоит в доступном способе подачи информации.
Программа рассчитана на 16 часов.
Целевая аудитория программы:
- обучающиеся 7– 11 классов школ Кемеровской области с хорошими и отличными базовыми знаниями по математике, мотивированных к изучению программирования;
- обучающиеся центров детского технического творчества, занимающиеся по направлению «Робототехника», «Программирование микропроцессорных устройств».
Цель программы: развитие у обучающихся навыков аналитического и логического мышления, логической и алгоритмической интуиции как в математике, так и в информатике.
В результате освоения программы обучающийся будет:
Знать:
- понятия и методы формальной логики;
- основные логические операции и правила их использования;
- правила построения таблиц истинности логических функций.
Уметь:
- выявлять и анализировать логическую форму рассуждений;
- уметь применять правила и язык логики высказываний к естественному языку;
- составлять таблицы истинности логических функций от двух и трёх переменных.
Владеть:
- приемами построения таблиц истинности логических функций;
- приёмами нахождения значения логической функции с помощью таблицы истинности.
Практика, предусмотренная ДООП: построение таблиц истинности логических функций, нахождение значения логической функции с помощью таблицы истинности.
Преподаватель:
Лисичкина Е.А., методист ГАУДО КО РЦВПРС и ТДМ "Сириус. Кузбасс"
