🗊Презентация Системы счисления и логика предикатов

Категория: Образование
Нажмите для полного просмотра!
Системы счисления и логика предикатов, слайд №1Системы счисления и логика предикатов, слайд №2Системы счисления и логика предикатов, слайд №3Системы счисления и логика предикатов, слайд №4Системы счисления и логика предикатов, слайд №5Системы счисления и логика предикатов, слайд №6Системы счисления и логика предикатов, слайд №7Системы счисления и логика предикатов, слайд №8Системы счисления и логика предикатов, слайд №9Системы счисления и логика предикатов, слайд №10Системы счисления и логика предикатов, слайд №11Системы счисления и логика предикатов, слайд №12Системы счисления и логика предикатов, слайд №13Системы счисления и логика предикатов, слайд №14Системы счисления и логика предикатов, слайд №15Системы счисления и логика предикатов, слайд №16Системы счисления и логика предикатов, слайд №17
Скачать
Вы можете ознакомиться и скачать презентацию на тему Системы счисления и логика предикатов. Доклад-сообщение содержит 17 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

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

Слайд 1


Лекция № 9 Математическая логика Системы счисления и логика предикатов
Описание слайда:
Лекция № 9 Математическая логика Системы счисления и логика предикатов

Слайд 2


1. ОПРЕДЕЛЕНИЕ ФОРМУЛЫ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ Математическая логика стремится к возможно большей точности. Эта цель достигается с помощью точного языка, построенного из устойчивых, наглядно воспринимаемых знаков. В исчислении высказываний используются символы трех видов: 1. Пропозициональные переменные. Их будем обозначать малыми буквами латинского алфавита с индексами или без них: x, у, х,..., p, q, .. . Различные буквы обозначают разные суждения, внутренняя структура суждений нас не интересует. Суждения, обозначенные пропозициональными переменными, называются высказываниями.
Описание слайда:
1. ОПРЕДЕЛЕНИЕ ФОРМУЛЫ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ Математическая логика стремится к возможно большей точности. Эта цель достигается с помощью точного языка, построенного из устойчивых, наглядно воспринимаемых знаков. В исчислении высказываний используются символы трех видов: 1. Пропозициональные переменные. Их будем обозначать малыми буквами латинского алфавита с индексами или без них: x, у, х,..., p, q, .. . Различные буквы обозначают разные суждения, внутренняя структура суждений нас не интересует. Суждения, обозначенные пропозициональными переменными, называются высказываниями.

Слайд 3


1. ОПРЕДЕЛЕНИЕ ФОРМУЛЫ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ Будем полагать, что высказывания удовлетворяют закону исключенного третьего и закону непротиворечия, т.е. каждое высказывание либо истинно, либо ложно. Так что каждая переменная у нас будет принимать два значения: значения «истина» будем обозначать «1», а значение «ложь» – «0». 2. Константы или логические связи – «―», «», «», «», «». 3. Скобки: «(» - левая скобка и «)» - правая скобка.
Описание слайда:
1. ОПРЕДЕЛЕНИЕ ФОРМУЛЫ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ Будем полагать, что высказывания удовлетворяют закону исключенного третьего и закону непротиворечия, т.е. каждое высказывание либо истинно, либо ложно. Так что каждая переменная у нас будет принимать два значения: значения «истина» будем обозначать «1», а значение «ложь» – «0». 2. Константы или логические связи – «―», «», «», «», «». 3. Скобки: «(» - левая скобка и «)» - правая скобка.

Слайд 4


1. ОПРЕДЕЛЕНИЕ ФОРМУЛЫ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ С помощью констант (связок) атомарные высказывания соединяются в более сложные высказывания. Так из двух высказываний p и q с помощью констант образуются высказывания p - читается «не-р» - отрицание q - читается «не-q» pq – читается «р и q» - конъюнкция pq – читается «р или q» - дизъюнкция рq - читается «если р, то q» - импликация рq - читается «р тогда и только тогда, когда q» - эквивалентность Сложное высказывание, образованное с помощью знака «¯» называется отрицанием, знака  «» - конъюнкцией, знака «» - дизъюнкцией, знака «» - импликацией, знака «»  эквивалентностью.
Описание слайда:
1. ОПРЕДЕЛЕНИЕ ФОРМУЛЫ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ С помощью констант (связок) атомарные высказывания соединяются в более сложные высказывания. Так из двух высказываний p и q с помощью констант образуются высказывания p - читается «не-р» - отрицание q - читается «не-q» pq – читается «р и q» - конъюнкция pq – читается «р или q» - дизъюнкция рq - читается «если р, то q» - импликация рq - читается «р тогда и только тогда, когда q» - эквивалентность Сложное высказывание, образованное с помощью знака «¯» называется отрицанием, знака  «» - конъюнкцией, знака «» - дизъюнкцией, знака «» - импликацией, знака «»  эквивалентностью.

Слайд 5


1. ОПРЕДЕЛЕНИЕ ФОРМУЛЫ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ Переменные и сложные высказывания, образованные из них посредствам многократного применения логических связок и скобок называются формулами исчисления высказываний, если они удовлетворяют трем условиям: Пропозициональная переменная есть формула Если φ и ψ – формулы, то (φ), (ψ), (φ)  ( ψ), (φ)  ( ψ), (φ)  ( ψ), (φ)  ( ψ) – формулы. Входящие в эти формулы, формулы (φ) и ( ψ) мы будем называть подформулами этих формул. Всякая формула есть либо пропозициональная переменная или образуется из пропозициональных переменных последовательным применением правила 2).
Описание слайда:
1. ОПРЕДЕЛЕНИЕ ФОРМУЛЫ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ Переменные и сложные высказывания, образованные из них посредствам многократного применения логических связок и скобок называются формулами исчисления высказываний, если они удовлетворяют трем условиям: Пропозициональная переменная есть формула Если φ и ψ – формулы, то (φ), (ψ), (φ)  ( ψ), (φ)  ( ψ), (φ)  ( ψ), (φ)  ( ψ) – формулы. Входящие в эти формулы, формулы (φ) и ( ψ) мы будем называть подформулами этих формул. Всякая формула есть либо пропозициональная переменная или образуется из пропозициональных переменных последовательным применением правила 2).

Слайд 6


1. ОПРЕДЕЛЕНИЕ ФОРМУЛЫ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ Для того, чтобы избежать слишком, большое количество скобок принимаются следующее соглашение: Опускаются скобки, объемлющие отдельные переменные. Полагают, что знак конъюнкций связывает сильнее, чем дизъюнкции и в формулах (φψ)  γ, γ(φψ) скобки можно опускать. Аналогичные соглашения принимается относительно других знаков, т.е. считается, что знак «» связывает сильнее, чем знаки «», «», «», знак «» сильнее, чем знаки «», «», знак «» сильнее, чем знак «». Правда, для легкости чтения формул мы будем иногда отступать от этих соглашений.
Описание слайда:
1. ОПРЕДЕЛЕНИЕ ФОРМУЛЫ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ Для того, чтобы избежать слишком, большое количество скобок принимаются следующее соглашение: Опускаются скобки, объемлющие отдельные переменные. Полагают, что знак конъюнкций связывает сильнее, чем дизъюнкции и в формулах (φψ)  γ, γ(φψ) скобки можно опускать. Аналогичные соглашения принимается относительно других знаков, т.е. считается, что знак «» связывает сильнее, чем знаки «», «», «», знак «» сильнее, чем знаки «», «», знак «» сильнее, чем знак «». Правда, для легкости чтения формул мы будем иногда отступать от этих соглашений.

Слайд 7


2. АЛГЕБРА ВЫСКАЗЫВАНИЙ Любая формула алгебры высказываний рассматривается как сложное высказывание, принимающее значение 0,1. В алгебре высказываний решается следующая задача: определить истинностное значение формулы исчисления высказываний для любой комбинации истинностных значений входящих в нее переменных. Для решения этой задачи пользуются следующим алгоритмом. Атомарное высказывание, т.е. переменная, может принимать два значения «1» или «0». Значение формул образованных неоднократным применением логических связок к атомарным высказываниям, задается таблицей:
Описание слайда:
2. АЛГЕБРА ВЫСКАЗЫВАНИЙ Любая формула алгебры высказываний рассматривается как сложное высказывание, принимающее значение 0,1. В алгебре высказываний решается следующая задача: определить истинностное значение формулы исчисления высказываний для любой комбинации истинностных значений входящих в нее переменных. Для решения этой задачи пользуются следующим алгоритмом. Атомарное высказывание, т.е. переменная, может принимать два значения «1» или «0». Значение формул образованных неоднократным применением логических связок к атомарным высказываниям, задается таблицей:

Слайд 8


2. АЛГЕБРА ВЫСКАЗЫВАНИЙ 3. Для произвольной формулы сначала задаются все комбинации истинностных значений переменных. Затем для каждой комбинации истинностных значений переменных вычисляются значение подформул данной формулы, образованных из переменных однократным применением логических связок, далее вычисляется значение подформул, образованных из предыдущих подформул однократным применением логических связок и т.д. пока в итоге не найдут истинностное значение всей формулы.
Описание слайда:
2. АЛГЕБРА ВЫСКАЗЫВАНИЙ 3. Для произвольной формулы сначала задаются все комбинации истинностных значений переменных. Затем для каждой комбинации истинностных значений переменных вычисляются значение подформул данной формулы, образованных из переменных однократным применением логических связок, далее вычисляется значение подформул, образованных из предыдущих подформул однократным применением логических связок и т.д. пока в итоге не найдут истинностное значение всей формулы.

Слайд 9


2. АЛГЕБРА ВЫСКАЗЫВАНИЙ Так, пользуясь указанным алгоритмом можно легко вычислить истинностное значение формулы:   ((p→q)q→r))→(p→r)
Описание слайда:
2. АЛГЕБРА ВЫСКАЗЫВАНИЙ Так, пользуясь указанным алгоритмом можно легко вычислить истинностное значение формулы:   ((p→q)q→r))→(p→r)

Слайд 10


2. АЛГЕБРА ВЫСКАЗЫВАНИЙ Каждой формуле исчисления высказываний соответствует определенная функция, аргументы которой принимают значение из множества  и сама она принимает значение из этого множества. Эту функцию называют функцией исчисления высказываний. Проблема разрешимости в алгебре высказываний заключается в решении вопроса, является ли сложная формула тождественно истинной, т.е. истинной при всех значениях входящих в нее переменных, выполнимой, т.е. истинной лишь для некоторого набора значений переменных, тождественно ложной, т.е. ложной при всех значениях переменных.
Описание слайда:
2. АЛГЕБРА ВЫСКАЗЫВАНИЙ Каждой формуле исчисления высказываний соответствует определенная функция, аргументы которой принимают значение из множества  и сама она принимает значение из этого множества. Эту функцию называют функцией исчисления высказываний. Проблема разрешимости в алгебре высказываний заключается в решении вопроса, является ли сложная формула тождественно истинной, т.е. истинной при всех значениях входящих в нее переменных, выполнимой, т.е. истинной лишь для некоторого набора значений переменных, тождественно ложной, т.е. ложной при всех значениях переменных.

Слайд 11


2. АЛГЕБРА ВЫСКАЗЫВАНИЙ Это проблема полностью решается посредствам вычисления значения функции, представленной данной формулой, с помощью таблиц истинности. Функция исчисления высказываний выражает логический закон, если является тождественно истинной при всех возможных значениях переменных. Так, с помощью таблицы убеждаемся, что функция рp выражается логический закон - закон исключенного третьего:
Описание слайда:
2. АЛГЕБРА ВЫСКАЗЫВАНИЙ Это проблема полностью решается посредствам вычисления значения функции, представленной данной формулой, с помощью таблиц истинности. Функция исчисления высказываний выражает логический закон, если является тождественно истинной при всех возможных значениях переменных. Так, с помощью таблицы убеждаемся, что функция рp выражается логический закон - закон исключенного третьего:

Слайд 12


2. АЛГЕБРА ВЫСКАЗЫВАНИЙ Аналогичным образом убеждаемся, что функция рp тоже выражается логический закон: закон непротиворечия:
Описание слайда:
2. АЛГЕБРА ВЫСКАЗЫВАНИЙ Аналогичным образом убеждаемся, что функция рp тоже выражается логический закон: закон непротиворечия:

Слайд 13


3. ЗАКОНЫ ЛОГИКИ С помощью таблиц истинности можно убедится, что нижеприведенные функции выражают логические законы. Запишем следующие 9 законов логики: Закон тождества: рр (1) Закон отрицания: для конъюнкции: рp (2) (закон непротиворечия) для дизъюнкции: рp (21) (закон исключенного третьего)
Описание слайда:
3. ЗАКОНЫ ЛОГИКИ С помощью таблиц истинности можно убедится, что нижеприведенные функции выражают логические законы. Запишем следующие 9 законов логики: Закон тождества: рр (1) Закон отрицания: для конъюнкции: рp (2) (закон непротиворечия) для дизъюнкции: рp (21) (закон исключенного третьего)

Слайд 14


3. ЗАКОНЫ ЛОГИКИ Закон идемпотентности: для конъюнкции: рр  р (3) для дизъюнкции: р р  р (31) Закон коммутативности: для конъюнкции: р q  qр (4) для дизъюнкции: р q  qр (41) Ассоциативный закон: для конъюнкции: (рq)  r  p  (qr )  p  qr (5) для дизъюнкции: (рq) r  p (qr )  p  qr (51) Дистрибутивный закон: для конъюнкции дизъюнкций: р( q  r)  (p q)  (рr ) (6) для дизъюнкции конъюнкций: р(q r)  (p q)  (рr) (61)
Описание слайда:
3. ЗАКОНЫ ЛОГИКИ Закон идемпотентности: для конъюнкции: рр  р (3) для дизъюнкции: р р  р (31) Закон коммутативности: для конъюнкции: р q  qр (4) для дизъюнкции: р q  qр (41) Ассоциативный закон: для конъюнкции: (рq)  r  p  (qr )  p  qr (5) для дизъюнкции: (рq) r  p (qr )  p  qr (51) Дистрибутивный закон: для конъюнкции дизъюнкций: р( q  r)  (p q)  (рr ) (6) для дизъюнкции конъюнкций: р(q r)  (p q)  (рr) (61)

Слайд 15


3. ЗАКОНЫ ЛОГИКИ Закон поглощения: для конъюнкции дизъюнкций: р( q р)  p (7) для дизъюнкции конъюнкций: р(q  р)  p (71) Закон двойственности (теорема де Моргана): для конъюнкции: рq  р q (8) для дизъюнкции: рq р q (81) Закон двойного отрицания: р  р (9)
Описание слайда:
3. ЗАКОНЫ ЛОГИКИ Закон поглощения: для конъюнкции дизъюнкций: р( q р)  p (7) для дизъюнкции конъюнкций: р(q  р)  p (71) Закон двойственности (теорема де Моргана): для конъюнкции: рq  р q (8) для дизъюнкции: рq р q (81) Закон двойного отрицания: р  р (9)

Слайд 16


Вопросы Перечислите 8 этапов подготовки и решения задач на ЭВМ Чему следует уделять первостепенное внимание при постановке задачи Что такое математическая формулировка (формализация) задачи Что необходимо учитывать при выборе (разработке) метода решения Дайте определение алгоритма Способы описания алгоритмов
Описание слайда:
Вопросы Перечислите 8 этапов подготовки и решения задач на ЭВМ Чему следует уделять первостепенное внимание при постановке задачи Что такое математическая формулировка (формализация) задачи Что необходимо учитывать при выборе (разработке) метода решения Дайте определение алгоритма Способы описания алгоритмов

Слайд 17


Благодарю за внимание !!!
Описание слайда:
Благодарю за внимание !!!

Скачать

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