Программа курса «Элементы математической логики и программирование в среде КУМИР»

Программа

(Элективный курс «Элементы математической логики

и программирование в среде КУМИР» )

Пояснительная записка

(Элективный курс «Элементы математической логики

и программирование в среде КУМИР» )

Учащиеся старших классов изучают элективный курс 1 год, в объеме 34 час

ОБЩАЯ ХАРАКТЕСТИКА ЭЕКТИВНОГО КУРСА.

Основные вопросы для изучения курса школьниками были разработаны в 2011-2012 учебном году. Апробация и доработка данного курса осуществлялась в 2012-2013, 2013-2014, 2014-2015 учебных годах на базе ГБОУ ЦО № 422 “Перово” и в 2015-2016 на базе ГБОУ Школа № 2126 “Перово”, появившейся в результате слияния ГБОУ ЦО № 422 “Перово” и ГБОУ СОШ № 782.

Курс состоит из двух взаимосвязанных частей «Элементы математической логики» -17 час. «Программирование в среде КУМИР» -17 час. Вопросы, рассматриваемые в курсе, выходят за рамки обязательного содержания предмета информатики. Вместе с тем, они тесно примыкают к основному курсу. Поэтому данный элективный курс будет способствовать совершенствованию и развитию важнейших знаний и умений в области информатики, предусмотренных школьной программой, поможет оценить ученикам свои возможности по информатике и более осознанно выбрать профиль дальнейшего обучения. Изучение курса «Элементы математической логики» осуществляется посредством активного вовлечения учащихся в различные виды и формы деятельности:

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

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

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

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

Знать/понимать

- определение высказывания, понятия инверсии, конъюнкции, дизъюнкции, импликации, эквивалентности;
- определение операции отрицания, её свойства;

- назначение таблицы истинности;

- законы и правила алгебры логики, понятия логического тождества (тавтологии).

Вторая часть элективного курса «Программирование в среде КУМИР» -17 час. базируется на «ШКОЛЬНОМ языке программирования», разработанном А. П. Ершовым в первой половине 80-х годов ХХ века. Система Кумир реализована в НИИСИ РАН по заказу Российской Академии Наук и распространяется свободно на условиях лицензии GNU 2.0., которая разрешает бессрочно использовать КуМир на любом количестве компьютеров в любых целях без оформления каких либо дополнительных документов. КуМир (Комплект Учебных МИРов) - система программирования, предназначенная для поддержки начальных курсов информатики и программирования в средней и высшей школе
Система Кумир — позволяет создавать, отлаживать и выполнять программы на универсальном языке программирования Кумир. Кумир является учебной системой. Ученик, никогда ранее не программировавший, может начать писать и выполнять алгоритмически относительно несложные программы через небольшое время после знакомства с системой. В то же время система Кумир позволяет создавать достаточно большие и сложные программы. Во время редактирования программы система Кумир автоматически производит синтаксический разбор и сообщает о найденных ошибках.
Кроме обычных средств программирования Кумир имеет средства управления исполнителями - устройством, которое может выполнять определенный набор действий. Система Кумир включает графические исполнители Робот, Кузнечик, Водолей и Чертежник.

Знать/понимать

Разработка окружающей обстановки для исполнителя «Робот»;

Уметь редактировать и сохранять окружающую обстановку;

Знать команды среды «Робот», «Чертежник» и уметь

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

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

Знать понятие случайное число и уметь формировать вещественные и целые массивы случайных чисел;

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

Понимать как использовать среду КУМИР для решения задач раздела программирование в ЕГЭ.

Цели и задачи курса

Формирование интереса к профессиям, связанным с логикой и п программированием.

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

Формирование логической и алгоритмической культуры учащихся.

Развитие логического и алгоритмического мышления учащихся.

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

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

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

Рекомендуемая литература:

А.Г.Кушниренко, Г.В.Лебедев, Р.А.Свореньи Основы информатики и вычислительной техники.Учебник для средних учебных

А.Г.Кушниренко, Г.В.Лебедев Программирование для математиков

С.С. Крылов, Д.М. Ушаков. Тематическая рабочая тетрадь. Информатика. ЕГЭ. М. ЭКЗАМЕН, 2010,151 с.

И.Г. Семакин, Т.Ю. Шеина, Л.В. Шестакова Информатика и ИКТ. Профильный уровень. Учебник для 10 класса. М. БИНОМ, ЛБЗ, 2010 г., с. 363

Е.В. Андреева, Л.Л. Босова, И.Н. Фалина. Математические основы информатики. Методическое пособие. М. БИНОМ, ЛБЗ, 2007 г., с. 312

Е.В. Андреева, Л.Л. Босова, И.Н. Фалина. Математические основы информатики. Учебное пособие. М. БИНОМ, ЛБЗ, 2007 г., с. 327

http://ru.solverbook.com/spravochnik/tablicy/tablicy-istinnosti/

http://kpolyakov.spb.ru/school/ppt.htm

Календарно–тематическое планирование элективного курса «Элементы математической логики и программированиев среде КУМИР»

11 а класс

Адрес публикации: https://www.prodlenka.org/metodicheskie-razrabotki/177006-programma-kursa-jelementy-matematicheskoj-log