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