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

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

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

Дисциплина, группа

Математика. Группа ИСТ-10

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

Данный проект проводился по дисциплине «Математика» со студентами первого курса института дизайна с 12 по 26 октября 2010 года. В ходе проектной деятельности студенты создали различные совместные сетевые документы, вики-статьи, блоги, освоили Google-сервисы.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Примеры продуктов проектной деятельности студентов

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

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

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

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

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

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

II. Стратегии оценивания в виде отдельных файлов:

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

• стратегия выявления первоначального опыта:

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

• стратегия метапознания:

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

• стратегия мониторинга прогресса:

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

• стратегия развития самостоятельности и взаимодействия:

Самооценка совместной работы

2) Итоговое оценивание:

• Критерии итогового оценивания работы групп в проекте,
• Критерии оценивания вики-статьи,
• Критерии оценивания презентации, *Анкетирование участников проекта

III. Примеры результатов оценивания:

• Результаты входного тестирования

• Отчеты групп по продвижению в проекте

• Результаты самооценки совместной работы в группе в виде google-таблицы,в виде диаграмм

• Результаты анкетирования участников проекта в виде google-таблицы, в виде диаграмм

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

Блог проекта

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Фотоотчет

Работа в группах

• 

  Группа "Историки"

• 

  Группа "Логики"

• 

  Группа "Математики"

• 

  Группа "Инженеры"

Защита исследований

• 

  Экспертная комиссия

• 

  Группа "Историки"

• 

  Группа "Логики"

• 

  Группа "Математики"

• 

  Группа "Инженеры"