Учебный проект Знакомство с математической логикой

Знакомство с математической логикой Авторы проекта: Софонова Екатерина, Питеримова Дарья, Мамаева Дарья Информатика, 1 курс

Краткая аннотация Данный проект проводился по дисциплине «Информатика» со студентами первого курса. В ходе проектной деятельности студенты создали различные совместные сетевые документы, вики-статьи, блоги, освоили Google-сервисы. Проект может быть реализован со студентами специальностей, изучающих основы математической логики в рамках курса информатики. Также над проектом могут работать учащиеся 11 классов информационно-технологического профиля. Необходимые знания, умения, навыки при выполнении проекта: Знание основ математической логики. Пользовательские навыки работы с ПК (текстовый, графический, табличный редакторы, создание презентаций, публикаций). Умение осуществлять поиск и анализировать различные источники информации, в том числе в сети Интернет. Вопросы,направляющие проект Основопологающий вопрос Как научиться не ошибаться? Проблемные вопросы Как проходило становление логики? Как логические элементы используются в архитектуре ЭВМ? Как знания математической логики помогают при решении практических задач? Как решить логическую задачу? Учебные вопросы В чем состоит предмет математической логики? Кто из ученых внес наиболее значительный вклад в развитие математической логики? Как развивалась логика в Древней Греции и странах Востока? Кто является представителем формальной логики? Кто является представителем математической логики? Какие существуют основные логические операции? Как составляются таблицы истинности? Какие основные законы логики? Что включает в себя понятие правильного рассуждения? Какими способами можно проверить правильность рассуждения? С помощью каких равносильных преобразований алгебры логики можно преобразовывать формулы? Каковы основные логические элементы? Как применяется аппарат математической логики при построении релейно-контактных систем? Как на основе логической функции построить логическую схему? Визитная карточка проекта Визитка

Публикация проекта и презентация для выявления представлений и интересов студентов

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

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

Материалы по формирующему и итоговому оцениванию Критерии итогового оценивания Online-анкета листа самооценки

Материалы по сопровождению и поддержке проектной деятельности Шаблон Вики-статьи студента Шаблон презентции для предствления результатов исследования Литература по математической логике Блог для рефлексии в курсе Intel

Полезные ресурсы Основной курс программы Intel Обучение для будущего институт дизайна сентябрь-декабрь 2011 Информационная безопасность Софт для построения Ментальных карт Сервисы для работы в группах

Проекты с близкой тематикой Учебный проект Вычисляем рассуждения Учебный проект Логика компьютера и не только Учебный проект Математика без формул Учебный проект Информационная культура общества и личности