Приказ № от 20 г. Директор Ф. И. О. М. П. Рабочая учебная программа по информатике и икт класс: 10 11 (информационно-технологический профиль) icon

Приказ № от 20 г. Директор Ф. И. О. М. П. Рабочая учебная программа по информатике и икт класс: 10 11 (информационно-технологический профиль)


Смотрите также:
Рабочая учебная программа по Информатике и информационно-коммуникационным технологиям Класс...
Приказ №317 от «01» 09 2010г. Директор Конотоп Т. М. м п...
Приказ № рабочая программа по информатике и икт ступень обучения (класс)...
Рабочая программа кузнецовой Татьяны Ивановны, учителя Iкатегории...
Приказ № от Рабочая программа учебного предмета «Информатика и икт» 7 класс...
Приказ № рабочая программа по информатике и икт ступень обучения (класс) 7...
Приказ № рабочая программа по информатике и икт ступень обучения (класс)...
Приказ № от 2011 г. 2011 г. 2011 г. Рабочая программа по информатике и икт 8-9 класс...
Рабочая учебная программа по Информатике и информационно-коммуникационным технологиям Класс...
Рабочая учебная программа по информатике для 10-11 классов. Пояснительная записка...
Приказ № от 20 г. Директор Ф. И. О. М. П. Рабочая учебная программа по химии Класс 10...
Приказ №185 от 31. 08...



Загрузка...
страницы: 1   2   3   4   5   6
вернуться в начало
скачать
^

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


Кол-во часов

Тема урока

^ Основные понятия

2

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

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

3

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

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

1

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

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

1

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

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

1

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

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

1

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

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

3

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

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

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

2

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


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

2

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


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

1

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

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

1

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

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

1

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

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

1

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

1. Решение логической задачи.

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

3. По заданной таблице истинности записать логическую функцию (СДНФ). Упростить полученную логическую функцию. Составить логическую схему.


Литература

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

  2. Депман И.Я. Первое знакомство с математической логикой - Л.: Знание, 1965.

  3. Касаткин В.Н. Введение в кибернетику: Пособие для факультативных занятий в 9 кл. - 3-у изд., перераб. и доп. - К.: Рад. шк., 1986. - 176 с.

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

  5. Казанский А.А., Ларина Л.В. Применение алгебры логики для решения комбинаторных задач. // Еженедельное приложение к газете "Первое сентября" "Информатика", №14, 2000, с.23-26

  6. Казанский А.А., Ларина Л.В. Перечисление булевых функций. // Еженедельное приложение к газете "Первое сентября" "Информатика", №15, 2001, с.16-28

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

  8. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов - М: Наука, 1975.

  9. Лихтарников Л.М., Т.Г.Сукачева. Математическая логика/ Курс лекций. – СПб: Издательство «Лань», 1998. – 228 с.

  10. Логика. // Еженедельное приложение к газете "Первое сентября" "Информатика", № 39 (40), 1995.

  11. Лыскова В.Ю., Ракитина Е.А. Применение логических схем понятий в курсе информатики. // Информатика и образование, №1, 2000, с.32

  12. Лыскова В.Ю., Ракитина Е.А. Логика в информатике. - М. Лаборатория Базовых знаний, 2001. -160 с.: ил. Серия "Информатика"

  13. Онегов В.А. Решение логических задач средствами алгоритмического языков. // Еженедельное приложение к газете "Первое сентября" "Информатика", №6, 2000, с.11-15

  14. Никольская И.Л. Математическая логика: Учебник. - М.: Высш. шк., 1981. - 127 с.,ил.

  15. Пустоваченко Н.Н. Логические задачи как форма контроля знаний// Информатика в школе, 2005, №6

  16. Ракитин В.И. Логические задачи на вступительных экзаменах по информатике.// Еженедельное приложение к газете "Первое сентября" "Информатика", №17, №18, №19 1999.

  17. Шуцукова Л.З. Решение логических задач средствами алгебры логики. // Еженедельное приложение к газете "Первое сентября" "Информатика", № 5, 1999.

  18. Шауцукова Л.З. Информатика: Учеб. Пособие для 10-11 кл. общеобразовательных учреждений. — М.: Просвещение, 2000. — 416 с., ил.

  19. Яснева Г.Г. Задачи по алгебре логики. // Информатика и образование, №1, 2001

  20. www.gmcit.murmansk.ru



Тема 3. ЭЛЕМЕНТЫ ТЕОРИИ АЛГОРИТМОВ (8 часов)


Алгоритмы над словами. Нормальный алгоритм Маркова. Воображаемая машина Тьюринга.


^ ТРЕБОВАНИЯ К ЗНАНИЯМ И УМЕНИЯМ.

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

Учащиеся должны уметь: выполнять алгоритмы над словами, самостоятельно строить алгоритмы над словами, применять тезис Маркова к решению задач над словами, читать программу машины Тьюринга,

строить программу для машины Тьюринга при решения задач.





оставить комментарий
страница2/6
Железняк В. А
Дата03.10.2011
Размер0,59 Mb.
ТипРабочая учебная программа, Образовательные материалы
Добавить документ в свой блог или на сайт

страницы: 1   2   3   4   5   6
Ваша оценка этого документа будет первой.
Ваша оценка:
Разместите кнопку на своём сайте или блоге:
rudocs.exdat.com

Загрузка...
База данных защищена авторским правом ©exdat 2000-2017
При копировании материала укажите ссылку
обратиться к администрации
Анализ
Справочники
Сценарии
Рефераты
Курсовые работы
Авторефераты
Программы
Методички
Документы
Понятия

опубликовать
Загрузка...
Документы

наверх