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

Материал из НГПУ им. К.Минина
Версия от 08:30, 30 мая 2012; Софонова Екатерина (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
Знакомство с математической логикой
Авторы проекта:

Софонова Екатерина,

Питеримова Дарья,


Информатика, 1 курс



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

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

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

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

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


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

Дерево вопросов Софонова.JPG

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

Как научиться не ошибаться?

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

  • Как проходило становление логики?
  • Как логические элементы используются в архитектуре ЭВМ?
  • Как знания математической логики помогают при решении практических задач?
  • Как решить логическую задачу?

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

  • В чем состоит предмет математической логики?
  • Кто из ученых внес наиболее значительный вклад в развитие

математической логики?

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



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

Визитка

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

Буклет Сучилина1.jpg Буклет Сучилина.jpg

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

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

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

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

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

Критерии итогового оценивания

Online-анкета листа самооценки

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

Шаблон Вики-статьи студента

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

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

Блог для рефлексии в курсе Intel

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

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

Проекты с близкой тематикой

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

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

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

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

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

Блог для рефлексии в курсе Intel