Рабочая программа внеурочной деятельности "Логика в информатике"

МИНИСТЕРСТВО ПРОСВЕЩЕНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ

Министерство общего и профессионального образования Ростовской области

 Управление образования г. Волгодонска

МБОУ СШ № 13 г. Волгодонска

РАССМОТРЕНО:                     СОГЛАСОВАНО:                    УТВЕРЖДЕНО:

На методическом совете          решением педагогического     Директором МБОУ СШ №13

«29» августа 2022 г.                  совета протокол № 1              г. Волгодонска

Протокол № 1_________          от 30 августа 2022 г.               ________ Н.В. Полищук

                                                                                                      Приказ № 301 от30.08.22г.

РАБОЧАЯ ПРОГРАММА

Внеурочной деятельности (общеинтеллектуальное направление)

«Логика в информатике»

Уровень общего образования (класс)

среднее общее образование 11 класс

Учитель Веселаго Галина Викторовна

г.Волгодонск, 2022 г.

ПОЯСНИТЕЛЬНАЯ ЗАПИСКА

Данная рабочая программа внеурочной деятельности по информатике «Офисные программы» для 11 класса  по общекультурному направлению развития личности разработана на основе:

1. Федеральный государственный образовательный стандарт основного общего образования, приказ № 1897 Министерства образования и науки РФ от 17 декабря 2010 г.      
2. Концепция фундаментального ядра содержания общего образования
3. Федеральный компонент государственного стандарта общего образования (от 05.03.2004 г. № 1089) Часть II. Среднее (полное) общее образование
4. Требования к оснащению образовательного процесса в соответствии с содержательным наполнением учебных предметов федерального компонента государственного стандарта общего образования. Информатика и информационные технологии.

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

Цели изучения курса

1.      Получение знаний о законах и  логических формах правильного  мышления;

2.      Научить учащихся предоставлять условия и решения задачи в формализованном виде;

3.      Выделять существенные высказывания в тексте задачи;

4.      Преобразовывать логические выражения в соответствии с законами и свойствами

5.       Освоение формально-логических основ работы компьютера и применение принципов формальной логики для решения прикладных задач;

6.      Предоставление учащимся информации, необходимой для изучения других тем информатики.

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

Задачи курса:

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

Сформировать умение выбирать самостоятельный способ решения  и оценивать его в сравнении с другими способами.

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

Описание места учебного курса в учебном плане

Данная программа рассчитана на 1 год обучения. Занятия проводятся 1 раз в неделю по 1 ч. Всего 34 часа.

Требования к уровню подготовки обучающихся

Учащиеся должны знать:

 основные понятия и законы математической логики.

понятия высказывания, истинности, ложности высказывания, сложного высказывания; определение и обозначение операций конъюнкции, дизъюнкции, отрицания, импликации эквиваленции; законы логики и правила преобразования логических выражений.

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

Учащиеся должны уметь:

строить и анализировать таблицы истинности;

упрощать логические выражения;

строить для логической функции таблицу истинности и логическую схему.

строить электронные и релейные схемы по заданным таблицам истинности и формулам.

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

Содержание курса

1.      Формальная логика  Высказывания (2 часа)  Алгебра логики.  Представление логических функций с помощью базовых логических операций. Основные тождества алгебры логики. Основные законы алгебры логики. Законы де Моргана.  Логические переменные и логические операции. Дизъюнкция, конъюнкция, инверсия. Соответствие их логическим связкам. Таблицы истинности базовых логических операций. Разные формы записи логических операций, предикаты.   Вычисления значений логических выражений. Логические функции.

2.      Логические величины, операции (4часа) Представление логических функций с помощью базовых логических операций. Основные тождества алгебры логики. Основные законы алгебры логики. Законы де Моргана.  Логические переменные и логические операции. Дизъюнкция, конъюнкция, инверсия. Соответствие их логическим связкам. Логические функции.
3.   Таблицы истинности (4часа) Правило построения таблиц истинности сложных логических выражений. Тождественность логических функций. Дизъюнктивная нормальная форма записи логической функции. Конъюнктивная нормальная форма записи. Совершенная дизъюнктинвно-нормальная форма записи (СДНФ). Совершенная конъюктивно-нормальная форма записи. Запись СДНФ по таблице истинности. Запись СКНФ по таблице истинности. Построение таблицы истинности по заданной СДНФ. Построение таблицы истинности по заданной СКНФ.

4. Преобразование логических выражений (6 часов) Тождества. Формулы поглощения и склеивания. Основные законы алгебры логики. Упрощение логических выражений. Упрощение сложных логических выражений. Математическая форма записи сложных высказываний.
5. Логические схемы на контактных элементах.  Основы схемотехники  (4 часа)Техническая реализация базовых логических операций: последовательное  и параллельное соединение переключателей, электромагнитное реле. Клод Шеннон (историческая справка) и релейные схемы реализации логических функций. Электронные схемы, условные обозначения. Логические элементы компьютера.   Построение электронных и релейных схем по заданным таблицам истинности и формулам. Запись логических выражений, реализуемых данными электронными  и релейными схемами.
6. Импликация и эквивалентность(2 часа) Импликация, исключающее или, эквивалентность. Таблицы истинности этих функций.
7. Решение содержательных логических задач средствами алгебры логики (6ч) Решение задач с помощью аппарата алгебры логики. Запись условия задачи на языке алгебры логики. Упрощение полученных логических выражений. Решение задач с помощью анализа таблиц истинности. Представление условия задачи в виде  графов, логических выражений, диаграмм Эйлера-Венна.
8. Логические задачи в материалах ЕГЭ по информатике(4ч) Решение логических задач из материалов ЕГЭ по информатике. (средствами алгебры логики).  Решение логических задач из материалов ЕГЭ по информатике.(с помощью таблиц истинности). Решение логических задач из материалов ЕГЭ по информатике.(табличным способом).
9. Защита проекта(2ч)

Календарно - тематическое планирование

11 класс

№ занятия	Тема	Количество часов	Дата
Модуль 1.  Формальная логика  Высказывания (2 часа)
1	Основные формы мышления	1	05.09.22
2	Простые и сложные высказывания	1	12.09.22
Модуль 2.  Логические величины, операции (4 часа)
3	Логические переменные и логические функции	1	19.09.22
4	Базовые логические операции	1	26.09.22
5	Импликация, эквивалентность, исключающее или	1	03.10.22
6	Запись сложных высказываний на языке алгебры логики	1	10.10.22
Модуль 3. Таблицы истинности (4 часа)
7	Алгоритм построения таблиц истинности.	1	17.10.22
8	Построение таблиц истинности.	1	24.10.22
9	Построение таблиц истинности простых логических выражений	1	08.11.22
10	Построение таблиц истинности сложных ло­гических выражений.	1	14.11.22
Модуль 4.  Преобразование логических выражений(6 часов)
11	Тождества	1	21.11.22
12	Формулы поглощения и склеивания	1	28.11.22
13	Основные законы алгебры логики	1	05.12.22
14	Упрощение логических выражений	1	12.12.22
15	Упрощение сложных логических выражений.	1	19.12.22
16	Математическая форма записи сложных высказываний.	1	26.12.22
Модуль 5.  Логические схемы на контактных элементах.  Основы схемотехники  (4 часа)
17	Техническая реализация базовых логических операций: последовательное  и параллельное соединение переключателей, электромагнитное реле.	1	16.01.23
18	Электронные схемы, условные обозначения. Логические элементы компьютера.	1	23.01.23
19	Построение электронных и релейных схем по заданным таблицам истинности и формулам.	1	30.01.23
20	Запись логических выражений, реализуемых данными электронными  и релейными схемами.	1	13.02.23
Модуль 6. Импликация и эквивалентность(2 часа)
21	Импликация, исключающее или, эквивалентность.	1	20.02.23
22	Таблицы истинности этих функций.	1	27.02.23
Модуль 7. Решение содержательных логических задач средствами алгебры логики (6ч)
23	Решение задач с помощью аппарата алгебры логики.	1	06.03.23
24	Запись условия задачи на языке алгебры логики.	1	13.03.23
25	Упрощение полученных логических выражений.	1	20.03.23
26	Решение задач с помощью анализа таблиц истинности.	1	27.03.23
27	Представление условия задачи в виде  графов, логических выражений.	1	03.04.23
28	Представление условия задачи в виде  диаграмм Эйлера-Венна.	1	10.04.23
Модуль 8.  Логические задачи в материалах ЕГЭ по информатике(4ч)
29	Решение логических задач из материалов ЕГЭ по информатике. (средствами алгебры логики).	1	17.04.23
30	Решение логических задач из материалов ЕГЭ по информатике. (средствами алгебры логики).	1	24.04.23
31	Решение логических задач из материалов ЕГЭ по информатике.(с помощью таблиц истинности).	1	15.05.23

Литература

1.    Тихонова Л.В. Элементы математической логики. Факультативный курс. Газета “Математика” №42 (2002 г.), №4,5, 14,42(2003 г.)

2.    Гейн А. Г., Юнерман Н. А. Задачник-практикум по информатике и информационным технологиям: Кн. для учащихся 7-11 кл. общеобразоват. учреждений. – М.: Просвещение, 2018.

3.    Лыскова В. Ю., Ракитина Е. А. Логика в информатике. – М.: Лаборатория базовых знаний, 2001.

4.    Л. Залогова, М.Плаксин, С.Русакова, И. Семакин, Задачник-практикум, Москва, Лаборатория Базовых Знаний, 2009 г.

5.    И.Семакин, Л.Залогова, С.Русаков, Л. Шестакова, Информатика базовый курс, Москва, Лаборатория Базовых Знаний, 2018 г.

6.    Материалы централизованного тестирования по информатике.

7.    Материалы ЕГЭ по информатике.

Интернет-ресурсы, электронные информационные источники, ЦОР, используемые в образовательном процессе

Министерство образования и науки Российской Федерации	http://www.mon.gov.ru
Федеральный портал «Российское образование»	http://www.edu.ru
Федеральный портал «Информационно-коммуникационные технологии в образовании»	http://www.ict.edu.ru
Виртуальный компьютерный музей	http://www.computer-museum.ru
Информатика и информационные технологии в образовании	http://www.rusedu.info
Научно-методический журнал «Информатика и образование»	http://www.infojournal.ru/
Клякс@.net: Информатика в школе. Компьютер на уроках	http://www.klyaksa.net
Открытые системы: издания по информационным технологиям	http://www.osp.ru
Ресурсы Единой коллекции цифровых образовательных ресурсов	http://school-collection.edu.ru/

Перечень средств ИКТ, необходимых для реализации программы

Аппаратные средства

• Компьютер – универсальное устройство обработки информации; основная конфигурация современного компьютера обеспечивает учащемуся мультимедиа-возможности: видео-изображение, качественный стереозвук в наушниках, речевой ввод с микрофона и др.
• Проектор, подсоединяемый к компьютеру, видеомагнитофону, микроскопу и т. П.; технологический элемент новой грамотности – радикально повышает: уровень наглядности в работе учителя, возможность для учащихся представлять результаты своей работы всему классу, эффективность организационных и административных выступлений.
• Принтер – позволяет фиксировать на бумаге информацию, найденную и созданную учащимися или учителем. Для многих школьных применений необходим или желателен цветной принтер. В некоторых ситуациях очень желательно использование бумаги и изображения большого формата.
• Устройства вывода звуковой информации – наушники для индивидуальной работы со звуковой информацией, громкоговорители с оконечным усилителем для озвучивания всего класса.
• Устройства для ручного ввода текстовой информации и манипулирования экранными объектами – клавиатура и мышь (и разнообразные устройства аналогичного назначения).

Перечень используемых в курсе компьютерных программ

·         Операционная система Windows 10 и выше

·         Клавиатурный тренажер.

·         Пакет Microsoft Office 2016 и выше

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

·         Интегрированное офисное приложение, включающее программу разработки презентаций.

·         Звуковой редактор.

·         Мультимедиа проигрыватель (входит в состав операционных систем или др.).