Основы логики (курс ДО)

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

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

Актуальность курса «Основы логики» заключается в том, что владение элементарным комплексом логических понятий и действий позволяет школьникам лучше усваивать математику и информатику. 

Особенность данного курса состоит в доступном способе подачи информации.

Программа рассчитана на 16 часов.

Целевая аудитория программы:

• обучающиеся 7– 11 классов школ Кемеровской области с хорошими и отличными базовыми знаниями по математике, мотивированных к изучению программирования;
• обучающиеся центров детского технического творчества, занимающиеся по направлению «Робототехника», «Программирование микропроцессорных устройств».

Цель программы: развитие у обучающихся навыков аналитического и логического мышления, логической и алгоритмической интуиции как в математике, так и в информатике.

В результате освоения программы обучающийся будет:

Знать:

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

Уметь:

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

Владеть:

• приемами построения таблиц истинности логических функций;
• приёмами нахождения значения логической функции с помощью таблицы истинности.

Практика, предусмотренная ДООП: построение таблиц истинности логических функций, нахождение значения логической функции с помощью таблицы истинности.

Преподаватель:

Лисичкина Е.А., методист ГАУДО КО РЦВПРС и ТДМ "Сириус. Кузбасс"