Учебный проект Знакомство с математической логикой — различия между версиями

Материал из НГПУ им. К.Минина
Перейти к: навигация, поиск
(Полезные ресурсы)
(Проекты с близкой тематикой)
Строка 143: Строка 143:
  
 
[[Учебный проект Вычисляем рассуждения]]
 
[[Учебный проект Вычисляем рассуждения]]
 +
[http://wiki.iteach.ru/index.php/%D0%A3%D1%87%D0%B5%D0%B1%D0%BD%D1%8B%D0%B9_%D0%BF%D1%80%D0%BE%D0%B5%D0%BA%D1%82_%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0_%D0%BA%D0%BE%D0%BC%D0%BF%D1%8C%D1%8E%D1%82%D0%B5%D1%80%D0%B0_%D0%B8_%D0%BD%D0%B5_%D1%82%D0%BE%D0%BB%D1%8C%D0%BA%D0%BE Учебный проект Логика компьютера и не только]
 +
 +
[http://wiki.iteach.ru/index.php/%D0%A3%D1%87%D0%B5%D0%B1%D0%BD%D1%8B%D0%B9_%D0%BF%D1%80%D0%BE%D0%B5%D0%BA%D1%82_%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0_%D0%B1%D0%B5%D0%B7_%D1%84%D0%BE%D1%80%D0%BC%D1%83%D0%BB Учебный проект Математика без формул]
 +
[[Категория:Проекты]]
 +
 +
[http://wiki.iteach.ru/index.php/%D0%A3%D1%87%D0%B5%D0%B1%D0%BD%D1%8B%D0%B9_%D0%BF%D1%80%D0%BE%D0%B5%D0%BA%D1%82_%D0%98%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%86%D0%B8%D0%BE%D0%BD%D0%BD%D0%B0%D1%8F_%D0%BA%D1%83%D0%BB%D1%8C%D1%82%D1%83%D1%80%D0%B0_%D0%BE%D0%B1%D1%89%D0%B5%D1%81%D1%82%D0%B2%D0%B0_%D0%B8_%D0%BB%D0%B8%D1%87%D0%BD%D0%BE%D1%81%D1%82%D0%B8 Учебный проект Информационная культура общества и личности]
  
 
|}
 
|}

Версия 09:25, 8 декабря 2011

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

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

Питеримова Дарья
Информатика, 1 курс



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

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

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

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

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

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

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

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

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

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

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

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

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

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

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



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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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