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

Автор проекта Макеева Анастасия Владимировна Дисциплина, группа Математика. Группа ИСТ-10 Краткая аннотация проекта Предлагаемый проект проводится по дисциплине «Математика» со студентами первого курса института дизайна. Проект может быть реализован со студентами других специальностей, изучающих основы математической логики в рамках курса математики. Также над проектом могут работать учащиеся 11 классов информационно-технологического профиля. Проект охватывает такие вопросы, как «Разделы логики: формальная, математическая, компьютерная», «Законы логики и их применение для решения логических задач», «Алгебра высказываний и алгебра предикатов», «Способы решения логических задач», «Логические элементы и схемы». Необходимые знания, умения, навыки при выполнении проекта: - Знание основ математической логики. - Пользовательские навыки работы с ПК (текстовый, графический, табличный редакторы, создание презентаций, публикаций). - Умение осуществлять поиск и анализировать различные источники информации, в том числе в сети Интернет. В ходе проектной деятельности студенты создают различные совместные сетевые документы, вики-статьи, блоги, осваивают Google-сервисы. Вопросы, направляющие проект Основополагающий вопрос Как научиться решать проблемы? Проблемные вопросы Как возникла идея перевода рассуждений на математический язык и какое она получила развитие? Какими способами можно решать логические задачи? Как средствами математической логики можно формулировать и доказывать теоремы? Как аппарат математической логики применяется в современной электронно-вычислительной технике? Учебные вопросы В чем состоит предмет математической логики? Кто из ученых внес наиболее значительный вклад в развитие математической логики? Какие существуют основные логические операции и как составляются таблицы истинности? С помощью каких равносильных преобразований алгебры логики можно преобразовывать формулы? Что включает в себя понятие правильного рассуждения? Какими способами можно проверить правильность рассуждения? Как применяется аппарат математической логики при построении релейно-контактных схем? Что включает в себя понятие предиката? Как применяется язык логики предикатов для записи математических предложений, определений, построения отрицаний предложений? План проведения проекта Организационно-подготовительный этап Знакомство с целями проекта и задачами проекта при помощи стартовой презентации и буклета преподавателя. Обсуждение тем исследования. Формирование групп студентов. Проведение первичного самоанализа студентов. Составление плана работы группы, распределение функциональных обязанностей между членами группы. Организация сотрудничества между студентами в Google-группах и общения с преподавателем в блоге. Аналитический этап Подбор материала. Обсуждение со студентами критериев оценивания презентации, публикации, буклета, сообщения, вики-статьи, творческой работы и т.п. Промежуточное самооценивание участия в проекте. Обобщение и оформление результатов исследований. Заключительный этап Оценка проекта по критериям оценивания. Анализ работы групп и каждого члена группы. Рефлексия участников проекта в блоге. Представление и защита проекта. Подготовка итоговой рефлексии преподавателем для обобщающего анализа работы по проекту. Визитная карточка проекта Визитная карточка Публикация преподавателя Презентация преподавателя для выявления представлений и интересов учащихся Стартовая презентация преподавателя Примеры продуктов проектной деятельности студентов Результаты исследований группы "Историки" Результаты исследований группы "Логики" Результаты исследований группы "Математики" Результаты исследований группы "Инженеры" Материалы по формирующему и итоговому оцениванию I. Стратегии оценивания в виде интеллект-карты MindMeister c активными внешними ссылками II. Стратегии оценивания в виде отдельных файлов: 1)Формирующее оценивание: - стратегия выявления первоначального опыта: Входная диагностика с целью выявления первоначальных знаний перед работой над проектом, Мозговой штурм в стартовой презентации - стратегия метапознания: Журнал участников проекта, Рефлексия в блоге проекта - стратегия мониторинга прогресса: Наблюдения за навыками мышления, Отчет по продвижению в проекте. - стратегия развития самостоятельности и взаимодействия: Самооценка совместной работы 2) Итоговое оценивание: Критерии итогового оценивания работы групп в проекте, Критерии оценивания вики-статьи, Критерии оценивания презентации, Анкетирование участников проекта III. Примеры результатов оценивания: Чтобы посмотреть процентное соотношение выбранных ответов нужно зайти в "Форма" и выбрать "Посмотреть сводку ответов". Результаты входного тестирования Отчеты групп по продвижению в проекте Самооценка совместной работы в группе Анкетирование участников проекта Материалы по сопровождению и поддержке проектной деятельности Блог проекта Словарь терминов и персоналий Литература по математической логике Адреса социальных сервисов Программы для построения карт знаний Таблица для совместного редактирования Шаблон вики-статьи - результата исследования студентов Шаблон презентции для предствления результатов исследования Пример блога группы Пример Google группы Пример Google-сайта Полезные ресурсы Белозубов А.В., Николаев Д.Г. Основы работы на компьютере и в сети Интернет: Учебно-методическое пособие. - СПб.: СПбГУ ИТМО, 2007. Доржиев Ц.Ц., Мотошкин П.В., Шедеева С.Д., Дампилов Н.Н. Учебное пособие для работы с сетью Интернет. - Улан-Удэ: Изд-во ВСГТУ, 2004. Интернет – банк информации Учебный курс Социальные сервисы Веб 2.0 Информационная безопасность Федеральный закон «Об информации, информационных технологиях и о защите информации» Каталог Русских Веб 2.0 ресурсов и сервисов Каталог Web 2.0 проектов на русском языке Сотрудничество в среде Google Сетевой этикет (учебное пособие :) Правила сетевого этикета Список социальных сервисов Проекты с аналогичной тематикой Учебный проект Логика компьютера и не только Учебный проект Математика без формул Учебный проект Информационная культура общества и личности Другие документы