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

Ростовская область, Егорлыкский район, станица Новороговская

Муниципальное бюджетное общеобразовательное учреждение

Новороговская средняя общеобразовательная школа № 2

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

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

основное общее образование, 8 класс

Количество часов: 34

Учитель высшей категории – Варич Ольга Алексеевна

Рабочая программа разработана в соответствии с программой Информатика. Программы для образовательных организаций. 2–11 классы / сост. М. Н. Бородин. – М. : БИНОМ. Лаборатория знаний, 2015.

2018 – 2019 учебный год

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

Настоящая рабочая программа факультатива «Логика в информатике» для 8 класса разработана на основе документов:

Федеральный закон «Об образовании в Российской Федерации» от 29 декабря 2012 г. № 273-ФЗ;

Приказ Минобрнауки России от 17.12.2010 Г. № 1897 «Об утверждении и введении в действие федерального государственного образовательного стандарта основного общего образования» (в ред. приказа Минобрнауки России от 29.12.2014 г. № 1644);

Примерная основная образовательная программа основного общего образования (одобрена федеральным учебно-методическим объединением по общему образованию, протокол заседания от 08.04.2015 г. № 1/15);

Информатика. Программы для образовательных организаций. 2–11 классы / сост. М. Н. Бородин. – М. : БИНОМ. Лаборатория знаний, 2015.

Основная образовательная программа основного общего образования МБОУ НСОШ № 2;

Устав муниципального бюджетного общеобразовательного учреждения Новороговской средней общеобразовательной школы № 2;

Учебный план МБОУ НСОШ № 2 на 2018 – 2019 учебный год;

Годовой календарный график МБОУ НСОШ № 2 на 2018 – 2019 учебный год;

На изучение факультатива «Логика в информатике» в 8 классе отведено 35 часов из расчета 1 час в неделю. Количество часов в рабочей программе 34 (сокращение учебного времени на 1 час объясняется количеством учебных недель по Годовому календарному графику МБОУ НСОШ № 2 и расписанием учебных занятий на 2018 – 2019 учебный год).

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

Цели курса:

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

Овладение символьным языком, приёмами выполнения тождественных преобразований логических выражений;

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

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

Развитие алгоритмического и логического мышления, необходимого для профессиональной деятельности в современном обществе; формирование знаний о логических значениях и операциях;

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

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

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

Расширить рамки школьного курса информатики с последующим повышением интереса к предмету.

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

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

Данный курс содержит вопросы, которым в базовом школьном предмете Информатика уделено мало времени и которые призваны помочь профессиональному ориентированию и самоопределению школьников.

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

Методологической основой федеральных государственных образовательных стандартов является системно-деятельностный подход, в рамках которого реализуются современные стратегии обучения, предполагающие использование информационных и коммуникационных технологий (ИКТ) в процессе изучения всех предметов, во внеурочной и внешкольной деятельности на протяжении всего периода обучения в школе. Организация учебно-воспитательного процесса в современной информационно-образовательной среде является необходимым условием формирования информационной культуры современного школьника, достижения им ряда образовательных результатов, прямо связанных с необходимостью использования информационных и коммуникационных технологий.

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

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

планируемые Результаты освоения ФАКУЛЬТАТИВНОГО КУРСА

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

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

понимание роли информационных процессов в современном мире;

владение первичными навыками анализа и критичной оценки получаемой информации;

ответственное отношение к информации с учетом правовых и этических аспектов ее распространения;

развитие чувства личной ответственности за качество окружающей информационной среды;

способность увязать учебное содержание с собственным жизненным опытом;

готовность к повышению своего образовательного уровня и продолжению обучения;

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

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

владение общепредметными понятиями «понятие», «суждение», «умозаключение», «высказывание» и др.;

владение информационно-логическими умениями: определять понятия, создавать обобщения, устанавливать аналогии, классифицировать, самостоятельно выбирать основания и критерии для классификации, устанавливать причинно-следственные связи, строить логическое рассуждение, умозаключение (индуктивное, дедуктивное и по аналогии) и делать выводы;

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

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

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

владение информационным моделированием как основным методом приобретения знаний: умение преобразовывать объект из чувственной формы в пространственно-графическую или знаково-символическую модель; умение строить разнообразные информационные структуры для описания объектов; умение «читать» таблицы, графики, диаграммы, схемы и т.д., самостоятельно перекодировать информацию из одной знаковой системы в другую; умение выбирать форму представления информации в зависимости от стоящей задачи, проверять адекватность модели объекту и цели моделирования;

ИКТ-компетентность – широкий спектр умений и навыков использования средств информационных и коммуникационных технологий для сбора, хранения, преобразования и передачи различных видов информации, навыки создания личного информационного пространства.

Планируемые результаты изучения курса «Логика в информатике»:

Раздел «Логика как наука»

Выпускник научится:

Определять формы познания окружающего мира;

Определять формы мышления;

Анализировать приемы формирования понятий;

Определять виды суждений;

Понимать правила построения умозаключений;

Устанавливать отношения между понятиями;

Анализировать объекты окружающей действительности, указывая их признаки — свойства, действия, поведение, состояния.

Выпускник получит возможность:

выявлять отношения, связывающие данный объект с другими объектами;

осуществлять деление заданного множества объектов на классы по заданному или самостоятельно выбранному признаку — основанию классификации;

Выполнять классификацию понятий.

Раздел «Понятие об алгебре высказываний»

Выпускник научится:

Приводить примеры высказываний.

Определять логические операции.

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

составлять логические выражения с операциями И, ИЛИ, НЕ;

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

строить таблицы истинности логических выражений, содержащих основные операции.

Выпускник получит возможность:

Строить таблицы истинности для логических выражений.

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

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

Раздел «Логические переменные и логические функции»

Выпускник научится:

Определять типы логических задач.

Выбирать методы решения практических задач.

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

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

строить логическую цепочку рассуждений;

визуализировать соотношения между числовыми величинами;

Ученик получит возможность:

научиться решать логические задачи с использованием таблиц истинности;

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

Раздел «Законы логики»

Выпускник научится:

решать основные виды логических уравнений

решать не сложные системы логических уравнений;

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

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

Ученик получит возможность:

овладеть специальными приёмами решения логических уравнений и систем логических уравнений;

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

решать системы логических уравнений

СОДЕРЖАНИЕ ПРОГРАММЫ

Логика как наука

Законы правильного мышления. Формы человеческого мышления. Решение задач «Формы человеческого мышления». Предмет формальной логики. Развитие логики. Отношения между понятиями. Решение задач «Логика как наука».

Понятие об алгебре высказываний

Элементы математической логики. Решение задач «Суждения и операции над ними».

Логические операции

Логическое отрицание. Инверсия. Логические операции. Конъюнкция. Логические операции. Дизъюнкция. Логическое следование. Импликация. Логическое равенство. Эквивалентность. Решение задач «Логические операции».

Логические переменные и логические функции

Понятие логических выражений. Логическая функция.

Сложное высказывание

Примеры сложных и простых высказываний. Приоритет логических операций. Построение таблиц истинности сложных высказываний. Тождественно истинные, тождественно ложные высказывания. Решение задач «Построение таблиц истинности сложных высказываний».

Законы логики

Законы формальной логики. Законы алгебры высказываний. Замена операций импликации и эквивалентности. Некоторые доказательства логических законов. Решение задач «Законы логики».

Упрощение сложных высказываний

Решение задач «Упрощение сложных высказываний».

Решение логических содержательных задач

Решение задач «Решение логических содержательных задач».

ТЕМАТИЧЕСКОЕ ПЛАНИРОВАНИЕ

КАЛЕНДАРНО-ТЕМАТИЧЕСКОЕ ПЛАНИРОВАНИЕ

Адрес публикации: https://www.prodlenka.org/metodicheskie-razrabotki/355954-rabochaja-programma-fakultativa-logika-v-info