Урок «Решение развивающих логических задач табличным способом (включая электронные таблицы)»

Научение правильным рассуждениям может и должно сопровождаться решением развивающих логических задач. На их примерах законы логики высказываний воплощаются в сказочных персонажах, действующих в вымышленном антураже. Применение в исчислениях высказываний законов (не)противоречия, вычёркивания, идемпотентности, правил функционирования логических операторов отрицания, конъюнкции, слабой дизъюнкции в процессе формализации условий задач, изложенных на естественнном языке подготавливает почву для перехода к кодированию условий и решения на машинных языках. В материале предлагается решение классической задачи «Суд Париса» табличным способом, на языке логики высказваний и на листе электронной таблицы.
Предмет: Информатика
Категория материала: Конспекты
Автор: Плотников Сергей Николаевич это Вы?
Тип материала: Документ Microsoft Word (doc)
Размер: 123.00 Kb
Скачать

Полезно? Поделись с другими:

Просмотров: 12   Скачиваний: 2

Если Вы являетесь автором этой работы и хотите отредактировать, либо удалить ее с сайта - свяжитесь, пожалуйста, с нами.

Посмотрите также:

— «В мире роботов»
— «Снеговик»
— Практическая работа «Вставка в документ формул»
— Конспект урока по информатике по теме: «Решение задач на машине Поста»
— Құжаттарды құру және сақтау, мәтінді пішімдеудің негізгі әдіс-тәсілдері
— Векторлық графика. Векторлық графиканы өңдеу бойынша программаның интерфейсі
— Сабақтың тақырыбы: Қ.Шаңғытбаев «Сабалақ» өлеңі
— Конспект урока «Текстовые редакторы. Работа с текстовыми редакторами»
— Конспект урока «Тексты в компьютерной памяти»
— Разработка урока - викторины