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

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

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

Дисциплина

Математическая логика

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

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

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

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

Как возникла идея перевода рассуждений на математический язык и какое она получила развитие? Какими способами можно решать логические задачи? Как средствами математической логики можно формулировать и доказывать теоремы? Как аппарат математической логики применяется в современной электронно-вычислительной технике?

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

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

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

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

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

Пример продукта проектной деятельности учащихся

Результаты студентов в проекте Вычисляем рассуждения

Другие документы

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

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