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

Материал из НГПУ им. К.Минина
Перейти к: навигация, поиск
Лейбниц цитата .jpg

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

Консультирую.JPG

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

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

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

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

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

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

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

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

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

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

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

Как эффективно решать проблемы?

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

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

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

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

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

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

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

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

20101122124429!План проекта.jpg

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

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

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

Макеева буклет 1 ИСТ.jpg
Измененный Макеева буклет-2 сторона.jpg

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

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

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

Группа ученых.jpg


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

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

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

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


График оценивания

Стратегии оценивания Макеева2.gif

Полная версия интеллект-карты MindMeister c активными внешними ссылками

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Блог проекта

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Фотоотчет

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

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