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

Версия 09:55, 27 октября 2011

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

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

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

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

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

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

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

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

@@ Строка 83: / Строка 83: @@
 ==Продукты проектной деятельности студентов==
+[[Результаты исследований группы Историки в проекте Знакомство с математической логикой |Результаты исследований группы "Историки"]]
 {| 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; height: 60px;" colspan="1" |
-[[Результаты исследований группы Историки в проекте Знакомство с математической логикой |Результаты исследований группы "Историки"]]
 ==Материалы по формирующему и итоговому оцениванию==