Главная / Информатика / Презентация по информатике на тему "Логика. Таблицы истинности."

Презентация по информатике на тему "Логика. Таблицы истинности."

Основы логики Таблицы истинности Кондратьева Ирина Анатольевна Гимназия №524
Что такое высказывание? Какое предложение является высказыванием? Форма мышле...
На какие виды делятся высказывания по своей структуре? Простые и сложные Кон...
Как обозначаются простые высказывания в алгебре логики? Логическими переменны...
Как обозначается истинность таких высказываний? 1 и 0 Кондратьева Ирина Анато...
Сложное (составное) высказывание Кондратьева Ирина Анатольевна Гимназия №524
Что связывает переменные в формулах алгебры высказываний? Логические операции...
Перечислите логические операции Инверсия (отрицание) Конъюнкция (умножение) Д...
Даны простые высказывания А = "Вчера было пасмурно" В = "Сегодня ярко светит...
Переведите на язык алгебры логики сложное высказывание А = Идёт налево 	 С = ...
Переведите сложное высказывание на естественный язык (АВ)С	 А= «это утро яс...
Таблицы истинности Таблицу, показывающую, какие значения принимает составное ...
Алгоритм построения таблицы истинности: Подсчитать количество переменных n в ...
Алгоритм заполнения набора входных переменных: а) разделить колонку значений ...
Пример 1. Определим истинность составного высказывания: "Если я куплю яблоки ...
Переведем высказывание на язык алгебры логики: A ="купить яблоки" B ="купить ...
Построим таблицу истинности по алгоритму Сколько переменных? 	3 Сколько будет...
Таблица истинности А В С АВ АВС 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 ...
Таблица истинности А В С АВ АВС 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 1 1 1 ...
Пример 2. Определим истинность составного высказывания: В классе оказалось ра...
Переведем высказывание на язык алгебры логики: К = " это сделал Коля " С = " ...
Построим таблицу истинности по алгоритму Сколько переменных? 	2 Сколько будет...
Таблица истинности Кондратьева Ирина Анатольевна Гимназия №524 К С С КC ( К...
Составить таблицы истинности для формул: а) (А  В)  (В  С) б) А  В  С ...
Дополнительно: г) (А  В)  С  В  С д) А  (В  С  А)  В е) ((А  В)  ...
Домашнее задание 	Составить таблицы истинности для формул: а) (А  В)  (В ...
1 из 26

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

№ слайда 1 Основы логики Таблицы истинности Кондратьева Ирина Анатольевна Гимназия №524
Описание слайда:

Основы логики Таблицы истинности Кондратьева Ирина Анатольевна Гимназия №524

№ слайда 2 Что такое высказывание? Какое предложение является высказыванием? Форма мышления
Описание слайда:

Что такое высказывание? Какое предложение является высказыванием? Форма мышления, в которой что-либо утверждается или отрицается. Высказывание - повествовательное предложение Кондратьева Ирина Анатольевна Гимназия №524

№ слайда 3 На какие виды делятся высказывания по своей структуре? Простые и сложные Кондра
Описание слайда:

На какие виды делятся высказывания по своей структуре? Простые и сложные Кондратьева Ирина Анатольевна Гимназия №524

№ слайда 4 Как обозначаются простые высказывания в алгебре логики? Логическими переменными,
Описание слайда:

Как обозначаются простые высказывания в алгебре логики? Логическими переменными, которые обозначаются латинскими буквами Кондратьева Ирина Анатольевна Гимназия №524

№ слайда 5 Как обозначается истинность таких высказываний? 1 и 0 Кондратьева Ирина Анатолье
Описание слайда:

Как обозначается истинность таких высказываний? 1 и 0 Кондратьева Ирина Анатольевна Гимназия №524

№ слайда 6 Сложное (составное) высказывание Кондратьева Ирина Анатольевна Гимназия №524
Описание слайда:

Сложное (составное) высказывание Кондратьева Ирина Анатольевна Гимназия №524

№ слайда 7 Что связывает переменные в формулах алгебры высказываний? Логические операции Ко
Описание слайда:

Что связывает переменные в формулах алгебры высказываний? Логические операции Кондратьева Ирина Анатольевна Гимназия №524

№ слайда 8 Перечислите логические операции Инверсия (отрицание) Конъюнкция (умножение) Дизъ
Описание слайда:

Перечислите логические операции Инверсия (отрицание) Конъюнкция (умножение) Дизъюнкция (сложение) Импликация (следование) Эквиваленция (равносильность) Кондратьева Ирина Анатольевна Гимназия №524

№ слайда 9 Даны простые высказывания А = "Вчера было пасмурно" В = "Сегодня ярко светит со
Описание слайда:

Даны простые высказывания А = "Вчера было пасмурно" В = "Сегодня ярко светит солнце" Постройте составное высказывание " Если вчера было пасмурно, то сегодня ярко светит солнце" А → B Кондратьева Ирина Анатольевна Гимназия №524

№ слайда 10 Переведите на язык алгебры логики сложное высказывание А = Идёт налево 	 С = Пес
Описание слайда:

Переведите на язык алгебры логики сложное высказывание А = Идёт налево С = Песнь заводит В = Идёт направо D = Сказку говорит (A C)V(B  D) … Идёт налево - песнь заводит, направо - сказку говорит… Кондратьева Ирина Анатольевна Гимназия №524

№ слайда 11 Переведите сложное высказывание на естественный язык (АВ)С	 А= «это утро ясное
Описание слайда:

Переведите сложное высказывание на естественный язык (АВ)С А= «это утро ясное» В= «это утро теплое» С=«зонтик не нужен» Если это утро ясное или теплое, то зонтик не нужен. Кондратьева Ирина Анатольевна Гимназия №524

№ слайда 12 Таблицы истинности Таблицу, показывающую, какие значения принимает составное выс
Описание слайда:

Таблицы истинности Таблицу, показывающую, какие значения принимает составное высказывание при всех сочетаниях (наборах) значений входящих в него простых высказываний, называют таблицей истинности составного высказывания. Кондратьева Ирина Анатольевна Гимназия №524

№ слайда 13 Алгоритм построения таблицы истинности: Подсчитать количество переменных n в лог
Описание слайда:

Алгоритм построения таблицы истинности: Подсчитать количество переменных n в логическом выражении. Определить число строк в таблице: m = 2n+ строка заголовка. Подсчитать количество и установить последовательность выполнения логических операций в формуле с учетом скобок и приоритетов. Определить количество столбцов в таблице = количество переменных + количество операций. Заполнить столбцы входных переменных наборами значений. Провести заполнение таблицы истинности по столбцам, выполняя логические операции в установленной последовательности.

№ слайда 14 Алгоритм заполнения набора входных переменных: а) разделить колонку значений пер
Описание слайда:

Алгоритм заполнения набора входных переменных: а) разделить колонку значений первой переменной пополам и заполнить верхнюю часть колонки нулями (ложь), а нижнюю единицами (истина); б) разделить колонку значений второй переменной на четыре части и заполнить каждую четверть чередующимися группами нулей и единиц, начиная с группы нулей; в) продолжать деление колонок значений последующих переменных на 8, 16 и т.д. частей и заполнение их группами нулей или единиц до тех пор, пока группы нулей и единиц не будут состоять из одного символа. Кондратьева Ирина Анатольевна Гимназия №524

№ слайда 15 Пример 1. Определим истинность составного высказывания: "Если я куплю яблоки или
Описание слайда:

Пример 1. Определим истинность составного высказывания: "Если я куплю яблоки или абрикосы, то приготовлю фруктовый пирог". Кондратьева Ирина Анатольевна Гимназия №524

№ слайда 16 Переведем высказывание на язык алгебры логики: A ="купить яблоки" B ="купить абр
Описание слайда:

Переведем высказывание на язык алгебры логики: A ="купить яблоки" B ="купить абрикосы" C ="испечь пирог" (A v B) → C Кондратьева Ирина Анатольевна Гимназия №524

№ слайда 17 Построим таблицу истинности по алгоритму Сколько переменных? 	3 Сколько будет ст
Описание слайда:

Построим таблицу истинности по алгоритму Сколько переменных? 3 Сколько будет строк? 23=8 + строка на заголовок Сколько операций в формуле? 2 Подсчитаем количество столбцов в таблице: количество переменных + количество операций 3+2=5 Кондратьева Ирина Анатольевна Гимназия №524

№ слайда 18 Таблица истинности А В С АВ АВС 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0
Описание слайда:

Таблица истинности А В С АВ АВС 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1

№ слайда 19 Таблица истинности А В С АВ АВС 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 1 1 1 0 0
Описание слайда:

Таблица истинности А В С АВ АВС 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 1 1 1 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1

№ слайда 20 Пример 2. Определим истинность составного высказывания: В классе оказалось разби
Описание слайда:

Пример 2. Определим истинность составного высказывания: В классе оказалось разбито стекло. Учитель объясняет директору: «Это сделал Коля или Саша. Но Саша этого не делал, т.к. в это время сдавал мне зачет. Следовательно, это сделал Коля».

№ слайда 21 Переведем высказывание на язык алгебры логики: К = " это сделал Коля " С = " это
Описание слайда:

Переведем высказывание на язык алгебры логики: К = " это сделал Коля " С = " это сделал Саша " ( К  C )   С  К

№ слайда 22 Построим таблицу истинности по алгоритму Сколько переменных? 	2 Сколько будет ст
Описание слайда:

Построим таблицу истинности по алгоритму Сколько переменных? 2 Сколько будет строк? 22=4 + строка на заголовок Сколько операций в формуле? 4 Подсчитаем количество столбцов в таблице: количество переменных + количество операций 2+4=6 Кондратьева Ирина Анатольевна Гимназия №524

№ слайда 23 Таблица истинности Кондратьева Ирина Анатольевна Гимназия №524 К С С КC ( КC)
Описание слайда:

Таблица истинности Кондратьева Ирина Анатольевна Гимназия №524 К С С КC ( КC)С ( КC) &СК 0 0 1 0 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1

№ слайда 24 Составить таблицы истинности для формул: а) (А  В)  (В  С) б) А  В  С  (
Описание слайда:

Составить таблицы истинности для формул: а) (А  В)  (В  С) б) А  В  С  (А  С) в) (А  В)  (А  С)  (В  С) Кондратьева Ирина Анатольевна Гимназия №524

№ слайда 25 Дополнительно: г) (А  В)  С  В  С д) А  (В  С  А)  В е) ((А  В)  (А
Описание слайда:

Дополнительно: г) (А  В)  С  В  С д) А  (В  С  А)  В е) ((А  В)  (А  С))  В ж) ((А  В)  В)  (А  В) Кондратьева Ирина Анатольевна Гимназия №524

№ слайда 26 Домашнее задание 	Составить таблицы истинности для формул: а) (А  В)  (В  С)
Описание слайда:

Домашнее задание Составить таблицы истинности для формул: а) (А  В)  (В  С)  А б) А  В  (А  В  С) в) (А  В  А)  С  В Кондратьева Ирина Анатольевна Гимназия №524

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

Презентация по информатике для 9 класса по теме "Логика. Таблицы истинности". 

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

Даётся алгоритм построения таблицы истинности для составных высказываний.

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

В качестве заданий для самостоятельной работы в классе или домашнего задания приведены 10 примеров.

 

Автор Кондратьева Ирина Анатольевна
Дата добавления 09.01.2015
Раздел Информатика
Подраздел
Просмотров 477
Номер материала 47196
Скачать свидетельство о публикации

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

Введите символы, которые изображены на картинке:

Получить новый код
* Обязательные для заполнения.


Комментарии:

↓ Показать еще коментарии ↓