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

Содержание

1 Автор проекта
2 Дисциплина, группа
3 Краткая аннотация проекта
4 Вопросы, направляющие проект
5 План проведения проекта
6 Визитная карточка проекта
7 Публикация преподавателя
8 Презентация преподавателя для выявления представлений и интересов учащихся
9 Примеры продуктов проектной деятельности студентов
10 График оценивания
11 Материалы по формирующему и итоговому оцениванию
12 Примеры результатов оценивания
13 Материалы по сопровождению и поддержке проектной деятельности
14 Полезные ресурсы
15 Проекты с аналогичной тематикой
16 Фотоотчет

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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