Урок 12.Практическая работа № 3. Логика высказываний
Презентация «Элементы алгебры логики»
Презентация «Элементы алгебры логики» (Open Document Format)
Ссылки на ресурсы ЕК ЦОР
- демонстрация к лекции «Основные понятия математической логики» (128630);
http://school-collection.edu.ru/catalog/res/a969e5e4-f2e2-43f0-963b-65199b61416e/?inter - демонстрация к лекции «Вычисление логических выражений» (128658);
http://school-collection.edu.ru/catalog/res/f054fcc2-67a8-4426-81c8-ced80691d7e9/?inter
Федеральный центр информационных образовательных ресурсов:
- информационный модуль «Высказывание. Простые и сложные высказывания. Основные логические операции»;
http://fcior.edu.ru/card/12468/vyskazyvanie-prostye-i-slozhnye-vyskazyvaniya-osnovnye-logicheskie-operacii.html - практический модуль «Высказывание. Простые и сложные высказывания. Основные логические операции»;
http://fcior.edu.ru/card/12921/vyskazyvanie-prostye-i-slozhnye-vyskazyvaniya-osnovnye-logicheskie-operacii.html - информационный модуль «Построение отрицания к простым высказываниям, записанным на русском языке»;
http://fcior.edu.ru/card/4059/postroenie-otricaniya-k-prostym-vyskazyvaniyam-zapisannym-na-russkom-yazyke.html - практический модуль «Построение отрицания к простым высказываниям, записанным на русском языке»;http://fcior.edu.ru/card/7268/postroenie-otricaniya-k-prostym-vyskazyvaniyam-zapisannym-na-russkom-yazyke.html
- контрольный модуль «Построение отрицания к простым высказываниям, записанным на русском языке»;
http://fcior.edu.ru/card/7120/postroenie-otricaniya-k-prostym-vyskazyvaniyam-zapisannym-na-russkom-yazyke.html - информационный модуль «Логические законы и правила преобразования логических выражений»;
http://fcior.edu.ru/card/14287/logicheskie-zakony-i-pravila-preobrazovaniya-logicheskih-vyrazheniy.html - практический модуль «Логические законы и правила преобразования логических выражений»;
http://fcior.edu.ru/card/10357/logicheskie-zakony-i-pravila-preobrazovaniya-logicheskih-vyrazheniy.html - контрольный модуль «Логические законы и правила преобразования логических выражений»;
http://fcior.edu.ru/card/3342/logicheskie-zakony-i-pravila-preobrazovaniya-logicheskih-vyrazheniy.html - информационный модуль «Решение логических задач»;
http://fcior.edu.ru/card/9561/reshenie-logicheskih-zadach.html - практический модуль «Решение логических задач»;
http://fcior.edu.ru/card/10836/reshenie-logicheskih-zadach.html - контрольный модуль «Решение логических задач»
http://fcior.edu.ru/card/8052/reshenie-logicheskih-zadach.html
Свободное программное обеспечение:
- демонстрационная версия логической головоломки «Шерлок»
http://www.kaser.com - тренажер «Логика» http://kpolyakov.spb.ru/prog/logic.htm