. «Логика в задачах» элективный курс по информатике и икт (9 класс) на тему
«Логика в задачах» элективный курс по информатике и икт (9 класс) на тему

«Логика в задачах» элективный курс по информатике и икт (9 класс) на тему

Элективный курс «Логика в задачах» для 9 класса рассчитан на 17 часов. Рассмотриваются основы математической логики.

Скачать:

ВложениеРазмер «Логика в задачах». Элективный курс для 9 класса. 17 часов. 153 КБ

Предварительный просмотр:

На заседании МО

Протокол № 1 _____

« 26 » августа 2016 г.

Руководитель МО: __

Директор МАОУ СОШ № 50

от « 29 » _ августа 2016 г.

Предмет: «Логика в задачах».

Всего часов на изучение программы 17

Количество часов в неделю 1

Разработчик рабочей программы:

2016– 2017 уч. год

Настоящая программа элективного курса «Логика в задачах» соответствует Программе базового курса информатики, разработанной авторами учебников Семакиным И.Г., Залоговой Л.А., Русаковым С.В., Шестаковой Л.В. и предназначена расширить знания учащихся основной школы по алгебре логики. Программа рассчитана на 17 часов (0,5 часа в неделю). За основу взята программа Розиной А.В. «Логика в задачах».

Цели: Расширение и углубление практических навыков решения логических задач.

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

Содержание элективного курса «Логика в задачах» соответствует утвержденным Министерством образования РФ Стандарту среднего (полного) общего образования по информатике и информационным технологиям и Примерной программе среднего (полного) общего образования по курсу «Информатика и ИКТ» на базовом уровне.

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

  • Представление информации.
  • Информационные модели и системы.
  • Компьютер как средство автоматизации информационных процессов.
  • Средства и технологии создания и преобразования информационных объектов.
  • Алгоритмизация и программирование.

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

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

Знание логики и её законов позволит эффективно решать задачи экзаменационного типа, как по информатике, так и по другим предметам школьного курса.

Общее число часов — 17.

  1. Введение – 2 ч

Инструктаж по технике безопасности.

Исторические сведения. Общие сведения о науке «Математическая логика». Высказывания. Истинность и ложность высказывания. Умозаключения.

Термины. Содержание и объём понятий. Диаграмма Венна.

  1. Основные логические операции . – 2 ч.

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

№ 1: Логические операции в электронных таблицах. Часть 1.

№ 2: Логические операции в электронных таблицах. Часть 2.

  1. Тождественность логических формул . – 3 ч.

Тождественно-истинные формулы. Тождественно-ложные формулы. Доказательство тождественности двух формул через построение таблиц истинности.

№ 3: Построение формул в ЭТ.

4. Законы математической логики . – 6 ч.

Основные законы математической логики: переместительный, сочетательный, распределительный, де Моргана. Равносильные преобразования формул.

№ 4: Компьютерное тестирование на сайте /http://bit.ly/2kwrU5M

№ 5: Компьютерное тестирование на сайте /http://bit.ly/2kgMjuL

5. Множества. – 3 ч.

Множества. Операции над множествами (объединение, пересечение, разность, симметрическая разность).

№ 6: Построение диаграмм Венна. /http://bit.ly/2kDF0AK

№ 7: Отчет по индивидуальному заданию средствами ИКТ.

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

В результате изучения курса ученик должен:

– смысл понятий: понятие, термин, законы логики, логические операции ;

– что такое множества и действия над ними;

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

– выделять в сложном (составном) высказывании простые высказывания,

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

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

–анализировать условие несложной задачи и строить траекторию решения.

• использовать приобретённые знания и умения в практической деятельности и повседневной жизни для:

– обеспечения безопасности жизнедеятельности в процессе использования компьютера;

📎📎📎📎📎📎📎📎📎📎