Учебный проект Вычисляем рассуждения

Автор проекта

Макеева Анастасия Владимировна

Дисциплина

Математическая логика

Краткая аннотация проекта

Предлагаемый проект проводится по дисциплине «Математическая логика» со студентами третьего курса ППИ. Проект может быть реализован со студентами других специальностей, изучающих основы математической логики в рамках курса математики. Также над проектом могут работать учащиеся 11 классов информационно-технологического профиля.

Проект охватывает такие вопросы, как «Разделы логики: формальная, математическая, компьютерная», «Законы логики и их применение для решения логических задач», «Алгебра высказываний и алгебра предикатов», «Способы решения логических задач», «Логические элементы и схемы».

Необходимые знания, умения, навыки при выполнении проекта:

- Знание основ математической логики.

- Пользовательские навыки работы с ПК (текстовый, графический, табличный редакторы, создание презентаций, публикаций).

- Умение осуществлять поиск и анализировать различные источники информации, в том числе в сети Интернет.

В ходе проектной деятельности студенты создадут различные совместные сетевые документы, вики-статьи, блоги, освоят Google-сервисы.

Вопросы, направляющие проект

Основополагающий вопрос

Как научиться решать проблемы?

Проблемные вопросы

Как возникла идея перевода рассуждений на математический язык и какое она получила развитие? Какими способами можно решать логические задачи? Как средствами математической логики можно формулировать и доказывать теоремы? Как аппарат математической логики применяется в современной электронно-вычислительной технике?

Учебные вопросы

В чем состоит предмет математической логики? Кто из ученых внес наиболее значительный вклад в развитие математической логики? Какие существуют основные логические операции и как составляются таблицы истинности? С помощью каких равносильных преобразований алгебры логики можно преобразовывать формулы? Что включает в себя понятие правильного рассуждения? Какими способами можно проверить правильность рассуждения? Как применяется аппарат математической логики при построении релейно-контактных схем? Что включает в себя понятие предиката? Как применяется язык логики предикатов для записи математических предложений, определений, построения отрицаний предложений?

Публикация преподавателя

Презентация преподавателя для выявления представлений и интересов учащихся

Стартовая презентация преподавателя

Пример продукта проектной деятельности учащихся

Результаты студентов в проекте Вычисляем рассуждения

Материалы по формирующему и итоговому оцениванию

Итоговое анкетирование участников проекта Вычисляем рассуждения

Материалы по сопровождению и поддержке проектной деятельности

Словарь терминов и персоналий

Литература по математической логике

Адреса социальных сервисов

Шаблон вики-статьи - результата исследования студентов

Пример блога группы

Пример Google группы

Пример Google-сайта

Полезные ресурсы

• Белозубов А.В., Николаев Д.Г. Основы работы на компьютере и в сети Интернет: Учебно-методическое пособие. - СПб.: СПбГУ ИТМО, 2007.
• Доржиев Ц.Ц., Мотошкин П.В., Шедеева С.Д., Дампилов Н.Н. Учебное пособие для работы с сетью Интернет. - Улан-Удэ: Изд-во ВСГТУ, 2004.
• Интернет – банк информации
• Учебный курс Социальные сервисы Веб 2.0
• Информационная безопасность
• Федеральный закон «Об информации, информационных технологиях и о защите информации»
• Каталог Русских Веб 2.0 ресурсов и сервисов
• Каталог Web 2.0 проектов на русском языке
• Сотрудничество в среде Google
• Сетевой этикет (учебное пособие :)
• Правила сетевого этикета
• Список социальных сервисов

Проекты с аналогичной тематикой

Учебный проект Логика компьютера и не только

Учебный проект Математика без формул