Рабочая программа по «информатике и икт» для 10-11 классов информационно-технологического профиля Составила Юнусова Г. А




Скачать 436.64 Kb.
НазваниеРабочая программа по «информатике и икт» для 10-11 классов информационно-технологического профиля Составила Юнусова Г. А
страница2/9
Дата конвертации24.12.2012
Размер436.64 Kb.
ТипРабочая программа
1   2   3   4   5   6   7   8   9

Тема 2. Введение в математическую логику и теорию автоматов (20 ч)

Содержание обучения


Алгебра высказываний (12ч).
Высказывания. Простые и сложные высказывания. Логические операции: инверсия, дизъюнкция, конъюнкция, импликация, эквиваленция. Основные свойства логических операций. Таблицы истинности. Эквивалентные высказывания. Тождественные высказывания. Законы логики. Тождественные преобразования сложных высказываний. Особенности тождественных преобразований в алгебре высказываний: склеивание и поглощение. Замена импликации и эквиваленции на конъюнкцию, дизъюнкцию и инверсию. Совершенные нормальные формы записи сложных высказываний в алгебре высказываний. Логические задачи.

Логика предикатов (4ч).
Понятие предиката. Логические операции над предикатами. Кванторы. Квантор всеобщности. Квантор существования. Равносильные формулы логики предикатов.

Логические основы построения ЭВМ (4 ч).
Автомат — преобразователь информации. Реализация логических операций средствами электроники. Логические элементы "И", "ИЛИ", "НЕ" как элементарные автоматы. Описание переключательных схем с помощью формул алгебры высказываний. Анализ, упрощение и синтез переключательных схем.

Требования к знаниям и умениям выпускников


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

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

Тематическое планирование


Кол-во часов

Тема урока

Содержание

2

Алгебра высказываний. Основные операции алгебры высказываний

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

3

Таблицы истинности. Эквивалентные высказывания

Назначение и построение таблиц истинности. Эквивалентные высказывания. Истинность высказываний. Совершенная дизъюнктивная нормальная форма (СДНФ), совершенная конъюнктивная нормальная форма (СКНФ)

1

Законы де Моргана. Тождественность высказываний

Тавтологии. Доказательство тавтологий. Тождественно истинные и тождественно ложные высказывания

1

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

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

1

Упрощение формул

Замена импликации и эквивалентности на конъюнкцию, дизъюнкцию и инверсию. Законы логики.

1

Контрольная работа № 1 "Истинность высказываний. Тавтологии. Эквивалентности"

Доказательство эквивалентности. Доказательство тавтологии. Установление истинности высказывания. Формализация высказывания. Преобразование логических выражений

3

Решение логических задач

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

2

Понятие предиката. Логические операции над предикатами

 

Субъект, предикат. Одноместный предикат. Многоместный предикат. Область определения предиката. Логические операции над предикатами

2

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

Кванторы. Квантор всеобщности. Квантор существования. Понятие формулы логики предикатов. Значение формулы логики предикатов. Равносильные формулы логики предикатов

1

Логические основы построения ЭВМ

Логические элементы И, ИЛИ, НЕ: структурные и функциональные схемы, принцип работы

1

Структурные формулы и функциональные схемы

Формы описания логических устройств: структурные формулы, функциональные схемы

1

Решение задач повышенной сложности

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

1

Контрольная работа № 2 “Решение логических задач. Логические основы построения компьютера”

1. Решение логической задачи.
2. Запись логической функции, описывающей состояние логической схемы. Построение таблицы истинности.
3. По заданной таблице истинности запись логической функции (СДНФ). Упрощение полученной логической функции. Составление логической схемы

Литература


  • Босова Л. Л. Арифметические и логические основы ЭВМ: Серия "Информатика в школе". М.: Информатика и образование, 2000.

  • Касаткин В. Н. Информация, алгоритмы, ЭВМ: Пособие для учителя. М.: Просвещение, 1991.

  • Кутасов А. Д. Элементы математической логики. М.: Просвещение, 1977.

1   2   3   4   5   6   7   8   9

Похожие:

Рабочая программа по «информатике и икт» для 10-11 классов информационно-технологического профиля Составила Юнусова Г. А iconРабочая программа по информатике и икт для обучающихся 10-11-х классов Разработала Мавлетбаева С. Т
Рабочая программа по информатике и икт для 10-11 классов составлена на основе федерального государственного образовательного стандарта...

Рабочая программа по «информатике и икт» для 10-11 классов информационно-технологического профиля Составила Юнусова Г. А iconРабочая программа по информатике и икт для 5 класса на 2011-2012 учебный год составила: учитель информатики и икт калинина Антонина Сергеевна
Муниципальное общеобразовательное учреждение «Писаревская средняя общеобразовательная школа»

Рабочая программа по «информатике и икт» для 10-11 классов информационно-технологического профиля Составила Юнусова Г. А iconРабочая программа по информатике и икт для 10 класса на 2011-2012 учебный год составила: учитель информатики и икт калинина Антонина Сергеевна
Муниципальное общеобразовательное учреждение «Писаревская средняя общеобразовательная школа»

Рабочая программа по «информатике и икт» для 10-11 классов информационно-технологического профиля Составила Юнусова Г. А iconРабочая программа по информатике и икт для 10-11 классов на 2011-2012 учебный год
М. Н. Бородин. – М.: Бином. Лаборатория знаний, 2010, стр. 428 / Программа курса «Информатика и икт» (базовый уровень) для 10 – 11...

Рабочая программа по «информатике и икт» для 10-11 классов информационно-технологического профиля Составила Юнусова Г. А iconПояснительная записка рабочая программа по информатике и икт для 10-11 классов составлена на основании следующих нормативно- правовых документов
Еждениях, реализующих образовательные программы общего образования и имеющих государственную аккредитацию, на 2011/2012 учебный год...

Рабочая программа по «информатике и икт» для 10-11 классов информационно-технологического профиля Составила Юнусова Г. А iconРабочая программа по информатике 8 класс (1 час в неделю, 34 часа в год)
Рабочая программа составлена на основе федерального государственного образовательного стандарта, примерной программы по информатике...

Рабочая программа по «информатике и икт» для 10-11 классов информационно-технологического профиля Составила Юнусова Г. А iconРабочая программа по информатике и икт в 9 (общеобразовательном) классе на 2012 2013 учебный год
Составлена в соответствии с «Примерной программой основного общего образования по информатике и икт»

Рабочая программа по «информатике и икт» для 10-11 классов информационно-технологического профиля Составила Юнусова Г. А iconРабочая программа по информатике (предмет)
Программа реализуется на основе следующих документов: стандарта основного общего образования по информатике, примерной программы...

Рабочая программа по «информатике и икт» для 10-11 классов информационно-технологического профиля Составила Юнусова Г. А iconПояснительная записка Программа предназначена для учащихся информационно технологического профиля общеобразовательных школ
Программа предназначена для учащихся информационно технологического профиля общеобразовательных школ

Рабочая программа по «информатике и икт» для 10-11 классов информационно-технологического профиля Составила Юнусова Г. А iconРабочая программа по Информатике и икт для 9-11 классов
Курс «Информатика и икт» в 9-11 классах изучается по базовому учебному плану на базовом уровне и согласно учебному плану моу сош...


Разместите кнопку на своём сайте:
lib.convdocs.org


База данных защищена авторским правом ©lib.convdocs.org 2012
обратиться к администрации
lib.convdocs.org
Главная страница