Разделы презентаций


Основы математической логики

Содержание

ЛогикаНаука, изучающая методы установления истинности или ложности одних высказываний на основе истинности или ложности других высказываний

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

Слайд 1Основы математической логики
Лекция 5

Основы математической логикиЛекция 5

Слайд 2Логика
Наука, изучающая методы установления истинности или ложности одних высказываний на

основе истинности или ложности других высказываний

ЛогикаНаука, изучающая методы установления истинности или ложности одних высказываний на основе истинности или ложности других высказываний

Слайд 3Высказывание
Суждение, в котором что-либо утверждается или отрицается. Может быть истинным

и ложным

ВысказываниеСуждение, в котором что-либо утверждается или отрицается. Может быть истинным и ложным

Слайд 4Логические величины
ИСТИНА, TRUE, 1
ЛОЖЬ, FALSE, 0

Логические величиныИСТИНА, TRUE, 1ЛОЖЬ, FALSE, 0

Слайд 5Логическая переменная
Высказывание, которое может быть истинно или ложно

Логическая переменнаяВысказывание, которое может быть истинно или ложно

Слайд 6Логическое выражение
Сложное высказывание, состоящее из нескольких высказываний и связок в

виде логических операций

Логическое выражениеСложное высказывание, состоящее из нескольких высказываний и связок в виде логических операций

Слайд 7Логические операции: НЕ
Инверсия или Отрицание
Обозначается символом ¬

Логические операции: НЕИнверсия или ОтрицаниеОбозначается символом ¬

Слайд 8Логические операции: ИЛИ
Дизъюнкция
Обозначается символом v

Логические операции: ИЛИДизъюнкцияОбозначается символом v

Слайд 9Логические операции: И
Конъюнкция
Обозначается символом ^

Логические операции: ИКонъюнкцияОбозначается символом ^

Слайд 10Логические операции: эквивалентно
Эквивалентность или равнозначность
Обозначается знаком ~
Может обозначаться знаком =

Логические операции: эквивалентноЭквивалентность или равнозначностьОбозначается знаком ~Может обозначаться знаком =

Слайд 11Приоритет операций
Отрицание
Конъюнкция
Дизъюнкция
Эквивалентность

Приоритет операцийОтрицаниеКонъюнкцияДизъюнкцияЭквивалентность

Слайд 12Пример решения логического уравнения

Пример решения логического уравнения

Слайд 13Задача
Доказать закон двойного отрицания
¬ (¬ А) = А
Доказать закон де

Моргана
¬ (А ^ В) = ¬А v ¬В
¬ (А v

В) = ¬А ^ ¬В

ЗадачаДоказать закон двойного отрицания¬ (¬ А) = АДоказать закон де Моргана¬ (А ^ В) = ¬А v

Обратная связь

Если не удалось найти и скачать доклад-презентацию, Вы можете заказать его на нашем сайте. Мы постараемся найти нужный Вам материал и отправим по электронной почте. Не стесняйтесь обращаться к нам, если у вас возникли вопросы или пожелания:

Email: Нажмите что бы посмотреть 

Что такое TheSlide.ru?

Это сайт презентации, докладов, проектов в PowerPoint. Здесь удобно  хранить и делиться своими презентациями с другими пользователями.


Для правообладателей

Яндекс.Метрика