Презентация по информатике "Основы логики" 11 класс

ПОДГОТОВКА К ЕГЭ ПО ИНФОРМАТИКЕ

Цель: комплексное, системное изучение методики подготовки к ЕГЭ по информатике по теме «Основы логики».

Тема

«Основы логики»

задач :

задач :

• провести теоретический анализ раздела «Основы логики»;
• рассмотреть возможные трудности при решении задач данной темы.

• провести теоретический анализ раздела «Основы логики»;
• рассмотреть возможные трудности при решении задач данной темы.

Цель: комплексное, системное изучение методики подготовки к ЕГЭ по информатике по теме «Основы логики».

Цель: комплексное, системное изучение методики подготовки к ЕГЭ по информатике по теме «Основы логики».

Цель: комплексное, системное изучение методики подготовки к ЕГЭ по информатике по теме «Основы логики». задачи : провести теоретический анализ раздела «Основы логики»; рассмотреть возможные трудности при решении задач данной темы.

ОСНОВНЫЕ ЛОГИЧЕСКИЕ ОПЕРАЦИИ

Основные операции булевой алгебры:

• л огическое отрицание (инверсия) – « не »; ¬ ; ¯ ; not
• л огическое отрицание (инверсия) – « не »; ¬ ; ¯ ; not

• л огическое умножение (конъюнкция) – « и »; & ; ^ ; • ; and
• л огическое сложение (дизъюнкция) – « или »; + ;  ; │ , or
• л огическое следование (импликация) –  
• л огическая операция эквивалентности – ~ ;  ;  ; ≡

ПРИОРИТЕТ ВЫПОЛНЕНИЯ ЛОГИЧЕСКИХ ОПЕРАЦИЙ

• Логическое отрицание (инверсия) – « не »; ¬ ; ¯ .
• Логическое умножение (конъюнкция) – « и »; & ; ^ ; ∙ .

• Логическое сложение (дизъюнкция) – « или »; + ;  .

• Логическое следование (импликация) –  
• Логическая операция эквивалентности – ~ ;  ;  .

Для изменения указанного порядка могут использоваться скобки.

БУЛЕВО ВЫРАЖЕНИЕ и ТАБЛИЦА ИСТИННОСТИ

Логическая функция F задаётся выражением ( x˄y˄z)˅y˅ ¬z . Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z.

0

0

0

F

0

0

0

0

1

1

1

1

1

1

0

0

1

0

1

0

0

0

1

1

1

1

1

1

0

1

1

1

1

ОСНОВНЫЕ ЛОГИЧЕСКИЕ ОПЕРАЦИИ и ДИАГРАММА ЭЙЛЕРА-ВЕННА

Логическое отрицание (инверсия):

• в естественном языке соответствует словам
• в естественном языке соответствует словам

неверно, что... и частице не ;

• неверно, что... и частице не ;

• в языках программирования Not .
• в языках программирования Not .

Обозначение ¬ A ; Ā .

Таблица истинности:

Диаграмма Эйлера-Венна

A

0

Ā

1

1

0

Ā

A

ОСНОВНЫЕ ЛОГИЧЕСКИЕ ОПЕРАЦИИ и ДИАГРАММА ЭЙЛЕРА-ВЕННА

Логическое сложение (дизъюнкция):

• в естественном языке соответствует союзу или ; в языках программирования Or .
• в естественном языке соответствует союзу или ;
• в языках программирования Or .

Обозначение + ; v .

Таблица истинности:

Диаграмма Эйлера-Венна

A

0

B

0

A  B

0

0

1

1

1

1

0

1

1

1

A

B

ОСНОВНЫЕ ЛОГИЧЕСКИЕ ОПЕРАЦИИ и ДИАГРАММА ЭЙЛЕРА-ВЕННА

Логическое умножение (конъюнкция):

• в естественном языке соответствует союзу и ; в языках программирования And .
• в естественном языке соответствует союзу и ;
• в языках программирования And .

Обозначение & ; ^ ; ∙ .

Таблица истинности:

Диаграмма Эйлера-Венна

A

0

B

0

A ^B

0

0

1

1

1

0

0

0

• 0

1

1

B

A

КРУГИ ЭЙЛЕРА-ВЕННА

Покажем области, определяемые выражениями:

A

A

B

B

С

С

КРУГИ ЭЙЛЕРА-ВЕННА

Покажем области, определяемые выражениями:

A

A

B

B

С

C

11

КРУГИ ЭЙЛЕРА-ВЕННА

A

B

A

A

A

B

B

B

С

С

С

С

КРУГИ ЭЙЛЕРА-ВЕННА

Покажем области, определяемые выражениями:

 

B

¬ A



X

B

¬ A

∙ 



X

5

6

Ā

Ā

Ā

Ā

B

A

A

B

B

B

A

A

13

БУЛЕВО ВЫРАЖЕНИЕ

Какое количество страниц (в тысячах) будет найдено по запросу   уравнение|корень ?

Запрос

Найдено стр

суффикс

117

суффикс | корень

345

суффикс & корень

72

уравнение

284

уравнение & суффикс

0

уравнение & корень

190

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

6

2

8

13

3

12

14

7

5

10

По горизонтали:

11

1.Наука, изучающая законы и формы мышления.

3.Логическое равенство.

7.Логическое сложение.

9.Логическое следование.

5.Константа, которая обозначается "1".

12.Простое высазывание, содержащее только одну

простую мысль и обозначаемое А, В, С, D…

13.Форма нахождения значения логического выражения

По вертикали:

2.Повествовательное предложение, в котором что-то

утверждается или отрицается.

4.Простейшее устройство, на входы которых поступают

начальные данные, а на выходе получается результат

некоторой логической операции.

6.Константа, которая обозначается "0".

8.Сложное высказывание, обозначаемое как F(A,B...)

10.Логическое умножение.

14.Логическое отрицание.

11.Графическое изображение логического выражения.

• Информационные ресурсы

• «ЕГЭ2018, 2019. Информатика и ИКТ» С.С. Крылов, Т.Е.Чуркина
• «Практикум по информатике и информационным технологиям», Н.Д. Угринович, Л.Л. Босова, М.: Бином. Лаборатория знаний
• «Информатика. Задачник- практикум в 2 т.», Под ред. И.Г. Семакина, Е.К. Хеннера, М.: Бином. Лаборатория знаний
• «Информатика: готовимся к ЕГЭ», Зеленко Л.С., Сопченко Е.В.
• «ЕГЭ 2018. Информатика. Федеральный банк экзаменационных материалов», П.А. Якушкин, С.С. Крылов, М.: Эксмо
• «ЕГЭ 2017. Информатика.», Ярцева, Цикина
• «ЕГЭ 2016. Информатика - Универсальные материалы для подготовки учащихся», Крылов С.С, Лешинер В.Р, Якушкин П.А.
• Готовимся к ЕГЭ по информатике - Самылкина Н.Н.
• ЕГЭ Информатика : Раздаточный материал тренировочных тестов, Гусева И.Ю.
• ЕГЭ Информатика - ЕГЭ это просто! Молодцов В.А.
• http:// kpolyakov.narod.ru
• http://www.ctege.org - Подготовка к ЕГЭ
• http://www.websib.ru/noos/informatika/ege.htm - Предметный сайт для учителей информатики.
• http://pedsovet.su/load/7 - " Сообщество взаимопомощи учителей", раздел по информатике.

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

6

1

8

л

2

л

в

ф

о

ы

у

г

ж

с

н

и

ь

13

к

к

т

ц

9

12

а

а

3

а

и

б

п

з

э

м

л

к

е

ы

я

14

п

в

и

р

л

ц

и

4

н

а

е

м

а

в

н

в

и

7

10

5

е

к

и

а

д

л

с

р

е

с

н

а

и

о

т

н

с

ц

е

н

з

и

и

6

и

а

н

ъ

л

я

я

н

я

ю

т

ю

ь

н

н

а

11

к

к

о

ц

с

ц

х

и

т

и

е

ь

я

я

м

а