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

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

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

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

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

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

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

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