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

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

Скачать материал
библиотека
материалов
Основы логики

Описание презентации по отдельным слайдам:

1 слайд Основы логики
Описание слайда:

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

2 слайд Конъюнкция, логическое умножение (and - и); Дизъюнкция, логическое сложение (
Описание слайда:

Конъюнкция, логическое умножение (and - и); Дизъюнкция, логическое сложение (or - или); Инверсия, логическое отрицание (not - не); Импликация ( - следование)(если высказывание истинно, то…) Эквивалентность (~ - тогда и только тогда, когда) Высказывания в алгебре логики обозначаются латинскими буквами Основные логические операции:

3 слайд К о н ъ ю н к ц и я F(A,B)=A*B Соединение двух простых высказыва-ний А и В в
Описание слайда:

К о н ъ ю н к ц и я F(A,B)=A*B Соединение двух простых высказыва-ний А и В в одно составное с помощью союза И называется ЛОГИЧЕСКИМ УМНО-ЖЕНИЕМ или конъюнкцией. Обозначение: А*В, А и В, А and В А ^ В А В А ^ В 0 0 0 0 1 0 1 0 0 1 1 1

4 слайд Д и з ъ ю н к ц и я F(A,B)=A ˇ B Соединение двух простых высказываний А и В в
Описание слайда:

Д и з ъ ю н к ц и я F(A,B)=A ˇ B Соединение двух простых высказываний А и В в одно с помощью союза ИЛИ, употребляемого в неисключающем смысле, называется ЛОГИЧЕСКИМ СЛОЖЕНИЕМ или дизъюнкцией. Обозначение: А+В, А или В, А or В А ˇ В А В А или В 0 0 0 0 1 1 1 0 1 1 1 1

5 слайд И н в е р с и я F(A)= не A Присоединение частицы НЕ к сказуемому данного прос
Описание слайда:

И н в е р с и я F(A)= не A Присоединение частицы НЕ к сказуемому данного простого высказы-вания А называется логическим отрицанием. Обозначение: не А А не А 0 1 1 0

6 слайд Заполните самостоятельно таблицу: формула	высказывание	тигр	волк	бурундук	зая
Описание слайда:

Заполните самостоятельно таблицу: формула высказывание тигр волк бурундук заяц А Зверь полосатый В Зверь хищный Не А Не В А и В А или В

7 слайд Проверьте правильность: Форму-ла	высказывание	тигр	волк	бурундук	заяц А	Зверь
Описание слайда:

Проверьте правильность: Форму-ла высказывание тигр волк бурундук заяц А Зверь полосатый и л и Л В Зверь хищный и и л л Не А Зверь не полосатый л и л и Не В Зверь не хищный л л и И А и В Зверь полосатый и хищный и л л л А или В Зверь полосатый или хищный и и и л

8 слайд Импликация F(A,B)= A → B Импликацией двух высказываний А и В называется новое
Описание слайда:

Импликация F(A,B)= A → B Импликацией двух высказываний А и В называется новое высказывание, которое ложно только тогда, когда высказывание А истинно, а В – ложно, во всех же остальных случаях истинно. Обозначение: А → В А следует В А В А → В 0 0 1 0 1 1 1 0 0 1 1 1

9 слайд Эквивалентность F(A,B)= A ~ B Соединение двух простых высказываний А и В в од
Описание слайда:

Эквивалентность F(A,B)= A ~ B Соединение двух простых высказываний А и В в одно с помощью связки «…тогда и только тогда, когда…» , называется операцией эквивалентности. Обозначение: А ~ В А В А ~ В 0 0 1 0 1 0 1 0 0 1 1 1

10 слайд Эквивалентность ПРИМЕР: А- «Земля вращается вокруг Солнца по эллиптической ор
Описание слайда:

Эквивалентность ПРИМЕР: А- «Земля вращается вокруг Солнца по эллиптической орбите» В- «Число 35 кратно 19» А ~ В - «Земля вращается вокруг Солнца по эллиптической орбите тогда и только тогда, когда число 35 кратно 19»

11 слайд Это булевы константы и переменные, связанные логическими операциями И, ИЛИ и
Описание слайда:

Это булевы константы и переменные, связанные логическими операциями И, ИЛИ и НЕ в единую формулу. СТАРШИНСТВО ЛОГИЧЕСКИХ ОПЕРАЦИЙ : Инверсия Конъюнкция Дизъюнкция Для изменения порядка действий используются скобки. Логические (булевы) выражения -

12 слайд 1. не 0 = 1, не 1 = 0 2. Х or 0=Х, Х · 1=Х 3. Х or 1=1, Х · 0=0 4. Х or Х=Х,
Описание слайда:

1. не 0 = 1, не 1 = 0 2. Х or 0=Х, Х · 1=Х 3. Х or 1=1, Х · 0=0 4. Х or Х=Х, Х · Х=Х – з-н идемпотентности - основной закон алгебры Буля, в соответствии с которым исключаются все коэффициенты и показатели степеней. А+А+А+А=А А·А·А=А Теоремы алгебры логики

13 слайд 5. Х or неХ=1, Х · неХ=0 6. не(неХ) = Х – закон двойного отрицания 7. Х or Y
Описание слайда:

5. Х or неХ=1, Х · неХ=0 6. не(неХ) = Х – закон двойного отрицания 7. Х or Y = Y or X, X · Y = Y · X коммутативный закон 8. X or X · Y=X, X ·(X or Y)=X - закон поглощения Теоремы алгебры логики

14 слайд Для самостоятельного изучения: Закон де Моргана не (А или В) = (не А) и (не В
Описание слайда:

Для самостоятельного изучения: Закон де Моргана не (А или В) = (не А) и (не В)       не (А и В) = (не А) или (не В) Ассоциативный закон Сочетательный (ассоциативный) закон:         (А или В) или С = А или (В или С)         (А и В) и С = А и (В и С) Дистрибутивный закон        Распределительный (дистрибутивный) закон:         (А и В) или С = (А или С) и (В или С)         (А или В) и С = (А и С) или (А и В) Теоремы алгебры логики

15 слайд Большинство логических задач решается по следующему алгоритму: изучение усло
Описание слайда:

Большинство логических задач решается по следующему алгоритму: изучение условия задачи обозначение используемых высказываний буквами составление логических выражений, удовлетворяющих всем требованиям задачи объединение их в одно выражение Вычисление всех значений этого логического выражения проверка полученного решения по условию задачи Алгоритмы решения логических задач:

  • Если Вы считаете, что материал нарушает авторские права либо по каким-то другим причинам должен быть удален с сайта, Вы можете оставить жалобу на материал.
    Пожаловаться на материал
Скачать материал
Найдите материал к любому уроку,
указав свой предмет (категорию), класс, учебник и тему:
также Вы можете выбрать тип материала:
Общая информация
Скачать материал

Вам будут интересны эти курсы:

Курс повышения квалификации «Табличный процессор MS Excel в профессиональной деятельности учителя математики»
Курс повышения квалификации «Методика преподавания информатики в начальных классах»
Курс профессиональной переподготовки «Информатика: теория и методика преподавания в образовательной организации»
Курс повышения квалификации «Сетевые и дистанционные (электронные) формы обучения в условиях реализации ФГОС по ТОП-50»
Курс профессиональной переподготовки «Информационные технологии в профессиональной деятельности: теория и методика преподавания в образовательной организации»
Курс повышения квалификации «Использование компьютерных технологий в процессе обучения в условиях реализации ФГОС»
Курс повышения квалификации «Специфика преподавания информатики в начальных классах с учетом ФГОС НОО»
Курс повышения квалификации «Введение в программирование на языке С (СИ)»
Курс профессиональной переподготовки «Теория и методика обучения информатике в начальной школе»
Курс повышения квалификации «Современные тенденции цифровизации образования»
Курс повышения квалификации «Применение интерактивных образовательных платформ на примере платформы Moodle»

Оставьте свой комментарий

Авторизуйтесь, чтобы задавать вопросы.