Учебно-тематическое планирование

№ темы

Тема

Краткое содержание

Часы

В результате обучения учащиеся должны

Примечание

Знать/Понимать

Уметь/ Применять

Раздел 1. ОСНОВЫ ЛОГИКИ

1

Логика. Формы мышления

Логика. Логические формы мышления: понятие, высказывание, суждение. Содержание и объемы понятий, истинность и ложность высказываний.

1

Перечисленные понятия.

Различать понятие, высказывание, умозаключение.

(приводить примеры). Определять истинность и ложность высказывания, работать с диаграммами Эйлера – Венна.

 

2

Алгебра логики

Логические операции: инверсия, конъюнкция, дизъюнкция. Таблицы логических операций. Составление логических выражений.

1

Основные логические операции, их обозначения и таблицы истинности.

Составлять логические выражения, используя логические операции.

 

3

Логические выражения и таблицы истинности

Составление таблиц истинности логических выражений. Алгоритм построения таблицы истинности. Равносильность логических выражений.

1

Алгоритм составления таблиц истинности логического выражения и доказательство равносильности логических выражений.

Составлять таблицы истинности логического выражения по известному алгоритму.

 

4

Составление таблиц истинности

Решение задач и упражнений с применением таблиц истинности.

1

Алгоритм составления таблиц истинности логического выражения.

Составлять таблицы истинности логического выражения по известному алгоритму.

 

5

Импликация и эквиваленция

Логические функции: импликация и эквиваленция, обозначение, таблицы истинности.

1

Основные логические операции, их обозначения и таблицы истинности.

Составлять логические выражения, используя импликацию и эквиваленцию.

 

6

Логические законы

Основные логические законы преобразования логических выражений и их применение.

1

Основные логические законы преобразования логических выражений.

Применять логические законы для преобразования логических выражений и решения логических задач.

 

7

Логические задачи

Основные вида логических задач и методы их решения

1

Иметь представление об основных методах решения логических задач

Выполнять решение логических задач

 

8

Решение логических задач

Решение логических задач.

1

Иметь представление об основных методах решения логических задач

Выполнять решение логических задач

 

9

Контрольная работа

 

1