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

Материал из НГПУ им. К.Минина
Перейти к: навигация, поиск
(Полезные ресурсы)
(Вопросы,направляющие проект)
Строка 26: Строка 26:
 
| style="width: 60%; background-color:SkyBlue; border: 1px solid #777777; vertical-align: top; -moz-border-radius-bottomright: 8px; height: 60px;" colspan="1" |
 
| style="width: 60%; background-color:SkyBlue; border: 1px solid #777777; vertical-align: top; -moz-border-radius-bottomright: 8px; height: 60px;" colspan="1" |
 
==Вопросы,направляющие проект==
 
==Вопросы,направляющие проект==
 +
[[Изображение:Дерево вопросов Софонова.JPG]]
 
''Основопологающий вопрос''
 
''Основопологающий вопрос''
  
Строка 32: Строка 33:
 
''Проблемные вопросы ''
 
''Проблемные вопросы ''
  
*Как проходило становление математической логики?
+
*Как проходило становление логики?
 
*Как логические элементы используются в архитектуре ЭВМ?
 
*Как логические элементы используются в архитектуре ЭВМ?
 
*Как знания математической логики помогают при решении практических задач?  
 
*Как знания математической логики помогают при решении практических задач?  
*Как можно выполнить моделирование логических элементов?
+
*Как решить логическую задачу?
  
 
''Учебные вопросы''
 
''Учебные вопросы''
Строка 42: Строка 43:
 
*Кто из ученых внес наиболее значительный вклад в развитие
 
*Кто из ученых внес наиболее значительный вклад в развитие
 
математической логики?
 
математической логики?
 +
*Как развивалась логика в Древней Греции и странах Востока?
 +
*Кто является представителем формальной логики?
 +
*Кто является представителем математической логики?
 
*Какие существуют основные логические операции?
 
*Какие существуют основные логические операции?
 
*Как составляются таблицы истинности?
 
*Как составляются таблицы истинности?
 
*Какие основные законы логики?
 
*Какие основные законы логики?
*Как преобразовывать логические выражения?
+
*Что включает в себя понятие правильного рассуждения?
 +
*Какими способами можно проверить правильность рассуждения?
 +
*С помощью каких равносильных преобразований алгебры логики можно преобразовывать формулы?
 
*Каковы основные логические элементы?
 
*Каковы основные логические элементы?
*Как с помощью логических элементов построить логическую схему, триггер, сумматор и др.?
+
*Как применяется аппарат математической логики при построении релейно-контактных систем?
 
+
*Как на основе логической функции построить логическую схему?
  
  

Версия 10:59, 6 октября 2011

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

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

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



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

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

Дерево вопросов Софонова.JPG Основопологающий вопрос

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

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

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

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

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

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

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



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

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

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

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

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

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

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

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

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

  1. Основной курс программы Intel Обучение для будущего институт дизайна сентябрь-декабрь 2011

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

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