Методическая разработка в облачных технологиях:

 "Построение таблиц истинности логических выражений  на основе электронных таблиц для решения задач ЕГЭ типа А3"

Основные тенденции развития ЕГЭ по информатике и ИКТ на основе таблиц истинности логических выражений
Раздел алгебры логики, связанный с построением таблиц истинности, представляет широкую перспективу для корректировки контрольных измерительных материалов в следующих направлениях: 

•  введение экзамена в компьютерной форме,
•  усложнение существующих типов задач,
•  добавление новых вариантов задач, поддающихся оцифровке, например, появление  задач  типа "Электронные схемы".

Методика подготовки к ЕГЭ также требует ухода от "рукописно-бумажного" процесса решения задач, хотя и не исключает, разумеется, его полностью, оставляя место "блестящим идеям",  порой плохо поддающимся формализации.
Кроме того, внедрение разнообразных "облачных" технологий на  всех этапах обучения учащихся, обращение к скринкаст-урокам учителя - настоятельные требования сегодняшнего дня.
Общее описание методики
Вашему вниманию предлагаются методическая разработка по теме "Построение таблиц истинности логических выражений" (разделы спецификации: 1.5.1 - Высказывания, логические операции, кванторы,истинность высказывания, 3.4.2 - Использование динамических (электронных) таблиц для выполнения учебных заданий из различных предметных областей).
Из каталога заданий для определенности мы выбрали  задания А3.
При этом использование электронных таблиц следует рассматривать как инструмент решения заданий А3, позволяющий свести к минимуму ручную работу экзаменующегося.
Следует отметить, что задания указанной тематики уже претерпели существенные изменения, начиная от простейших формулировок искомого логического выражения  (логические операции И, ИЛИ) и минимального набора независимых переменных (3 переменные), до задач 2013 г.,  содержащих 8 независимых переменных и искомые функции, в состав которых были включены логические операции эквивалентности  и импликации. Фрагмент таблицы истинности неизменно содержал 3 строки.
 Можно предположить, что задания А3 могут быть дополнены логической операцией ИСКЛЮЧАЮЩЕЕ ИЛИ, содержать бОльшее количество строк заданного  фрагмента таблицы истинности, а также усложненную форму гипотетических логических выражений.
В этом случае, с учетом компьютерного варианта экзамена, применение функциональных возможностей электронных таблиц представляется весьма перспективным.

Методическая разработка предполагает следующую последовательность действий.

Скачать нижеуказанные файлы на локальный диск.

1) Пройти обучение с помощью программы: logica-elem.swf (Логические элементы электронных схем). Выполнить программный тест (самоконтроль). Адрес http://bit.ly/logica-elem-Smirnova

2) Пройти обучение с помощью программы: logica-tables.swf (Таблицы истинности). Выполнить  программный тест (самоконтроль). Адрес http://bit.ly/logica-tables-Smirnova

3) Обучение в скринкасте: Скринкаст ЕГЭ А3 Смирновой.swf Адрес:http://bit.ly/scrin-A3-Smirnova
Внимание! После скачивания файла переименовать файл: вместо расширения имени файла .swf- дать расширение .swf (убрать дефис в конце). Запустить файл с помощью Google Chrome.

4) Самостоятельная работа -  в электронных таблицах: Скачать файл: Решение задач ЕГЭ на заполнение таблиц истинности А3.xls (лист Задания). Выполнить задания, поместить файл с самостоятельной работой на свой Google-диск. Адрес для скачивания:http://bit.ly/zadanije-A3

5)Открыть доступ к файлу для учителя:  Решение задач ЕГЭ на заполнение таблиц истинности А3.xls.
6) Получить оценку по электронной почте. 

Литература

1. Задание А3 Ушаков Д. М.
http://schoolinformatics.ru/informatika/ege/chast-a/zadanie-a3-variant-1-2012

          2. Информатика. Образовательный ресурс. А3
          http://ege-go.ru/a3/

3.   Л.З. Шауцукова. Информатика. Учебное пособие для 10-11 классов        
http://book.kbsu.ru/theory/chapter5/1_5_0.html

4.  Крылов С.С., Ушаков Д.М. Отличник ЕГЭ. Информатика. Решение сложных задач
 http://www.twirpx.com/file/184035/

5.      Цифровые устройства. http://www.sibsutis.ru/~mavr/contCU.htm

6.        Сайт «Логика в школьном курсе информатики» http://tmn.fio.ru/works/03x/305/logika/