- Главная
- Разное
- Образование
- Спорт
- Естествознание
- Природоведение
- Религиоведение
- Французский язык
- Черчение
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, фоны, картинки для презентаций
- Экология
- Экономика
Презентация, доклад по информатике на тему: Алгебра логики
Содержание
- 1. Презентация по информатике на тему: Алгебра логики
- 2. Основы логикиЛогика – совокупность правил, которым подчиняется
- 3. Основы логикиВысказывание – это повествовательное предложение, о
- 4. Основы логикиУмозаключение – прием мышления, посредством которого
- 5. Основы логикиЛогическое выражение - устное утверждение или
- 6. Основы логикиФормальная логика – наука о законах
- 7. Логические операцииОтрицание (инверсия, логическое НЕ)Смысл операции: результат меняется на противоположныйОбозначение: ¬Таблица истинности
- 8. Логические операции2. Логическое сложение (дизъюнкция, логическое ИЛИ)Смысл
- 9. Логические операции3. Логическое умножение (конъюнкция, логическое И)Смысл
- 10. Логические операции4. Исключающее ИЛИ (строгая дизъюнкция)Смысл операции: результат истина, если высказывания различныОбозначение: Таблица истинности
- 11. Логические операции5. Следование (импликация)Смысл операции: результат операции
- 12. Логические операции6. Эквивалентность (двойная импликация, равносильность)Смысл операции: результат истина, если высказывания одинаковыОбозначение: ≡ или ↔Таблица истинности
- 13. Приоритет выполнения логических операцийЛогическое НЕВыражение в скобкахЛогическое ИЛогическое ИЛИСледованиеЭквивалентность
- 14. Примеры решения задачЗадача 1. Какое из предложений
- 15. Примеры решения задачЗадача 2. Заполните таблицу истинности
- 16. Примеры решения задачЗадача 3. Три одноклассника –
- 17. Решение задачи 3
Основы логикиЛогика – совокупность правил, которым подчиняется процесс мышления, и наука о правилах рассуждений.Основными формами абстрактного мышления являются понятия, суждения, умозаключения.Понятие – форма мышления, в которой отражаются существенные признаки отдельного предмета или класса однородных предметов.Суждение –
Слайд 2Основы логики
Логика – совокупность правил, которым подчиняется процесс мышления, и наука
о правилах рассуждений.
Основными формами абстрактного мышления являются понятия, суждения, умозаключения.
Понятие – форма мышления, в которой отражаются существенные признаки отдельного предмета или класса однородных предметов.
Суждение – мысль, в которой что – либо утверждается или отрицается о предметах.
Основными формами абстрактного мышления являются понятия, суждения, умозаключения.
Понятие – форма мышления, в которой отражаются существенные признаки отдельного предмета или класса однородных предметов.
Суждение – мысль, в которой что – либо утверждается или отрицается о предметах.
Слайд 3Основы логики
Высказывание – это повествовательное предложение, о котором можно сказать, истинно
оно или ложно
Например:
Вологда – столица России.
Без кислорода мы не сможем дышать.
2*2=4
Например:
Вологда – столица России.
Без кислорода мы не сможем дышать.
2*2=4
Слайд 4Основы логики
Умозаключение – прием мышления, посредством которого из исходного знания получается
новое знание; логическая операция, в результате которой из одного или нескольких суждений получается новое суждение.
Логические операции – мыслительные действия, результатом которых является изменение содержания или объема понятий, а так же образование новых понятий.
Логические операции – мыслительные действия, результатом которых является изменение содержания или объема понятий, а так же образование новых понятий.
Слайд 5Основы логики
Логическое выражение - устное утверждение или запись, в которое наряду
с постоянными величинами обязательно входят переменные величины. В зависимости от значений этих переменных величин логическое выражение может принимать одно из двух возможных значений: истина (логическая 1) или ложь (логический 0).
Сложное логическое выражение – состоит из нескольких простых или сложных логических высказываний, соединенных логическими операциями.
Сложное логическое выражение – состоит из нескольких простых или сложных логических высказываний, соединенных логическими операциями.
Слайд 6Основы логики
Формальная логика – наука о законах и формах мышления
Математическая логика
изучает логические связи и отношения, лежащие в основе дедуктивного вывода
Алгебра логики – раздел математической логики, значения всех элементов которой определены в двухэлементном множестве: «истина» и «ложь»
Алгебра логики – раздел математической логики, значения всех элементов которой определены в двухэлементном множестве: «истина» и «ложь»
Слайд 7Логические операции
Отрицание (инверсия, логическое НЕ)
Смысл операции: результат меняется на противоположный
Обозначение:
¬
Таблица истинности
Таблица истинности
Слайд 8Логические операции
2. Логическое сложение (дизъюнкция, логическое ИЛИ)
Смысл операции: высказывание будет истинным,
если хотя бы одно из условий истина
Обозначается: ˅
Таблица истинности
Обозначается: ˅
Таблица истинности
Слайд 9Логические операции
3. Логическое умножение (конъюнкция, логическое И)
Смысл операции: результат – истина,
если оба высказывания истина
Обозначение: ˄ или &
Таблица истинности
Обозначение: ˄ или &
Таблица истинности
Слайд 10Логические операции
4. Исключающее ИЛИ (строгая дизъюнкция)
Смысл операции: результат истина, если высказывания
различны
Обозначение:
Таблица истинности
Обозначение:
Таблица истинности
Слайд 11Логические операции
5. Следование (импликация)
Смысл операции: результат операции ложен только тогда, когда
предпосылка истина, а следствие ложь
Обозначение: →
Таблица истинности
Обозначение: →
Таблица истинности
Слайд 12Логические операции
6. Эквивалентность (двойная импликация, равносильность)
Смысл операции: результат истина, если высказывания
одинаковы
Обозначение: ≡ или ↔
Таблица истинности
Обозначение: ≡ или ↔
Таблица истинности
Слайд 13Приоритет выполнения логических операций
Логическое НЕ
Выражение в скобках
Логическое И
Логическое ИЛИ
Следование
Эквивалентность
Слайд 14Примеры решения задач
Задача 1. Какое из предложений является высказыванием? Определите его
истинность.
Внимание! Посмотрите на экран.
Кто сегодня отсутствует?
Некоторые кошки не ловят мышей.
Внимание! Посмотрите на экран.
Кто сегодня отсутствует?
Некоторые кошки не ловят мышей.
Слайд 16Примеры решения задач
Задача 3. Три одноклассника – Влад, Тимур и Юра
– встретились спустя 10 лет после окончания школы. Выяснилось, что один из них стал врачом, другой физиком, а третий юристом. Один полюбил туризм, другой бег, страсть третьего – регби.
Юра сказал, что на туризм ему не хватает времени, хотя его сестра единственный врач в семье, заядлый турист. Врач сказал, что он разделяет увлечение коллеги.
Забавно, но у двоих из друзей в названиях их профессий и увлечений не встречается ни одна буква их имен.
Определите, кто чем любит заниматься в свободное время и у кого какая профессия.
Юра сказал, что на туризм ему не хватает времени, хотя его сестра единственный врач в семье, заядлый турист. Врач сказал, что он разделяет увлечение коллеги.
Забавно, но у двоих из друзей в названиях их профессий и увлечений не встречается ни одна буква их имен.
Определите, кто чем любит заниматься в свободное время и у кого какая профессия.
