Курс по математической логике Сидорова Наталья Нарвский Профессиональный Учебный Центр 2006 год. - презентация

1 Курс по математической логике Сидорова Наталья Нарвский Профессиональный Учебный Центр 2006 год

2 Курс расчитан на 40 часов. Его основная цель - рассказать об основной математической технике, необходимой студентам, изучающим информатику. Предназначен для групп, изучающих логику после 12 класса.

3 В первой части мы познакомимся с логикой высказываний, а во второй с основами булевой алгебры. Тема «Метод математической индукции» в электронном виде не представлена, так как требует непосредственного присутствия на уроке.

4 В курсе рассматриваются 11 тем, не считая введения, в котором даются основные понятия, рассказывается об истории логики, приводятся примеры софизмов и парадоксов, и предлагается ряд упражнений.

5 Выбор темы открывает соответствующую страницу с содержанием

6 Все темы связаны друг с другом и снабжены примерами

7 В курсе рассматривается также решение задач

8 В конце каждой темы даны упражнения и интерактивные тесты для самостоятельного решения, чтобы закрепить излагаемый материал. Здесь представлены упражнения на множественный выбор, при выборе каждого из вариантов внизу появляется сообщение, правильный ответ или нет

9 Имеется ряд упражнений, на которые предполагается ответ «да» или «нет». Нажав на красный мешочек, можно увидеть подсказку

10 Есть и не тестовые упражнения на самопроверку. Нажав на соответствующую кнопку, можно сразу увидеть ответ

11 В более сложных упражнениях ответ дан в конце раздела

12

13 Некоторые упражнения расчитаны на заполнение таблиц истинности. После того, как вся таблица заполнена, выполняется проверка.

14 В конце сложной теоретической темы предлагаются упражнения, сделанные в программе Hot Potatoes

15 В каждой из 12 тем в разделе «Задачи-шутки» имеется ряд занимательных логических задач

16 Есть и рубрика «Зарядка для ума», в ней представлены логические тесты

17 Имеется также кроссворд на время

18 В курсе представлен весь теоретический материал, включая упражнения. Для получения итоговой оценки надо выполнить в классе 4 зачётных работы