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

Презентация:



Advertisements
Похожие презентации
Сидорова Наталья Нарвский Профессиональный Учебный Центр 2006 год Законы распостранения, отражения и преломления света.
Advertisements

Отдел информационных и дистанционных технологий УМУ БашГУ СИСТЕМА ДИСТАНЦИОННОГО ОБУЧЕНИЯ Глазами студента.
Обучающая программа. Внешний вид программы При запуске программы появляется следующее окно: Х Теория Упражнения О программе Контрольная.
Тест по теме: Начать тест Начать тест. 2 вариант ответа 3 вариант ответа 1 вариант ответа 4 вариант ответа Вопрос 1.
E-kursus - MEREVEOD – Maht: 40t Õpetaja – IRINA BURTSEVA Ida-Virumaa Kutsehariduskeskus 2011.a.
Мультимедийные учебные пособия для подготовки к ЕГЭ методист кафедры преподавания естественно-математических дисциплин Селютина О.А.
Создание тестов и проведение тестирования. -Дизайнер тестов. -Набор вопросов. -Назначенные тесты. -Проверка тестов.
Булева алгебра Учебный объект Сидорова Наталья Нарвский Профессиональный Учебный Центр 2010 год.
Красноярский краевой Дворец пионеров и школьников Красноярск 2015 / 2016.
1 õ.n. Irina Leppik kutseõpetaja (vanemõpetaja) Ida-Virumaa Kutsehariduskeskus 2012.a. Ehituskonstruktsioonid ja -materjalid.
Российский государственный педагогический университет им. А.И. Герцена ИНСТИТУТ ДОВУЗОВСКОЙ ПОДГОТОВКИ Дистанционное обучение «Русский язык. Подготовка.
Тема проекта. Проект ориентирован на изучение темы «Основы логики на уроках информатики». Программа проекта разделена на отдельные тематические модули.
ИНТЕРФЕЙС И СИСТЕМА КОМАНД ГИПОТЕТИЧЕСКОЙ СУБД Существует много СУБД. В разных СУБД различный интерфейс, язык команд. Как правило, в них используются английские.
Концепция учебника по алгебре и началам анализа для профильной школы.
Narva. E-ÕPPE Väikeettevõtte turundus Елена Забегаева Маркетинг малого предприятия.
Инструкция к электронному учебному пособию «Интерактивные тесты по математике 2 класс»
Вводная презентация Проект «ЕГЭ по информатике: часть «А» без проблем» Галимов М.Д. МОУ «Средняя общеобразовательная школа 4» г. Шадринска.
Õpiobjekt – Laoarvestus ja veodokumentide töötlemine – Maht:0,25 õ. n. Õpetaja – IRINA BURTSEVA Ida-Virumaa Kutsehariduskeskus 2010.a.
Õpiobjekt – LAO JHTIMISE AUTOMATISEERIMINE – Maht:0,25 õ. n. Õpetaja – IRINA BURTSEVA Ida-Virumaa Kutsehariduskeskus 2010.a.
Kvaliteedisüsteemid (1 õ.n.) Ida-Virumaa Kutsehariduskeskus 2012.a. Irina Leppik kutseõpetaja.
Транксрипт:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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