Презентация, доклад по информатике и ИКТ: Логические операции и их таблицы истинности

Содержание

Логика - наука о мышлении, о закономерностях в связях и развитии мыслей. Первое упоминание логики встречается в китайской «Книге перемен» (VIII в до н.э.). В Древней Греции она начала разрабатываться в VI в до н.э. Немного

Слайд 1Алгебра логики
Логика как наука. Основные законы алгебры логики.

Алгебра логикиЛогика как наука. Основные законы алгебры логики.

Слайд 2Логика - наука о мышлении, о закономерностях в связях и развитии мыслей.


Первое упоминание логики встречается в китайской «Книге перемен» (VIII в до н.э.). В Древней Греции она начала разрабатываться в VI в до н.э. Немного позже логика возникла в Индии. Первоначально логика служила юриспруденции и ораторскому искусству. Еще одним стимулом создания науки логики стали запросы математики, где требовались строгие доказательства.

Логика - наука о мышлении, о закономерностях в связях и развитии мыслей. Первое упоминание логики встречается в

Слайд 3В Древней Греции логику разрабатывали Парменид (VI в. до н.э.), Демокрит,

Сократ, Платон (V в до н.э.) и Аристотель (IV в до н.э.). Принципы современной математической логики предвосхитил в своей работе "Об искусстве комбинаторики"(1666) великий немецкий философ, математик, физик и языковед Готфрид Вильгельм Лейбниц (1646-1716).

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

В Древней Греции логику разрабатывали Парменид (VI в. до н.э.), Демокрит, Сократ, Платон (V в до н.э.)

Слайд 4Великий русский и швейцарский ученый Леонард Эйлер в 1766 г. предложил

так называемые круги Эйлера, ставшие основой формальной силлогистики.
Но основоположником математической логики считается Джордж Буль, английский математик (отец всемирно известной писательницы Этель Лилиан Войнич).

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

Великий русский и швейцарский ученый Леонард Эйлер в 1766 г. предложил так называемые круги Эйлера, ставшие основой

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

значения: 1 (Истина) или 0 (Ложь).

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

В алгебре логики есть понятие высказывания, которое может иметь только два значения: 1 (Истина) или 0 (Ложь).Алгебра

Слайд 6Определения
Логическая переменная – это простое высказывание, содержащее только одну мысль. Её

символическое обоз-начение – латинская буква. Значения: ИСТИНА (1) или ЛОЖЬ (0).

Логическая функция – это составное высказывание, содержащее несколько простых мыслей, соединенных меж-ду собой с помощью логических операций. Обозначение – F(A,B,…) или F(X1,X2,…).

Логическая операция – это какое-либо логическое действие над логическими переменными.

ОпределенияЛогическая переменная – это простое высказывание, содержащее только одну мысль. Её символическое обоз-начение – латинская буква. Значения:

Слайд 7Основные операции
Алгебра логики

Основные операцииАлгебра логики

Слайд 8
Алгебра логики
Отрицание
(инверсия)
Таблица истинности:
НЕ
Операция является унарной – допустимо применять к одной

и более переменным.
Алгебра логикиОтрицание(инверсия)Таблица истинности:НЕОперация является унарной – допустимо применять к одной и более переменным.

Слайд 9
Алгебра логики
Конъюнкция (умножение)
Таблица истинности:
Союз И

Алгебра логикиКонъюнкция (умножение)Таблица истинности:Союз И

Слайд 10
Алгебра логики
Дизъюнкция (сложение)
Таблица истинности:
Союз ИЛИ

Алгебра логикиДизъюнкция (сложение)Таблица истинности:Союз ИЛИ

Слайд 11Алгебра логики
Отрицание, конъюнкция и дизъюнкция являются базовыми логическими операциями, то есть

с их помощью можно выразить все остальные.
Алгебра логикиОтрицание, конъюнкция и дизъюнкция являются базовыми логическими операциями, то есть с их помощью можно выразить все

Слайд 12
Алгебра логики
Строгая дизъюнкция (исключающая ИЛИ)
Таблица истинности:

Алгебра логикиСтрогая дизъюнкция (исключающая ИЛИ)Таблица истинности:

Слайд 13
Алгебра логики
Импликация (следование)
Таблица истинности:
Следует, влечет и т.д.
Если …, то…

Алгебра логикиИмпликация (следование)Таблица истинности:Следует, влечет и т.д.Если …, то…

Слайд 14Алгебра логики

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

Слайд 15
Алгебра логики
Эквиваленция (равносильность)
Таблица истинности:
Тогда и только тогда

Алгебра логикиЭквиваленция (равносильность)Таблица истинности:Тогда и только тогда

Слайд 16
Алгебра логики
Стрелка Пирса
Таблица истинности:

Алгебра логикиСтрелка ПирсаТаблица истинности:

Слайд 17
Алгебра логики
Штрих Шефера |
Таблица истинности:

Алгебра логикиШтрих Шефера |Таблица истинности:

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

Это сайт презентаций, где можно хранить и обмениваться своими презентациями, докладами, проектами, шаблонами в формате PowerPoint с другими пользователями. Мы помогаем школьникам, студентам, учителям, преподавателям хранить и обмениваться учебными материалами.


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

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

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

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