№ темы |
Тема |
Краткое содержание |
Часы |
В результате обучения учащиеся должны |
Примечание |
|
Знать/Понимать |
Уметь/ Применять |
|||||
Раздел 1. ОСНОВЫ ЛОГИКИ |
||||||
1 |
Логика. Формы мышления |
Логика. Логические формы мышления: понятие, высказывание, суждение. Содержание и объемы понятий, истинность и ложность высказываний. |
1 |
Перечисленные понятия. |
Различать понятие, высказывание, умозаключение. (приводить примеры). Определять истинность и ложность высказывания, работать с диаграммами Эйлера – Венна. |
|
2 |
Алгебра логики |
Логические операции: инверсия, конъюнкция, дизъюнкция. Таблицы логических операций. Составление логических выражений. |
1 |
Основные логические операции, их обозначения и таблицы истинности. |
Составлять логические выражения, используя логические операции. |
|
3 |
Логические выражения и таблицы истинности |
Составление таблиц истинности логических выражений. Алгоритм построения таблицы истинности. Равносильность логических выражений. |
1 |
Алгоритм составления таблиц истинности логического выражения и доказательство равносильности логических выражений. |
Составлять таблицы истинности логического выражения по известному алгоритму. |
|
4 |
Составление таблиц истинности |
Решение задач и упражнений с применением таблиц истинности. |
1 |
Алгоритм составления таблиц истинности логического выражения. |
Составлять таблицы истинности логического выражения по известному алгоритму. |
|
5 |
Импликация и эквиваленция |
Логические функции: импликация и эквиваленция, обозначение, таблицы истинности. |
1 |
Основные логические операции, их обозначения и таблицы истинности. |
Составлять логические выражения, используя импликацию и эквиваленцию. |
|
6 |
Логические законы |
Основные логические законы преобразования логических выражений и их применение. |
1 |
Основные логические законы преобразования логических выражений. |
Применять логические законы для преобразования логических выражений и решения логических задач. |
|
7 |
Логические задачи |
Основные вида логических задач и методы их решения |
1 |
Иметь представление об основных методах решения логических задач |
Выполнять решение логических задач |
|
8 |
Решение логических задач |
Решение логических задач. |
1 |
Иметь представление об основных методах решения логических задач |
Выполнять решение логических задач |
|
9 |
Контрольная работа |
|
1 |
|
|
|