Персональные данные
Все персональные данные размещены с согласия участников образовательных отношений на обработку персональных данных
Полезные ссылки
Российской Федерации
Иркутской области
города Братска
Кто на сайте
Сейчас 2 гостей и ни одного зарегистрированного пользователя на сайте
Проектная задача "Истина и ложь"
Логика очень древняя наука. Ещё в античные времена была известна формальная логика, позволяющая делать заключения о правильности какого-либо суждения не по его фактическому содержанию, а только по форме его построения. Например, уже в древности был известен закон исключения третьего. Его содержательная трактовка была такова: «Во время своих странствований Платон был в Египте ИЛИ не был Платон в Египте». В такой форме это или любое другое выражение будут правильны (тогда говорили: истинно). Ничего другого быть не может: Платон либо был, либо не был в Египте - третьего не дано.
Другой закон логики - закон непротиворечивости. Если сказать: «Во время своих странствий Платон был в Египте И не был Платон в Египте», то очевидно, любое высказывание, имеющее такую форму, всегда будет ложно. Если из теории следуют два противоречащих друг другу вывода, то такая теория безусловно неправильная (ложная) и должна быть отвергнута.
Ещё один закон, известный в древности - закон отрицания: «Если НЕ верно, что Платон НЕ был в Египте, то значит, Платон был в Египте».
Формальная логика основана на “высказываниях”. “Высказывание” - это основной элемент логики, определяемый как повествовательное предложение, относительно которого можно однозначно сказать, истинно оно или ложно.
В 1847 году английский математик Джордж Буль, преподаватель провинциального университета в маленьком городке Корке на юге Англии разработал алгебру логики.
Простые высказывания стали логическими переменными, которые могли иметь значения либо 1 (истина), либо 0 (ложь). Сложные высказывания – логическими выражениями.
КАК СПРАВИТЬСЯ С ЗАДАНИЕМ?
1. Разбейтесь на группы по 4 человека, придумайте название команды и зарегистрируйтесь.
2. Познакомьтесь с замыслом проектной задачи, возможными ролями: разработчик интерактивного модуля формальной логики, сценарист содержания интерактивного модуля формальной логики, разработчик интерактивного модуля алгебры логики, сценарист интерактивного модуля алгебры логики.
3. Решите задания, чтобы сформировать пароли для архивов заданий:
- разработчик интерактивного модуля формальной логики;
- разработчик интерактивного модуля алгебры логики;
- сценарист интерактивного модуля формальной логики;
- сценарист интерактивного модуля алгебры логики.
4. Ознакомьтесь с особенностями своего задания (пароль вам уже известен).
- разработчик интерактивного модуля формальной логики;
- разработчик интерактивного модуля алгебры логики;
- сценарист интерактивного модуля формальной логики;
- сценарист интерактивного модуля алгебры логики.
5. Представьте итог работы своей команды - 2 интерактивных модуля по темам: "Формальная логика" и "Алгебра логики".
Примеры интерактивных модулей
Классификация "Расширения файлов"
Игра "Кто хочет стать миллионером"
ЗАДАНИЕ ДЛЯ разработчика интерактивного модуля
Познакомьтесь с сервисом создания интерактивных модулей, зарегистрируйтесь на данном сервисе, изучите его возможности. После разработки сценария - создайте интерактивный модуль.
ЗАДАНИЕ ДЛЯ сценариста интерактивного модуля
Составьте сценарий (вопросы и ответы) для интерактивного модуля.
РЕФЛЕКСИЯ
Обсуждение хода выполнения проектной задачи будет проводится на Форуме в теме "Проектная задача "Истина и ложь"
РЕЗУЛЬТАТ ПРОЕКТНОЙ ЗАДАЧИ
1. Ссылки на интерактивный модуль в сети Интернет.
2. Самооценка (рефлексия) на форуме в теме "Проектная задача "Истина и ложь"
ИТОГИ
Команда |
Формальная логика |
Алгебра логики |
||
Интерактивный модуль |
Рефлексия |
Интерактивный модуль |
Рефлексия |
|
Мориарти |
Зачет |
Зачет |
||
Барбоскины |
Зачет |
Зачет |
||
Возвращение компутерщиков |
Зачет |
Зачет |
||
ДУДОС |
Зачет |
Зачет |
||
АП-АП |
Зачет |
Зачет |
||
Аристотель |
Зачет |
Зачет |
||
Доктор Ватсон |
Зачет |
Зачет |
||
Соседнее село |
Зачет |
Незачет |
Зачет |
|
Jesse Jane |
Зачет |
Зачет |
||
R.Style |
Зачет |
Зачет |
||
P.I.K.E. |
Зачет |
Зачет |
||
Green Day |
Зачет |
Зачет |
||
S.P.E.C.I.A.L. |
Зачет |
Зачет |
||
Моряки |
Зачет |
Незачет |
Зачет |
|
Авокадо |
Незачет |
Зачет |
Зачет |
|
Логисты |
Зачет |
Зачет |
||
Никодимы Святославичи |
Зачет |
Зачет |