Главная Программа Тематическое планирование Разработки уроков Об авторах
Информация и информационные процессы
Введение в математическую логику и теорию автоматов
Элементы теории алгоритмов
Языки программирования
Алгоритмы и структуры данных
Объектно-ориентированное и визуальное программирование
Средства ИКТ
Информационные технологии управления.
Процессы информатизации
Информационные технологии
Моделирование и формализация
Телекоммуникационные технологии

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

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

Разработки уроков

 

Тема урока

Кол-во часов

1 - 2 Алгебра высказываний. Основные операции алгебры высказываний 2
3 - 4 Таблицы истинности. Эквивалентные высказывания 3
5 - 6 Законы де Моргана. Тождественность высказываний 1
7 Законы логики 1
8 Упрощение формул 1
9 Контрольная работа № 1 "Истинность высказываний. Тавтологии. Эквивалентности" 1
10 - 12 Решение логических задач 1,
Решение логических задач 2,
Решение логических задач 3
3
13 - 14 Понятие предиката. Логические операции над предикатами 2
15 - 16 Кванторы. Квантор всеобщности. Квантор существования. Равносильные формулы логики предикатов 2
17 Логические основы построения ЭВМ 1
18 Структурные формулы и функциональные схемы 1
19 Решение задач повышенной сложности 1

20

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

Электив

Дополнительные материалы

  © Комитет по образованию администрации г. Мурманска, 2006-2007
Разработчик: Городской информационно-методический центр работников образования
При полном или частичном использовании материалов ссылка на диск обязательна
 

 

 

Hosted by uCoz