🗊Презентация Теория алгоритмов. (Лекция 3)

Нажмите для полного просмотра!
Теория алгоритмов. (Лекция 3), слайд №1Теория алгоритмов. (Лекция 3), слайд №2Теория алгоритмов. (Лекция 3), слайд №3Теория алгоритмов. (Лекция 3), слайд №4Теория алгоритмов. (Лекция 3), слайд №5Теория алгоритмов. (Лекция 3), слайд №6Теория алгоритмов. (Лекция 3), слайд №7Теория алгоритмов. (Лекция 3), слайд №8Теория алгоритмов. (Лекция 3), слайд №9Теория алгоритмов. (Лекция 3), слайд №10Теория алгоритмов. (Лекция 3), слайд №11Теория алгоритмов. (Лекция 3), слайд №12Теория алгоритмов. (Лекция 3), слайд №13Теория алгоритмов. (Лекция 3), слайд №14Теория алгоритмов. (Лекция 3), слайд №15Теория алгоритмов. (Лекция 3), слайд №16Теория алгоритмов. (Лекция 3), слайд №17Теория алгоритмов. (Лекция 3), слайд №18Теория алгоритмов. (Лекция 3), слайд №19Теория алгоритмов. (Лекция 3), слайд №20Теория алгоритмов. (Лекция 3), слайд №21Теория алгоритмов. (Лекция 3), слайд №22Теория алгоритмов. (Лекция 3), слайд №23Теория алгоритмов. (Лекция 3), слайд №24Теория алгоритмов. (Лекция 3), слайд №25Теория алгоритмов. (Лекция 3), слайд №26Теория алгоритмов. (Лекция 3), слайд №27Теория алгоритмов. (Лекция 3), слайд №28Теория алгоритмов. (Лекция 3), слайд №29Теория алгоритмов. (Лекция 3), слайд №30Теория алгоритмов. (Лекция 3), слайд №31Теория алгоритмов. (Лекция 3), слайд №32Теория алгоритмов. (Лекция 3), слайд №33Теория алгоритмов. (Лекция 3), слайд №34Теория алгоритмов. (Лекция 3), слайд №35Теория алгоритмов. (Лекция 3), слайд №36Теория алгоритмов. (Лекция 3), слайд №37Теория алгоритмов. (Лекция 3), слайд №38Теория алгоритмов. (Лекция 3), слайд №39Теория алгоритмов. (Лекция 3), слайд №40Теория алгоритмов. (Лекция 3), слайд №41Теория алгоритмов. (Лекция 3), слайд №42Теория алгоритмов. (Лекция 3), слайд №43Теория алгоритмов. (Лекция 3), слайд №44Теория алгоритмов. (Лекция 3), слайд №45Теория алгоритмов. (Лекция 3), слайд №46Теория алгоритмов. (Лекция 3), слайд №47Теория алгоритмов. (Лекция 3), слайд №48Теория алгоритмов. (Лекция 3), слайд №49Теория алгоритмов. (Лекция 3), слайд №50Теория алгоритмов. (Лекция 3), слайд №51Теория алгоритмов. (Лекция 3), слайд №52Теория алгоритмов. (Лекция 3), слайд №53Теория алгоритмов. (Лекция 3), слайд №54Теория алгоритмов. (Лекция 3), слайд №55

Содержание

Вы можете ознакомиться и скачать презентацию на тему Теория алгоритмов. (Лекция 3). Доклад-сообщение содержит 55 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

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


Слайд 1


Теория алгоритмов. (Лекция 3), слайд №1
Описание слайда:

Слайд 2


Теория алгоритмов. (Лекция 3), слайд №2
Описание слайда:

Слайд 3





СВОЙСТВА АЛГОРИТМОВ
Описание слайда:
СВОЙСТВА АЛГОРИТМОВ

Слайд 4


Теория алгоритмов. (Лекция 3), слайд №4
Описание слайда:

Слайд 5


Теория алгоритмов. (Лекция 3), слайд №5
Описание слайда:

Слайд 6


Теория алгоритмов. (Лекция 3), слайд №6
Описание слайда:

Слайд 7


Теория алгоритмов. (Лекция 3), слайд №7
Описание слайда:

Слайд 8


Теория алгоритмов. (Лекция 3), слайд №8
Описание слайда:

Слайд 9





Логика – наука о формах и способах мышления
Логика – наука о формах и способах мышления
Описание слайда:
Логика – наука о формах и способах мышления Логика – наука о формах и способах мышления

Слайд 10


Теория алгоритмов. (Лекция 3), слайд №10
Описание слайда:

Слайд 11


Теория алгоритмов. (Лекция 3), слайд №11
Описание слайда:

Слайд 12


Теория алгоритмов. (Лекция 3), слайд №12
Описание слайда:

Слайд 13


Теория алгоритмов. (Лекция 3), слайд №13
Описание слайда:

Слайд 14


Теория алгоритмов. (Лекция 3), слайд №14
Описание слайда:

Слайд 15


Теория алгоритмов. (Лекция 3), слайд №15
Описание слайда:

Слайд 16


Теория алгоритмов. (Лекция 3), слайд №16
Описание слайда:

Слайд 17





Логическое умножение (конъюнкция) -
объединение двух или более высказываний в одно при помощи операции «И».
Описание слайда:
Логическое умножение (конъюнкция) - объединение двух или более высказываний в одно при помощи операции «И».

Слайд 18





Логическое умножение (конъюнкция)
Пример 1.
Описание слайда:
Логическое умножение (конъюнкция) Пример 1.

Слайд 19





Логическое сложение (дизъюнкция)-
объединение двух или более высказываний в одно при помощи союза «ИЛИ»
Описание слайда:
Логическое сложение (дизъюнкция)- объединение двух или более высказываний в одно при помощи союза «ИЛИ»

Слайд 20





Логическое сложение (дизъюнкция)
Пример 2.
Описание слайда:
Логическое сложение (дизъюнкция) Пример 2.

Слайд 21





Логическое отрицание (инверсия) – 
присоединение частицы «не» к высказыванию
Описание слайда:
Логическое отрицание (инверсия) – присоединение частицы «не» к высказыванию

Слайд 22





Логическое отрицание  (инверсия)
Пример 3.
Описание слайда:
Логическое отрицание (инверсия) Пример 3.

Слайд 23





Импликация двух высказываний A и B - такое высказывание, которое ложно тогда и только тогда, когда A - истинно, а B - ложно.
Описание слайда:
Импликация двух высказываний A и B - такое высказывание, которое ложно тогда и только тогда, когда A - истинно, а B - ложно.

Слайд 24





Эквиваленция  двух высказываний A и B - такое высказывание, которое истинно тогда и только тогда, когда оба высказывания либо истинны, либо ложны.
Описание слайда:
Эквиваленция двух высказываний A и B - такое высказывание, которое истинно тогда и только тогда, когда оба высказывания либо истинны, либо ложны.

Слайд 25


Теория алгоритмов. (Лекция 3), слайд №25
Описание слайда:

Слайд 26


Теория алгоритмов. (Лекция 3), слайд №26
Описание слайда:

Слайд 27


Теория алгоритмов. (Лекция 3), слайд №27
Описание слайда:

Слайд 28








(AVB) <=> (C&D)  
(A&B) -> (CVD)  
(AVB) -> (C&D) 
(A&B) <=> (CVD) 
(Ā -> B)&(CVD)
(C <=> Ā)&B&D
(A&B)VC <=> (A&C)V(A&B)
(AVB)VC -> (A&C&D)&(BVD)
Описание слайда:
(AVB) <=> (C&D) (A&B) -> (CVD) (AVB) -> (C&D) (A&B) <=> (CVD) (Ā -> B)&(CVD) (C <=> Ā)&B&D (A&B)VC <=> (A&C)V(A&B) (AVB)VC -> (A&C&D)&(BVD)

Слайд 29





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

Слайд 30





ЛОГИЧЕСКИЕ ФУНКЦИИ
Любое составное высказывание можно рассматривать как логическую функцию 
    F(X1, X2, …, XN), аргументами которой являются логические переменные 
    X1, X2, …, XN  - простые высказывания.

Функция и аргументы могут принимать только два различных значения: «истина» (1) и «ложь» (0).
Описание слайда:
ЛОГИЧЕСКИЕ ФУНКЦИИ Любое составное высказывание можно рассматривать как логическую функцию F(X1, X2, …, XN), аргументами которой являются логические переменные X1, X2, …, XN - простые высказывания. Функция и аргументы могут принимать только два различных значения: «истина» (1) и «ложь» (0).

Слайд 31


Теория алгоритмов. (Лекция 3), слайд №31
Описание слайда:

Слайд 32


Теория алгоритмов. (Лекция 3), слайд №32
Описание слайда:

Слайд 33


Теория алгоритмов. (Лекция 3), слайд №33
Описание слайда:

Слайд 34





Пример 6. 
Правило де Моргана: (x & у) = x V y
Описание слайда:
Пример 6. Правило де Моргана: (x & у) = x V y

Слайд 35





Пусть истинна правая часть, т. е. x = 1, тогда в левой части дизъюнкция x v (x & у) истинна. 
Пусть истинна правая часть, т. е. x = 1, тогда в левой части дизъюнкция x v (x & у) истинна. 
Пусть истинна левая часть. 
Тогда по определению дизъюнкции истинна или формула x, или формула (x & у), или обе эти формулы одновременно. 
Если x ложна, тогда (x & у) ложна, следовательно, x может быть только истинной.
Описание слайда:
Пусть истинна правая часть, т. е. x = 1, тогда в левой части дизъюнкция x v (x & у) истинна. Пусть истинна правая часть, т. е. x = 1, тогда в левой части дизъюнкция x v (x & у) истинна. Пусть истинна левая часть. Тогда по определению дизъюнкции истинна или формула x, или формула (x & у), или обе эти формулы одновременно. Если x ложна, тогда (x & у) ложна, следовательно, x может быть только истинной.

Слайд 36





x V (x & у ) = (x & 1 ) V (x & у ) = x & (1 V y) = x
x V (x & у ) = (x & 1 ) V (x & у ) = x & (1 V y) = x
Описание слайда:
x V (x & у ) = (x & 1 ) V (x & у ) = x & (1 V y) = x x V (x & у ) = (x & 1 ) V (x & у ) = x & (1 V y) = x

Слайд 37





Формула А называется 
Формула А называется 
тавтологией (или тождественно истинной),
если она истинна при любых значениях 
своих переменных.

Пример 9.
х V х  =1  
(операция переменной с её инверсией)
Описание слайда:
Формула А называется Формула А называется тавтологией (или тождественно истинной), если она истинна при любых значениях своих переменных. Пример 9. х V х =1 (операция переменной с её инверсией)

Слайд 38





Формула А называется тождественно ложной, 
Формула А называется тождественно ложной, 
если она равна 0 при любых значениях своих переменных.

Пример 10. 
х & х =0
Описание слайда:
Формула А называется тождественно ложной, Формула А называется тождественно ложной, если она равна 0 при любых значениях своих переменных. Пример 10. х & х =0

Слайд 39





Пример 11.
Определить  x, если:
(x V a) V  (x V a) = b
Описание слайда:
Пример 11. Определить x, если: (x V a) V (x V a) = b

Слайд 40





Пример 12.

Какие формулы являются тавтологиями?
(a & a)
a  (b  a)
(a & b)  a
Описание слайда:
Пример 12. Какие формулы являются тавтологиями? (a & a) a  (b  a) (a & b)  a

Слайд 41





1)   (a & a)
Описание слайда:
1) (a & a)

Слайд 42





2)  a  (b  a)
Описание слайда:
2) a  (b  a)

Слайд 43





  3)  (a & b)  a
Описание слайда:
3) (a & b)  a

Слайд 44





Пример 13.
Является ли формула тождественно ложной?
a & (a  b) & (a  b)
Описание слайда:
Пример 13. Является ли формула тождественно ложной? a & (a  b) & (a  b)

Слайд 45


Теория алгоритмов. (Лекция 3), слайд №45
Описание слайда:

Слайд 46


Теория алгоритмов. (Лекция 3), слайд №46
Описание слайда:

Слайд 47





F1 = {если одно слагаемое делится на 3 и сумма делится на 3, то и другое слагаемое делится на 3};
F1 = {если одно слагаемое делится на 3 и сумма делится на 3, то и другое слагаемое делится на 3};
F2 = {если одно слагаемое делится на 3, а другое не делится на 3, то сумма не делится на 3}.
Формализуйте эти высказывания, постройте таблицы истинности для каждой из полученных формул и убедитесь, что результирующие столбцы совпадают.
Описание слайда:
F1 = {если одно слагаемое делится на 3 и сумма делится на 3, то и другое слагаемое делится на 3}; F1 = {если одно слагаемое делится на 3 и сумма делится на 3, то и другое слагаемое делится на 3}; F2 = {если одно слагаемое делится на 3, а другое не делится на 3, то сумма не делится на 3}. Формализуйте эти высказывания, постройте таблицы истинности для каждой из полученных формул и убедитесь, что результирующие столбцы совпадают.

Слайд 48


Теория алгоритмов. (Лекция 3), слайд №48
Описание слайда:

Слайд 49





Решение логических задач
Выделить из условия задачи элементарные высказывания и обозначить их буквами.
Записать условие задачи с помощью логических операций.
Составить единое логическое выражение для всех требований задачи.
Используя законы алгебры логики, упростить выражение и вычислить его значения либо построить для него таблицу истинности.
Выбрать решение — набор значений простых высказываний, при котором построенное логическое выражение является истинным.
Проверить, удовлетворяет ли полученное решение условию задачи.
Описание слайда:
Решение логических задач Выделить из условия задачи элементарные высказывания и обозначить их буквами. Записать условие задачи с помощью логических операций. Составить единое логическое выражение для всех требований задачи. Используя законы алгебры логики, упростить выражение и вычислить его значения либо построить для него таблицу истинности. Выбрать решение — набор значений простых высказываний, при котором построенное логическое выражение является истинным. Проверить, удовлетворяет ли полученное решение условию задачи.

Слайд 50





На вопрос «Кто из трех студентов изучал логику?», был получен ответ:
На вопрос «Кто из трех студентов изучал логику?», был получен ответ:
«Если изучал первый, то изучал и второй, но неверно, что если изучал третий, то изучал и второй».  Кто из учащихся изучал логику?
Описание слайда:
На вопрос «Кто из трех студентов изучал логику?», был получен ответ: На вопрос «Кто из трех студентов изучал логику?», был получен ответ: «Если изучал первый, то изучал и второй, но неверно, что если изучал третий, то изучал и второй». Кто из учащихся изучал логику?

Слайд 51


Теория алгоритмов. (Лекция 3), слайд №51
Описание слайда:

Слайд 52


Теория алгоритмов. (Лекция 3), слайд №52
Описание слайда:

Слайд 53





А = {А получит максимальную прибыль},
А = {А получит максимальную прибыль},
В = {В получит максимальную прибыль},
С = {С получит максимальную прибыль}.

F1 = А  В & С;
F2 = А & С v А & С;
F3 = С  В.
Описание слайда:
А = {А получит максимальную прибыль}, А = {А получит максимальную прибыль}, В = {В получит максимальную прибыль}, С = {С получит максимальную прибыль}. F1 = А  В & С; F2 = А & С v А & С; F3 = С  В.

Слайд 54





Таблица истинности для F1 , F2 , F3
Описание слайда:
Таблица истинности для F1 , F2 , F3

Слайд 55


Теория алгоритмов. (Лекция 3), слайд №55
Описание слайда:



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