🗊 Алгебра логики

Категория: Информатика
Нажмите для полного просмотра!
  
   Алгебра логики  , слайд №1  
   Алгебра логики  , слайд №2  
   Алгебра логики  , слайд №3  
   Алгебра логики  , слайд №4  
   Алгебра логики  , слайд №5  
   Алгебра логики  , слайд №6  
   Алгебра логики  , слайд №7  
   Алгебра логики  , слайд №8  
   Алгебра логики  , слайд №9  
   Алгебра логики  , слайд №10  
   Алгебра логики  , слайд №11  
   Алгебра логики  , слайд №12  
   Алгебра логики  , слайд №13  
   Алгебра логики  , слайд №14  
   Алгебра логики  , слайд №15  
   Алгебра логики  , слайд №16  
   Алгебра логики  , слайд №17  
   Алгебра логики  , слайд №18  
   Алгебра логики  , слайд №19  
   Алгебра логики  , слайд №20  
   Алгебра логики  , слайд №21

Вы можете ознакомиться и скачать Алгебра логики . Презентация содержит 21 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации


Слайд 1






Алгебра логики
Описание слайда:
Алгебра логики

Слайд 2





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

Слайд 3





Алгебра логики
Алгебра логики — это математический аппарат, с помощью которого записывают, вычисляют, упрощают и преобразовывают логические высказывания.
Описание слайда:
Алгебра логики Алгебра логики — это математический аппарат, с помощью которого записывают, вычисляют, упрощают и преобразовывают логические высказывания.

Слайд 4





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

Слайд 5





Таблица истинности
Таблица истинности логической формулы выражает соответствие между всевозможными наборами значений переменных и значениями формулы.
Описание слайда:
Таблица истинности Таблица истинности логической формулы выражает соответствие между всевозможными наборами значений переменных и значениями формулы.

Слайд 6





Таблица истинности
Для формулы, которая содержит две переменные, таких наборов значений переменных всего четыре: (0,0), (0,1), (1,0), (1,1).
Если формула содержит три переменные, то возможных наборов значений переменных восемь:
(0,0,0), (0,0,1), (0,1,0), (0,1,1),
(1,0,0), (1,0,1), (1,1,0), (1,1,1).
Количество наборов для формулы с четырьмя переменными равно шестнадцати и т.д.
Описание слайда:
Таблица истинности Для формулы, которая содержит две переменные, таких наборов значений переменных всего четыре: (0,0), (0,1), (1,0), (1,1). Если формула содержит три переменные, то возможных наборов значений переменных восемь: (0,0,0), (0,0,1), (0,1,0), (0,1,1), (1,0,0), (1,0,1), (1,1,0), (1,1,1). Количество наборов для формулы с четырьмя переменными равно шестнадцати и т.д.

Слайд 7





Основные логические операции
КОНЪЮНКЦИЯ
Соответствует союзу И;
Обозначение &;
В языках программирования and;
Название: Логическое умножение.
Описание слайда:
Основные логические операции КОНЪЮНКЦИЯ Соответствует союзу И; Обозначение &; В языках программирования and; Название: Логическое умножение.

Слайд 8





Таблица истинности для И
Описание слайда:
Таблица истинности для И

Слайд 9


  
   Алгебра логики  , слайд №9
Описание слайда:

Слайд 10


  
   Алгебра логики  , слайд №10
Описание слайда:

Слайд 11


  
   Алгебра логики  , слайд №11
Описание слайда:

Слайд 12


  
   Алгебра логики  , слайд №12
Описание слайда:

Слайд 13





Таблица истинности для 
эквивалентности
Описание слайда:
Таблица истинности для эквивалентности

Слайд 14





Порядок выполнения логических операций 
Порядок выполнения логических операций задается круглыми скобками. 
Но для уменьшения числа скобок договорились считать, что сначала выполняется операция отрицания (“не”), затем конъюнкция (“и”), после конъюнкции — дизъюнкция (“или”) и в последнюю очередь — импликация .
Описание слайда:
Порядок выполнения логических операций Порядок выполнения логических операций задается круглыми скобками. Но для уменьшения числа скобок договорились считать, что сначала выполняется операция отрицания (“не”), затем конъюнкция (“и”), после конъюнкции — дизъюнкция (“или”) и в последнюю очередь — импликация .

Слайд 15





Логическая формула 
Определение логической формулы: 
Всякая логическая переменная и символы “истина” (“1”) и “ложь” (“0”) — формулы. 
Если А и В — формулы, то     , (А • В),   
(А v В), (А  B), (А  В) — формулы.
Описание слайда:
Логическая формула Определение логической формулы: Всякая логическая переменная и символы “истина” (“1”) и “ложь” (“0”) — формулы. Если А и В — формулы, то , (А • В), (А v В), (А  B), (А  В) — формулы.

Слайд 16





Тавтология 
Некоторые формулы принимают значение “истина” при любых значениях истинности входящих в них переменных. Например, формула А v
Такие формулы называются тождественно истинными формулами или тавтологиями. 
Высказывания, которые формализуются тавтологиями, называются логически истинными высказываниями.
Описание слайда:
Тавтология Некоторые формулы принимают значение “истина” при любых значениях истинности входящих в них переменных. Например, формула А v Такие формулы называются тождественно истинными формулами или тавтологиями. Высказывания, которые формализуются тавтологиями, называются логически истинными высказываниями.

Слайд 17





Тождественная истина 

При всех наборах значений переменных x и y формула принимает значение 1, то есть является тождественно истинной.
Описание слайда:
Тождественная истина При всех наборах значений переменных x и y формула принимает значение 1, то есть является тождественно истинной.

Слайд 18





Тождественная ложь 

В качестве другого примера рассмотрим формулу А •     , которой соответствует, например, высказывание “Катя самая высокая девочка в классе, и в классе есть девочки выше Кати”. Очевидно, что эта формула ложна, так как либо А, либо       обязательно ложно. 
Такие формулы называются тождественно ложными формулами или противоречиями. 
Высказывания, которые формализуются противоречиями, называются логически ложными высказываниями.
Описание слайда:
Тождественная ложь В качестве другого примера рассмотрим формулу А • , которой соответствует, например, высказывание “Катя самая высокая девочка в классе, и в классе есть девочки выше Кати”. Очевидно, что эта формула ложна, так как либо А, либо обязательно ложно. Такие формулы называются тождественно ложными формулами или противоречиями. Высказывания, которые формализуются противоречиями, называются логически ложными высказываниями.

Слайд 19





Тождественная ложь 

При всех наборах значений переменных x и y формула принимает значение 0, то есть является тождественно ложной.
Описание слайда:
Тождественная ложь При всех наборах значений переменных x и y формула принимает значение 0, то есть является тождественно ложной.

Слайд 20





Выполнимая формула
Формула в некоторых случаях принимает значение 1, а в некоторых — 0, то есть является выполнимой.
Описание слайда:
Выполнимая формула Формула в некоторых случаях принимает значение 1, а в некоторых — 0, то есть является выполнимой.

Слайд 21





Основные законы алгебры логики 
Позволяют производить тождественные преобразования логических выражений:
Описание слайда:
Основные законы алгебры логики Позволяют производить тождественные преобразования логических выражений:



Похожие презентации
Mypresentation.ru
Загрузить презентацию