🗊Презентация Математическая логика

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

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

Слайд 1


Математическая логика, слайд №1
Описание слайда:

Слайд 2


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

Слайд 3


Логика — это наука, изучающая методы установления истинности или ложности одних высказываний на основе истинности или ложности других высказываний. Логика — это наука, изучающая методы установления истинности или ложности одних высказываний на основе истинности или ложности других высказываний.
Описание слайда:
Логика — это наука, изучающая методы установления истинности или ложности одних высказываний на основе истинности или ложности других высказываний. Логика — это наука, изучающая методы установления истинности или ложности одних высказываний на основе истинности или ложности других высказываний.

Слайд 4


Логическое высказывание - это повествовательное предложение, о котором можно сказать, истинно оно или ложно. Истина=1 Ложь=0 А: «дважды два равно четырем» истинно А=1, В: «три больше пяти» всегда есть ЛОЖЬ В=0.
Описание слайда:
Логическое высказывание - это повествовательное предложение, о котором можно сказать, истинно оно или ложно. Истина=1 Ложь=0 А: «дважды два равно четырем» истинно А=1, В: «три больше пяти» всегда есть ЛОЖЬ В=0.

Слайд 5


Типы высказываний: Типы высказываний: Простое – никакая его часть сама не является высказыванием. Составное (сложное) – состоит из простых высказываний, связанных между собой логическими операциями.
Описание слайда:
Типы высказываний: Типы высказываний: Простое – никакая его часть сама не является высказыванием. Составное (сложное) – состоит из простых высказываний, связанных между собой логическими операциями.

Слайд 6


Составляющие логического высказывания: Субъект (S) Предикат (Р) Связка Квантор
Описание слайда:
Составляющие логического высказывания: Субъект (S) Предикат (Р) Связка Квантор

Слайд 7


Составляющие логического высказывания Составляющие логического высказывания Субъект, S - понятие о предмете мысли Предикат, P - понятие о свойствах и отношениях предмета мысли. Субъект и предикат - термины суждения. Связка - отношения между субъектом и предикатом (выражается «есть», «не есть», «является», «состоит» и т.д.) Квантор - указывает, относится ли суждение ко всему или к части объема понятия, выражающего субъект («все», «некоторые», «многие», «ни один», и т.п.).
Описание слайда:
Составляющие логического высказывания Составляющие логического высказывания Субъект, S - понятие о предмете мысли Предикат, P - понятие о свойствах и отношениях предмета мысли. Субъект и предикат - термины суждения. Связка - отношения между субъектом и предикатом (выражается «есть», «не есть», «является», «состоит» и т.д.) Квантор - указывает, относится ли суждение ко всему или к части объема понятия, выражающего субъект («все», «некоторые», «многие», «ни один», и т.п.).

Слайд 8


«Все компьютеры состоят из процессора, памяти и внешних устройств» «Все компьютеры состоят из процессора, памяти и внешних устройств» «компьютеры» - субъект, «процессора, памяти и внешних устройств» - предикат, «состоят» - связка, «все» - квантор.
Описание слайда:
«Все компьютеры состоят из процессора, памяти и внешних устройств» «Все компьютеры состоят из процессора, памяти и внешних устройств» «компьютеры» - субъект, «процессора, памяти и внешних устройств» - предикат, «состоят» - связка, «все» - квантор.

Слайд 9


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

Слайд 10


Отрицание (NOT, не, не верно, что)
Описание слайда:
Отрицание (NOT, не, не верно, что)

Слайд 11


Математическая логика, слайд №11
Описание слайда:

Слайд 12


Дизъюнкция (OR, или, либо) Обозначение: А v В Дизъюнкция двух высказываний истинна тогда, когда хотя бы одно высказывание истинно и ложна, когда оба высказывания ложны.
Описание слайда:
Дизъюнкция (OR, или, либо) Обозначение: А v В Дизъюнкция двух высказываний истинна тогда, когда хотя бы одно высказывание истинно и ложна, когда оба высказывания ложны.

Слайд 13


Строгая дизъюнкция (XOR, или…или, либо…либо) Обозначение: А В, А v В Строгая дизъюнкция двух высказываний истинна тогда, когда только одно из высказываний истинно.
Описание слайда:
Строгая дизъюнкция (XOR, или…или, либо…либо) Обозначение: А В, А v В Строгая дизъюнкция двух высказываний истинна тогда, когда только одно из высказываний истинно.

Слайд 14


Импликация (если-то, следует) Обозначения: А→В, А=>В. Импликация двух высказываний ложна тогда и только тогда, когда из истинного высказывания следует ложное.
Описание слайда:
Импликация (если-то, следует) Обозначения: А→В, А=>В. Импликация двух высказываний ложна тогда и только тогда, когда из истинного высказывания следует ложное.

Слайд 15


Эквиваленция (тождественно, равносильно) Обозначение: А=В; А<->В; А~В Эквивалентность двух высказываний истинна тогда и только тогда, когда оба высказывания истинны или оба ложны.
Описание слайда:
Эквиваленция (тождественно, равносильно) Обозначение: А=В; А<->В; А~В Эквивалентность двух высказываний истинна тогда и только тогда, когда оба высказывания истинны или оба ложны.

Слайд 16


Основные логические союзы (связки), с помощью которых в естественном языке строятся сложные высказывания.
Описание слайда:
Основные логические союзы (связки), с помощью которых в естественном языке строятся сложные высказывания.

Слайд 17


Неверно, что в зале №1 идет лекция по психологии. Число 123 либо четное, либо нечетное, третьего не дано. Аня отличница, но плохая спортсменка. Если пожелтели листья, то пришла осень. Чтобы перейти на следующий курс достаточно сдать сессию на тройки.
Описание слайда:
Неверно, что в зале №1 идет лекция по психологии. Число 123 либо четное, либо нечетное, третьего не дано. Аня отличница, но плохая спортсменка. Если пожелтели листья, то пришла осень. Чтобы перейти на следующий курс достаточно сдать сессию на тройки.

Слайд 18


Приоритет логических операций: операции в скобках; отрицание; конъюнкция и дизъюнкция (слева направо); импликация; эквиваленция.
Описание слайда:
Приоритет логических операций: операции в скобках; отрицание; конъюнкция и дизъюнкция (слева направо); импликация; эквиваленция.

Слайд 19


Алгоритм построения таблиц истинности: Определить количество переменных. Определить количество логических операций и последовательность их выполнения. Заполнить столбцы результатами выполнения логических операций в обозначенной последовательности. Определить количество строк (К) таблицы по формуле к=2n , где n - количество переменных.
Описание слайда:
Алгоритм построения таблиц истинности: Определить количество переменных. Определить количество логических операций и последовательность их выполнения. Заполнить столбцы результатами выполнения логических операций в обозначенной последовательности. Определить количество строк (К) таблицы по формуле к=2n , где n - количество переменных.

Слайд 20


Спасибо за внимание! Спасибо за внимание!
Описание слайда:
Спасибо за внимание! Спасибо за внимание!

Скачать

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