Предполагаемые результаты изучения курса
В результате изучения курса учащиеся должны
знать\понимать
- алгебра логики является обобщением обычной алгебры, знать её общие и специфические по сравнению с обычной алгеброй черты;
- определения высказывания, операции суммы, произведения высказываний, понятий конъюнкции и дизъюнкции;
- понимать отличие формального и содержательного смысла высказываний
- понимать назначение таблицы истинности;
- понимать суть понятия формулы алгебры логики, понятия логического тождества (тавтологии);
- понимать смысл, назначение операций квантификации;
- определение операции отрицания, её свойства;
- упрощающие формулы na=a, an=a, формулы поглощения, свойства операций сложения и умножения;
- понимать физический формул сложения и умножения алгебры высказываний;
- иметь представление о логическом уравнении и логической задаче;
Уметь
- приводить примеры предложений, являющихся и не являющихся высказываниями
- применять определения сложения, умножения высказывания для проверки истинности и ложности сложных высказываний, уметь конструировать истинные и ложные сложные высказывания на основе определения сложения и умножения высказываний
- применять таблицы истинности для иллюстрации определений логических операций, для доказательства их свойств;
- видеть в структуре предложений текста художественного произведения, задач применение кванторов всеобщности и существования, конструировать предложения, иллюстрирующие применение этих кванторов
|
|
- уметь применять упрощающие формулы na=a, an=a, формулы поглощения, свойства операций сложения и умножения для упрощения формул алгебры логики, упрощения высказываний
- уметь применять формулы сложения, умножения и их свойства для упрощения электрических цепей
- уметь решать логические уравнения и задачи с применением символов алгебры логики
Курс основ математической логики заканчивается контрольной работой
Таблица1
ТЕМАТИЧЕСКОЕ ПЛАНИРОВАНИЕ
№ | Тема | Количество часов |
1 | Начальные идеи алгебры логики. Высказывания и действия над ними | 1 |
2 | Формулы алгебры логики и их виды. Таблица истинности и её применение для решения задач | 1 |
3 | Понятие квантора, их виды, свойства и применение | 1 |
4 | Операция отрицания и её свойства. Отрицание кванторов | 1 |
5 | Упрощённые формулы алгебры высказываний, формулы поглощения | 1 |
6-7 | Физическая интерпретация формул сложения и умножения в алгебре высказываний | 2 |
8-10 | Решение логических уравнений и задач | 3 |
11 | Обобщающий урок | 1 |
12 | Контрольная работа | 1 |
|
|
Дата добавления: 2018-04-15; просмотров: 208; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!