Методики решения систем логических уравнений со многими переменными Мельникова Д.Ю., учитель информатики МАОУ «Физико-технический лицей 1» г. Саратова.

Презентация:



Advertisements
Похожие презентации
Логика в задачах ГИА и ЕГЭ по информатике Вишневская М.П., учитель информатики МАОУ «Гимназия 3» г. Саратова
Advertisements

Жуланова В. П., КРИПКиПРО Часть 5. Решение систем логических уравнений.
Решение систем логических уравнений В15 (ЕГЭ-2012, 2013) В10 (ЕГЭ-2011)
Информатика ЕГЭ Уровень-А8. Вариант 1 Укажите логическое выражение, равносильное данному: (А^B) v ((¬B ^ ¬A) v A). 1) (A^ B) v (¬B) 2) (A ^ B) v (¬A)
Кондрашова Е.В. МБОУ «СОШ п. Пробуждение» ЭМР Саратовской области.
ПРЕОБРАЗОВАНИЕ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ :57.
1 АЛГЕБРА АЛГЕБРА ВЫСКАЗЫВАНИЙ АЛГЕБРА2 В алгебре высказываний суждениям (простым высказываниям) ставятся в соответствие логические переменные (заглавные.
Мастер-класс Логические задачи Подготовка к ЕГЭ Задача B15 Автор: Лимаренко Андрей Иванович, учитель информатики гимназии 446.
Тематический блок «Основы логики». Типы заданий Обозначение задания в работе Проверяемые элементы содержания Уровень сложности задания А3Умения строить.
Сложные высказывания можно записывать в виде формул. Для этого простые логические высказывания нужно обозначить как логические переменные буквами и связать.
Метод отображений в решении системы логических уравнений Васинькина Наталия Николаевна, учитель информатики МОУ «СОШ 51» Кировского района г.Саратова
Системы логических уравнений учитель информатики ГБОУ СОШ 2107 Зуева Юлия Викторовна Разбор заданий ЕГЭ ( А 10, В 15)
Презентация к уроку по информатике и икт по теме: Логические операции (презентация)
Презентация составлена Сырцовой С.В. Часть 2. Проверим домашнее задание 18 – записать на доске Какие логические операции вам известны? Какими знаками.
Системы логических уравнений Метод отображения Педагогический марафон Романенко О.В. г. Наро-Фоминск 24 марта 2014 Мирончик Ел. А. Мирончик Ек. А. Куда-нибудь.
Логические схемы Урок 5. Логические схемы Одним из наиболее удобных способов представления логических выражений является логическая схема. Всего существует.
Информатика ЕГЭ Уровень А5. Вариант 1 Определите значения переменных a, b, c после выполнения следующего фрагмента программы: a:=5; b:=1; a:=a+b; if a>10.
Мастер-класс Логические задачи Подготовка к ЕГЭ Задача B15 Автор: Лимаренко Андрей Иванович, учитель информатики гимназии 446.
Алексеева Е.В., учитель информатики и ИКТ, МОУ «Сланцевская СОШ 3» Основы логики.
Логические задания в ЕГЭ по информатике Учитель информатики первой кв. категории: Леонтьева И.Н. Лицей им. В.В.Карпова с. Осиново, Зеленодольский район.
Транксрипт:

Методики решения систем логических уравнений со многими переменными Мельникова Д.Ю., учитель информатики МАОУ «Физико-технический лицей 1» г. Саратова

Спецификация контрольных измерительных материалов для проведения в 2014 году единого государственного экзамена по информатике и ИКТ

Кодификатор элементов содержания и требований к уровню подготовки выпускников общеобразовательных учреждений для проведения единого государственного экзамена по информатике и ИКТ Перечень элементов содержания, проверяемых на едином государственном экзамене по информатике и ИКТ: Высказывания, логические операции, кванторы, истинность высказывания Перечень требований к уровню подготовки, проверяемому на едином государственном экзамене по информатике и ИКТ: Вычислять логическое значение сложного высказывания по известным значениям элементарных высказываний

Необходимые знания Обозначения, таблицы истинности, свойства логических операций ( конъюнкция, дизъюнкция, инверсия, эквиваленция, исключающее «или») Приоритет логических операций Законы алгебры логики Формулы представления импликации, эквиваленции, исключающего «или»:

Некоторые приемы Замены переменных для независимых повторяющихся выражений Наблюдения закономерностей роста количества решений при добавлении переменных/уравнений Правила комбинаторики (правила суммы и произведения) Нет единого алгоритма решения!

B15 (октябрь 2011) Сколько различных решений имеет система уравнений ¬ (x1 x2) /\ ¬ (x2 x3) =1 ¬ (x2 x3) /\ ¬ (x3 x4) =1... ¬ (x8 x9) /\ ¬ (x9 x10) =1 где x1, x2,..., x10 – логические переменные? ¬ (x1 x2) =1 ¬ (x2 x3) =1 … ¬ (x9 x10) =1 x1 x2=0 x2 x3=0 … x9 x10 = x1x2 x2x3 … x9x10

В15 (декабрь 2011) Сколько существует различных наборов значений логических переменных x1, x2,..., x9 которые удовлетворяют всем перечисленным ниже условиям? (¬x1 /\ ¬x2 /\ x3) \/ (¬x1 /\ x2 /\ ¬x3) \/ (x1 /\ ¬x2 /\ ¬x3) = 1 (¬x2 /\ ¬x3 /\ x4) \/ (¬x2 /\ x3 /\ ¬x4) \/ (x2 /\ ¬x3 /\ ¬x4) = 1... (¬x7 /\ ¬x8 /\ x9) \/ (¬x7 /\ x8 /\ ¬x9) \/ (x7 /\ ¬x8 /\ ¬x9) = 1 где x1, x2,..., x9 логические переменные? В ответе не нужно перечислять все различные наборы значений переменных x1, x2,..., x9 при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.

(¬x1 /\ ¬x2 /\ x3) \/ (¬x1 /\ x2 /\ ¬x3) \/ (x1 /\ ¬x2 /\ ¬x3) = 1 (¬x2 /\ ¬x3 /\ x4) \/ (¬x2 /\ x3 /\ ¬x4) \/ (x2 /\ ¬x3 /\ ¬x4) = 1... (¬x7 /\ ¬x8 /\ x9) \/ (¬x7 /\ x8 /\ ¬x9) \/ (x7 /\ ¬x8 /\ ¬x9) = 1 x1 x2 x3 x4 x5 x6 x7 x8 x

19/04/ вариант 4 вариант

x1x2x3 x4 x

y1y2y3y4 y *6=36 решений

y1 y2 y3 y4 y x1 x2 x3 x4 x решений 5 решений =31 3 вариант

x 1 x2 x3 x4 x y1 y2 y3 y4 y решений 1 решение =31 4 вариант

Пример

Делаем замену:х1=a b х2=c d х3=e f х4=g h х5=i j (х1х2)(х2х3)(х3х4)(х4х5) (х5х1) =1 x1 x2 x3 x4 x5 х решения для х1,х2, х3,х4,х5:

a b=1 c d=1 e f=1 g h=1 i j=1 a b=0 c d=0 e f=0 g h=0 i j=0 2 решения Правило суммы Правило произведения

... Пример Решение... X1X X2X X X X i всего решений в дереве решений на каждом i+1 уровне добавляются по 2 решения – в случае X i =X i-1

Пример Решение … …

X1X1 X1X X2X X1X1 X2X X3X … X если X i =X i-1, то X i+1 выбирается 2мя способами, 0 и 1 если X iX i-1, то X i+1 выбирается однозначно, равным X i

i число решений е уравнение – 6 решений На шаге подключения переменной X4 и второго уравнения получается 10 решений На шаге подключения переменной X5 и третьего уравнения получается 16 удвоенная последовательность Фибоначчи: 2, 4, 6, 10, 16, 26, …, в которой каждый следующий элемент равен сумме двух предыдущих … X1X1 X2X X3X X Наблюдение закономерности роста кол-ва решений, догадка

x1x1 x2x2 x3x Метод отображений (Мирончик Ел. А., Мирончик Ек. А.) x 1 x 2 x 2 x …

x1x2x1x2 x2x3x2x3 x3x4x3x4 x4x5x4x5 x5x6x5x6 x6x7x6x7 x7x8x7x8 x8x9x8x9 x 9 x = 178 решений x 1 x 2 x 2 x

Сколько различных решений имеет система уравнений X1 X2 X3 = 1 X2 X3 X4 = 1... X8 X9 X10 = 1 x1x1 x2x2 x3x x 1 x 2 x 2 x Метод отображений (Мирончик Ел. А., Мирончик Ек. А.)

x1x2x1x2 x2x3x2x3 x3x4x3x4 x4x5x4x5 x5x6x5x6 x6x7x6x7 x7x8x7x8 x8x9x8x9 x 9 x x 1 x 2 x 2 x = 73 решения

Источники информации [Электронный ресурс] К.Ю. Поляков. Логические уравнения // Информатика, 14, 2011, с Метод отображения, Мирончик Е.А., МБ НОУ «Лицей 111», г. Новокузнецк РЕШУ ЕГЭ. Образовательный портал для подготовки к экзаменам. Каталог заданий. Системы логических уравнений. p1ai/test?theme=264 [Электронный ресурс] 1