Курс по математической логике Сидорова Наталья Нарвский Профессиональный Учебный Центр 2006 год
Курс расчитан на 40 часов. Его основная цель - рассказать об основной математической технике, необходимой студентам, изучающим информатику. Предназначен для групп, изучающих логику после 12 класса.
В первой части мы познакомимся с логикой высказываний, а во второй с основами булевой алгебры. Тема «Метод математической индукции» в электронном виде не представлена, так как требует непосредственного присутствия на уроке.
В курсе рассматриваются 11 тем, не считая введения, в котором даются основные понятия, рассказывается об истории логики, приводятся примеры софизмов и парадоксов, и предлагается ряд упражнений.
Выбор темы открывает соответствующую страницу с содержанием
Все темы связаны друг с другом и снабжены примерами
В курсе рассматривается также решение задач
В конце каждой темы даны упражнения и интерактивные тесты для самостоятельного решения, чтобы закрепить излагаемый материал. Здесь представлены упражнения на множественный выбор, при выборе каждого из вариантов внизу появляется сообщение, правильный ответ или нет
Имеется ряд упражнений, на которые предполагается ответ «да» или «нет». Нажав на красный мешочек, можно увидеть подсказку
Есть и не тестовые упражнения на самопроверку. Нажав на соответствующую кнопку, можно сразу увидеть ответ
В более сложных упражнениях ответ дан в конце раздела
Некоторые упражнения расчитаны на заполнение таблиц истинности. После того, как вся таблица заполнена, выполняется проверка.
В конце сложной теоретической темы предлагаются упражнения, сделанные в программе Hot Potatoes
В каждой из 12 тем в разделе «Задачи-шутки» имеется ряд занимательных логических задач
Есть и рубрика «Зарядка для ума», в ней представлены логические тесты
Имеется также кроссворд на время
В курсе представлен весь теоретический материал, включая упражнения. Для получения итоговой оценки надо выполнить в классе 4 зачётных работы