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

Материал из Wiki Mininuniver
Перейти к навигацииПерейти к поиску
 
(не показаны 52 промежуточные версии 4 участников)
Строка 5: Строка 5:
 
<center>''Знакомство с математической логикой''</center>
 
<center>''Знакомство с математической логикой''</center>
  
−
<center>''Авторы проекта: [[Участник:Софонова Екатерина|Софонова Екатерина]],  
+
<center>''Авторы проекта:  
−
[[Участник:Сучилина Элиза|Сучилина Элиза]],  
+
[[Участник:Софонова Екатерина|Софонова Екатерина]],  
−
Питеримова Дарья ''</center>
+
[[Участник:Питеримова Дарья|Питеримова Дарья]],''</center>
 +
 
  
 
<center>''Информатика, 1 курс''</center>
 
<center>''Информатика, 1 курс''</center>
Строка 19: Строка 20:
 
| 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" |
 
==Краткая аннотация==
 
==Краткая аннотация==
 +
Данный проект проводился по дисциплине «Информатика» со студентами первого курса. В ходе проектной деятельности студенты создали различные совместные сетевые документы, вики-статьи, блоги, освоили Google-сервисы.
 +
 +
Проект может быть реализован со студентами специальностей, изучающих основы математической логики в рамках курса информатики. Также над проектом могут работать учащиеся 11 классов информационно-технологического профиля.
 +
 +
Необходимые знания, умения, навыки при выполнении проекта:
 +
''
 +
*Знание основ математической логики.
 +
*Пользовательские навыки работы с ПК (текстовый, графический, табличный редакторы, создание презентаций, публикаций).
 +
*Умение осуществлять поиск и анализировать различные источники информации, в том числе в сети Интернет.''
 +
  
−
|}
 
  
 
{| cellpadding="15" cellspacing="5" style="width: 100%; background-color: inherit; margin-left: auto; margin-right: auto"
 
{| cellpadding="15" cellspacing="5" style="width: 100%; background-color: inherit; margin-left: auto; margin-right: auto"
 
|-
 
|-
 
| 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|800px]]
 +
 
''Основопологающий вопрос''
 
''Основопологающий вопрос''
  
−
 
+
Как научиться не ошибаться?
  
 
''Проблемные вопросы ''
 
''Проблемные вопросы ''
−
*....
 
−
*.....
 
  
 +
*Как проходило становление логики?
 +
*Как логические элементы используются в архитектуре ЭВМ?
 +
*Как знания математической логики помогают при решении практических задач?
 +
*Как решить логическую задачу?
  
 
''Учебные вопросы''
 
''Учебные вопросы''
  
−
*.....
+
*В чем состоит предмет математической логики?
−
*.....
+
*Кто из ученых внес наиболее значительный вклад в развитие
 +
математической логики?
 +
*Как развивалась логика в Древней Греции и странах Востока?
 +
*Кто является представителем формальной логики?
 +
*Кто является представителем математической логики?
 +
*Какие существуют основные логические операции?
 +
*Как составляются таблицы истинности?
 +
*Какие основные законы логики?
 +
*Что включает в себя понятие правильного рассуждения?
 +
*Какими способами можно проверить правильность рассуждения?
 +
*С помощью каких равносильных преобразований алгебры логики можно преобразовывать формулы?
 +
*Каковы основные логические элементы?
 +
*Как применяется аппарат математической логики при построении релейно-контактных систем?
 +
*Как на основе логической функции построить логическую схему?
 +
 
  
  
−
|}
 
  
  
 
{| cellpadding="10" cellspacing="5" style="width: 100%; background-color: inherit; margin-left: auto; margin-right: auto"
 
{| cellpadding="10" cellspacing="5" style="width: 100%; background-color: inherit; margin-left: auto; margin-right: auto"
 
| style="width: 40%; background-color: SkyBlue; border: 1px solid #777777; <!--vertical-align: top; --> -moz-border-radius-bottomright: 8px;" colspan="1"; rowspan="3"|
 
| style="width: 40%; background-color: SkyBlue; border: 1px solid #777777; <!--vertical-align: top; --> -moz-border-radius-bottomright: 8px;" colspan="1"; rowspan="3"|
 +
|}
 +
 
==Визитная карточка проекта==
 
==Визитная карточка проекта==
 +
[https://docs.google.com/open?id=0B04rmjfFKrciNzYwMWYzZWUtZGUxMi00MzRiLWE4ZjYtOGMyOTYxZDQxMDBk Визитка]
  
 +
|-
 +
| style="width: 40%; background-color: SkyBlue; border: 1px solid #777777; <!--vertical-align: top; -->-moz-border-radius-bottomright: 8px; height: 60px;" colspan="1" |
  
 +
== Публикация проекта и презентация для выявления представлений и интересов студентов ==
 +
[[Изображение:Буклет Сучилина1.jpg|200px]]
 +
[[Изображение:Буклет Сучилина.jpg|200px]]
 +
 +
|}
 +
 +
{| cellpadding="15" cellspacing="5" style="width: 100%; background-color: inherit; margin-left: auto; margin-right: auto"
 
|-
 
|-
−
| style="width: 40%; 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" |
−
== Публикация проекта и презентация для выполнения представлений и интересов студентов ==
+
 
 +
==Презентация преподавателя==
  
 +
[[Медиа:СофоноваПитеримова.pdf|Стартовая презентация учителя]]
  
 
|}
 
|}
Строка 58: Строка 101:
 
{| cellpadding="15" cellspacing="5" style="width: 100%; background-color: inherit; margin-left: auto; margin-right: auto"
 
{| cellpadding="15" cellspacing="5" style="width: 100%; background-color: inherit; margin-left: auto; margin-right: auto"
 
|-
 
|-
−
| 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" |
 
==Продукты проектной деятельности студентов==
 
==Продукты проектной деятельности студентов==
 +
 +
[[Результаты исследований группы Историки в проекте Знакомство с математической логикой |Результаты исследований группы "Историки"]]
  
 
|}
 
|}
  
−
{| cellpadding="10" cellspacing="5" style="width: 100%; background-color: inherit; margin-left: auto; margin-right: auto"
+
{| cellpadding="15" cellspacing="5" style="width: 100%; background-color: inherit; margin-left: auto; margin-right: auto"
−
| style="width: 40%; background-color: SkyBlue; border: 1px solid #777777; <!--vertical-align: top; --> -moz-border-radius-bottomright: 8px;" colspan="1"; rowspan="3"|
+
|-
 +
| style="width: 60%; background-color:SkyBlue; border: 1px solid #777777; vertical-align: top; -moz-border-radius-bottomright: 8px; height: 60px;" colspan="1" |
 
==Материалы по формирующему и итоговому оцениванию==
 
==Материалы по формирующему и итоговому оцениванию==
  
 +
[https://docs.google.com/document/d/1jna1gyX_Pvh-mw24SnhTVgdcF8PZ--9enz1mEIG0gZ4/edit Критерии итогового оценивания]
 +
 +
[https://docs.google.com/spreadsheet/viewform?formkey=dFp0M3phZ2xJQjdhOV9BRUxtbHc2Y2c6MQ Online-анкета листа самооценки]
 +
 +
|}
  
 +
{| cellpadding="15" cellspacing="5" style="width: 100%; background-color: inherit; margin-left: auto; margin-right: auto"
 
|-
 
|-
−
| style="width: 40%; 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" |
 
== Материалы по сопровождению и поддержке проектной деятельности ==
 
== Материалы по сопровождению и поддержке проектной деятельности ==
  
 +
[http://wiki.vgipu.ru/index.php/%D0%A8%D0%B0%D0%B1%D0%BB%D0%BE%D0%BD:%D0%92%D0%B8%D0%BA%D0%B8-%D1%81%D1%82%D0%B0%D1%82%D1%8C%D1%8F_%D1%81%D1%82%D1%83%D0%B4%D0%B5%D0%BD%D1%82%D0%B0  Шаблон Вики-статьи студента]
  
 +
[[Медиа:Shablon dlay prezentazii zbickayanyu.ppt|Шаблон презентции для предствления результатов исследования]]
 +
 +
[http://eek.diary.ru/p52629673.htm Литература по математической логике]
 +
 +
[http://sofonovaintel.blogspot.com/2011/09/1.html Блог для рефлексии в курсе Intel]
 
|}
 
|}
  
−
{| cellpadding="10" cellspacing="5" style="width: 100%; background-color: inherit; margin-left: auto; margin-right: auto"
+
{| cellpadding="15" cellspacing="5" style="width: 100%; background-color: inherit; margin-left: auto; margin-right: auto"
−
| style="width: 40%; background-color: SkyBlue; border: 1px solid #777777; <!--vertical-align: top; --> -moz-border-radius-bottomright: 8px;" colspan="1"; rowspan="3"|
+
|-
 +
| style="width: 60%; background-color:SkyBlue; border: 1px solid #777777; vertical-align: top; -moz-border-radius-bottomright: 8px; height: 60px;" colspan="1" |
 +
 
 
==Полезные ресурсы==
 
==Полезные ресурсы==
  
 +
# [[Основной курс программы Intel Обучение для будущего институт дизайна сентябрь-декабрь 2011]]
 +
# [http://citforum.ru/security/ Информационная безопасность]
 +
# [http://www.stimul.biz/ru/lib/soft/ Софт для построения Ментальных карт]
 +
# [http://letopisi.ru/index.php/%D0%A1%D0%BE%D1%86%D0%B8%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%81%D0%B5%D1%80%D0%B2%D0%B8%D1%81%D1%8B Сервисы для работы в группах]
  
 +
|}
 +
 +
{| cellpadding="15" cellspacing="5" style="width: 100%; background-color: inherit; margin-left: auto; margin-right: auto"
 
|-
 
|-
−
| style="width: 40%; 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" |
 +
 
 
== Проекты с близкой тематикой ==
 
== Проекты с близкой тематикой ==
  
 +
[[Учебный проект Вычисляем рассуждения]]
 +
 +
[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 Учебный проект Информационная культура общества и личности]
  
 
|}
 
|}
  
 +
{| cellpadding="15" cellspacing="5" style="width: 100%; background-color: inherit; margin-left: auto; margin-right: auto"
 +
|-
 +
| style="width: 60%; background-color:SkyBlue; border: 1px solid #777777; vertical-align: top; -moz-border-radius-bottomright: 8px; height: 60px;" colspan="1" |
  
 +
== Другие документы ==
  
−
 
+
[http://sofonovaintel.blogspot.com/ Блог для рефлексии в курсе Intel ]
−
[[Категория:Шаблоны]]
+
|}

Текущая версия на 08:30, 30 мая 2012

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

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

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


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



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

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

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

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

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


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

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

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

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

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

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

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

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

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

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



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

Визитка

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Источник — https://wiki.mininuniver.ru/index.php?title=Учебный_проект_Знакомство_с_математической_логикой&oldid=67182