8 класс, 1 час в неделю (34
часа)
N |
Тема |
часы |
Примечания |
1 |
Понятие математической
логики. |
1 |
|
2 |
Высказывания и операции
над ними. |
6 |
|
2.1 |
Высказывания
: истинные и ложные. |
1 |
|
2.2 |
Операция
отрицания. |
1 |
|
2.3 |
Дизъюнкция
двух высказываний. |
1 |
|
2.4 |
Конъюнкция
двух высказываний. |
1 |
|
2.5 |
Эквиваленция. |
1 |
|
2.6 |
Импликация. |
1 |
|
3 |
Составление таблиц
истинности. |
4 |
|
4 |
Законы алгебры
высказываний. |
3 |
|
5 |
Доказательство
равносильностей на основе законов алгебры логики. |
4 |
|
6 |
Упрощение схем с
использованием алгебры логики. |
2 |
|
7 |
Предикаты, знаки общности
и существования. Круги Эйлера. |
4 |
|
8 |
Приложения логики к
некоторым вопросам математики (обратная, противоположная
и взаимно-обратная теоремы; необходимое и достаточное условия). |
6 |
|
9 |
Решение задач. |
3 |
|
10 |
Итоговое повторение.
Резерв. |
1 |
|