Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Инфоурок / Другое / Презентации / Презентация по информатике и ИКТ: "Логические операции и их таблицы истинности"

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

  • Другое

Поделитесь материалом с коллегами:

Алгебра логики Логика как наука. Основные законы алгебры логики.
Логика - наука о мышлении, о закономерностях в связях и развитии мыслей. Перв...
В Древней Греции логику разрабатывали Парменид (VI в. до н.э.), Демокрит, Сок...
Великий русский и швейцарский ученый Леонард Эйлер в 1766 г. предложил так на...
В алгебре логики есть понятие высказывания, которое может иметь только два зн...
Определения Логическая переменная – это простое высказывание, содержащее толь...
Основные операции Алгебра логики
Алгебра логики Отрицание (инверсия) Таблица истинности: НЕ Операция является...
Алгебра логики Конъюнкция (умножение) Таблица истинности: Союз И Х1 Х2 X1&X2...
Алгебра логики Дизъюнкция (сложение) Таблица истинности: Союз ИЛИ Х1 Х2 X1+X...
Алгебра логики Отрицание, конъюнкция и дизъюнкция являются базовыми логически...
Алгебра логики Строгая дизъюнкция (исключающая ИЛИ) Таблица истинности: Х1 Х...
Алгебра логики Импликация (следование) Таблица истинности: Следует, влечет и...
Алгебра логики X1 X2 0 0 1 1 0 1 1 1 1 0 0 0 1 1 0 1
Алгебра логики Эквиваленция (равносильность) Таблица истинности: Тогда и тол...
 Алгебра логики Стрелка Пирса Таблица истинности: Х1 Х2 0 0 1 0 1 0 1 0 0 1 1 0
Алгебра логики Штрих Шефера | Таблица истинности: Х1 Х2 0 0 1 0 1 1 1 0 1 1...
1 из 17

Описание презентации по отдельным слайдам:

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

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

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

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

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

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

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

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

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

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

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

Определения Логическая переменная – это простое высказывание, содержащее только одну мысль. Её символическое обоз-начение – латинская буква. Значения: ИСТИНА (1) или ЛОЖЬ (0). Логическая функция – это составное высказывание, содержащее несколько простых мыслей, соединенных меж-ду собой с помощью логических операций. Обозначение – F(A,B,…) или F(X1,X2,…). Логическая операция – это какое-либо логическое действие над логическими переменными.

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

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

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

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

№ слайда 9 Алгебра логики Конъюнкция (умножение) Таблица истинности: Союз И Х1 Х2 X1&X2
Описание слайда:

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

№ слайда 10 Алгебра логики Дизъюнкция (сложение) Таблица истинности: Союз ИЛИ Х1 Х2 X1+X
Описание слайда:

Алгебра логики Дизъюнкция (сложение) Таблица истинности: Союз ИЛИ Х1 Х2 X1+X2 0 0 0 0 1 1 1 0 1 1 1 1

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

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

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

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

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

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

№ слайда 14 Алгебра логики X1 X2 0 0 1 1 0 1 1 1 1 0 0 0 1 1 0 1
Описание слайда:

Алгебра логики X1 X2 0 0 1 1 0 1 1 1 1 0 0 0 1 1 0 1

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

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

№ слайда 16  Алгебра логики Стрелка Пирса Таблица истинности: Х1 Х2 0 0 1 0 1 0 1 0 0 1 1 0
Описание слайда:

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

№ слайда 17 Алгебра логики Штрих Шефера | Таблица истинности: Х1 Х2 0 0 1 0 1 1 1 0 1 1
Описание слайда:

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

Выберите курс повышения квалификации со скидкой 50%:

Краткое описание документа:

Первые учения о формах и способах  рассуждений  возникли  в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат учения, созданные в 4 веке до нашей эры  древне-греческими мыслителями. Основы формальной логики заложил Аристотель,  который впервые отделил логические формы речи от ее  содержания.  Он исследовал терминологию логики, подробно разобрал теорию умозаключений и доказательств, описал ряд логических операций, сформулировал основные законы мышления. Логика  изучает  внутреннюю  структуру  процесса мышления, который реализуется в  таких  естественно  сложившихся формах как понятие, суждение, умозаключение и доказательство.

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

Автор
Дата добавления 16.03.2015
Раздел Другое
Подраздел Презентации
Просмотров579
Номер материала 445031
Получить свидетельство о публикации

Включите уведомления прямо сейчас и мы сразу сообщим Вам о важных новостях. Не волнуйтесь, мы будем отправлять только самое главное.
Специальное предложение
Вверх