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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Результаты входного тестированияЧтобы посмотреть процентное соотношение выбранных ответов нужно зайти в "Форма" и выбрать "Посмотреть сводку ответов".

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

Анкетирование участников проекта

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

Блог проекта

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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