Урок в 11 классе по теме "Решение логических задач"
план-конспект урока по информатике и икт (11 класс)

Цели урока:

1. Актуализация и систематизация знаний о методах решения логических задач.

2. Создание условий контроля (самоконтроля) усвоения знаний.

3. Способствовать развитию умений применять приемы обобщения, сравнения, развитию логического мышления.

 


Предварительный просмотр:

Сценарий урока информатики в 11 классе (базовый уровень)

Тема: «Решение логических задач» (обобщающий урок)

Тип урока: урок обобщения и систематизации знаний, с элементами практико-ориентированной работы.
Оборудование: интерактивная доска/проектор, презентация с заданиями, раздаточные листы с задачами и таблицами истинности, компьютеры (по возможности — для финальной самопроверки), доска.

Планируемые результаты

Предметные:

  • закрепляют умение формализовать условие задачи (переход от текста к формулам алгебры логики);
  • применяют основные законы логики для упрощения формул;
  • владеют табличным способом решения (таблицы истинности) и методом рассуждений (средствами «импликации», кругами Эйлера, табличным методом для задач «кто есть кто»);
  • выбирают рациональный способ решения в зависимости от условия.

Метапредметные (УУД):

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

Личностные:

  • проявляют самостоятельность и ответственность за результат;
  • осознают практическую ценность логического мышления (ЕГЭ, повседневные решения, безопасность в сети).

Ход урока (40 минут)

№

Этап

Время

Деятельность учителя

Деятельность учащихся

1

Организационный момент. Мотивация

3 мин

Приветствует. Показывает на слайде фрагмент задания ЕГЭ (задача на логику) и вопрос: «Что общего у этой задачи и ситуации на перекрёстке со светофором, где нельзя одновременно ехать двум потокам?» Создаёт проблемную ситуацию: «Мы умеем строить формулы и таблицы истинности. А умеем ли мы этим решать реальные задачи?»

Отвечают, высказывают версии, сами формулируют тему и цель урока: «систематизировать способы решения логических задач и научиться выбирать рациональный»

2

Актуализация знаний. Пробное действие

6 мин

Даёт пробное задание: «В классе 5 спортсменов. Известно, что каждый занимался ровно двумя видами спорта и никакие два не занимались одинаковым набором. Утверждения о трёх из них... Кто чем занимался?» Просит за 2 минуты попробовать решить «как получится». Спрашивает: «В чём затруднение? Какого инструмента не хватает?»

Пытаются решить, фиксируют затруднение: перебор вариантов громоздкий. Формулируют: нужны систематические методы. Вспоминают приёмы с прошлых уроков (формулы, таблицы истинности, табличный метод)

3

Систематизация: построение «карты методов»

7 мин

Организует фронтальную работу: на доске совместно выстраивают схему «Методы решения логических задач»: 1) табличный способ («кто есть кто»); 2) средства алгебры логики (формализация, упрощение, таблица истинности); 3) метод рассуждений; 4) круги Эйлера. Для каждого метода задаёт вопрос-примечание: «Когда удобнее?»

Предлагают, к какому типу задач применим каждый метод, записывают опорную схему в тетрадь, формулируют критерии выбора метода: количество объектов, наличие утверждений/отрицаний, требование всех решений или одного

4

Практическая работа в парах (дифференцированные задачи)

12 мин

Раздаёт парные карточки с задачами трёх уровней: базовый — табличный метод («Три друга и профессии»); средний — формализация через импликацию («Если из A следует B...» — по типу задачи ЕГЭ №2); повышенный — задача с несколькими условиями, где нужно упростить формулу по законам логики. Проходит по классу, задаёт наводящие вопросы: «Что будет твоим первым шагом? Как проверить найденный ответ?»

Распределяют роли в паре (кто формализует, кто проверяет). Решают, оформляют решение, сверяют промежуточные шаги с опорной схемой. Пара, решившая раньше, получает задачу-бонус повышенного уровня

5

Взаимопроверка и обсуждение решений

6 мин

Организует обмен решениями между парами. Показывает на доске эталонное решение базовой задачи, просит сверить по критериям: формализация верна? способ рационален? ответ обоснован? Собирает 1–2 примеры разных способов решения одной задачи и обсуждает с классом, какой эффективнее

Проверяют решение соседней пары по критериям, находят ошибки, аргументируют. Сравнивают разные способы, делают вывод: одна задача может решаться двумя методами, но один короче

6

Первичное закрепление. Задача «в формате ЕГЭ»

4 мин

Дает индивидуальную мини-задачу из формата ЕГЭ (логическое выражение с переменными, вопрос «при каких значениях формула истинна/ложна»). Кратко: решить любым методом, время ограничено

Самостоятельно решают, отмечают использованный метод

7

Рефлексия. Домашнее задание

2 мин

Организует рефлексию по вопросам: «Какой метод был для тебя удобнее и почему? Где я испытал(а) затруднение и что помогло его преодолеть?» Даёт дифференцированное ДЗ: базовый уровень — 2 задачи табличным методом; по желанию — задача олимпиадного уровня

Оценивают свою работу («лестница успеха» или самооценка по критериям), записывают домашнее задание

Материалы к этапам

Пробное задание (этап 2). Три класса — А, Б, В — сдавали зачёт. Известно: 1) если А сдал, то и Б сдал; 2) если Б сдал, то В не сдал; 3) известно, что А сдал. Вопрос: кто сдал зачёт? (Задача короткая, но требует формализации через импликацию — у части учеников возникнет затруднение, это рабочий момент.)

Базовая задача (этап 4, уровень 1). Три друга — Антон, Борис и Виктор — живут в разных городах: Москве, Казани и Омске. Антон живёт не в Москве, Борис живёт не в Казани и не в Омске. Определите город каждого. (Решается табличным методом за 3–4 шага.)

Задача среднего уровня (этап 4, уровень 2). Четыре финалиста конкурса заняли места без совпадений. Известно, что: если Маша первая, то Даша вторая; если Даша не вторая, то Коля третий; Саша не первая. Определите распределение мест. (Удобно через рассуждения и проверку.)

Задача повышенного уровня (этап 4, уровень 3). Дано логическое выражение, содержащее 3 переменные, импликации и конъюнкции. Требуется упростить его, применив законы логики (де Моргана, дистрибутивность, импликация через дизъюнкцию), и указать, при каких наборах значений переменных выражение ложно. (Проверяется умение формализовать и упрощать — прямой выход на ЕГЭ.)

Критерии взаимопроверки (этап 5):

  • формализация условия корректна (все данные учтены);
  • выбран рациональный метод;
  • решение оформлено, можно проследить ход рассуждений;
  • ответ сформулирован в терминах условия задачи (а не просто «да/нет»).

Домашнее задание.

  • Базовый уровень: две задачи на табличный метод из задачника (по 1–2 действия).
  • Повышенный: одна задача с формализацией через импликацию и упрощением формулы.
  • Творческое (по желанию): составить собственную логическую задачу «кто есть кто» с тремя героями и принести её на следующий урок для обмена с одноклассниками.


По теме

Конспект урока по теме "Табличное решение логических задач"

Конспект урока по теме "Табличное решение логических задач" предназначен для проведения урока в 7 классе.Использованная  литература:1.     Информатика и ИКТ : учебник для...

Проект урока информатики по теме "Решение логических задач"

Проект может быть использован при проведении урока информатики  по теме "Логика". Материал содержит проект урока и презентацию к нему. Рассматриваются способы решения логических задач и сами зада...

Логические задачи на уроках информатики в начальной школе Логические задачи в дополнение к программному комплексу «Роботландия»

В настоящей статье представлены логические задачи, которые подбирались для уроков информатики в начальной школе. Уроки информатики проходили в компьютерном классе. Основное программное обеспечение у...

Урок по теме: «Табличное решение логических задач» 5 класс

Цели урока:систематизировать и обобщить сведения, полученные учащимися на предыдущем уроке;расширить  представления  учащихся  о  табличных  информационных моделях;закрепить п...

Конспект урока в 10 классе "Методы решения логических задач"

Конспект урока в 10 классе "Методы решения логических задач". Профильный уровень. По программе Семакина...

Урок в МЭШ. Табличное решение логических задач. 5 класс.

Урок в МЭШ. Табличное решение логических задач. 5 класс....

Открытый урок на тему «Табличное решение логических задач», 5 класс

Открытый урок на тему «Табличное решение логических задач», 5 класс...