Тематическое планирование по математической логике

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