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

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

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

Дисциплина

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

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

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

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

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

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

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

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

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

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

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

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

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

Как возникла идея перевода рассуждений на математический язык и какое она получила развитие?

Какими способами можно решать логические задачи?

Как средствами математической логики можно формулировать и доказывать теоремы?

Как аппарат математической логики применяется в современной электронно-вычислительной технике?

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

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

План проведения проекта

Организационно-подготовительный этап

Знакомство с целями проекта и задачами проекта при помощи стартовой презентации и буклета преподавателя.

Обсуждение тем исследования.

Формирование групп студентов.

Проведение первичного самоанализа студентов.

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

Организация сотрудничества между студентами в Google-группах и общения с преподавателем в блоге.

Аналитический этап

Подбор материала.

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

Промежуточное самооценивание участия в проекте.

Обобщение и оформление результатов исследований.

Заключительный этап

Оценка проекта по критериям оценивания.

Анализ работы групп и каждого члена группы.

Рефлексия участников проекта в блоге.

Представление и защита проекта.

Подготовка итоговой рефлексии преподавателем для обобщающего анализа работы по проекту.

Визитная карточка проекта

Визитная карточка

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

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

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

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

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

Результаты исследований группы "Инженеры"

Результаты исследований группы "Математики"

Результаты исследований группы "Логики"

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

Стратегии оценивания в виде интеллект-карты MindMeister c активными внешними ссылками

Стратегии оценивания:

1)Формирующее оценивание:

- стратегия выявления первоначального опыта: Входная диагностика, Мозговой штурм в стартовой презентации

- стратегия метапознания: Журнал участников проекта, Рефлексия в блоге проекта

- стратегия мониторинга прогресса: Наблюдения за навыками мышления, Отчет по продвижению в проекте.

-стратегия развития самостоятельности и взаимодействия: Самооценка записей в журнале и блоге проекта, Самооценка совместной работы

2) Итоговое оценивание: Критерии оценивания работы групп в ходе проекта, Критерии оценивания вики-статьи, Критерии оценивания презентации,Самооценка уровня математических рассуждений и навыков мышлений, Анкетирование участников проекта

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

Блог проекта

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

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

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

Программы для построения карт знаний

Таблица для совместного редактирования

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

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

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

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

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

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

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

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

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

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

Учебный проект Информационная культура общества и личности

Другие документы

Блог Рефлексия в курсе Intel