Математическая логика - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Математическая логика. Доклад-сообщение содержит 20 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

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

Слайд 1

Описание слайда:

Слайд 2

Описание слайда:

Контрольные вопросы по теме:

Слайд 3

Описание слайда:

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

Слайд 4

Описание слайда:

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

Слайд 5

Описание слайда:

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

Слайд 6

Описание слайда:

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

Слайд 7

Описание слайда:

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

Слайд 8

Описание слайда:

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

Слайд 9

Описание слайда:

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

Слайд 10

Описание слайда:

Отрицание (NOT, не, не верно, что)

Слайд 11

Описание слайда:

Слайд 12

Описание слайда:

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

Слайд 13

Описание слайда:

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

Слайд 14

Описание слайда:

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

Слайд 15

Описание слайда:

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

Слайд 16

Описание слайда:

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

Слайд 17

Описание слайда:

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

Слайд 18

Описание слайда:

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

Слайд 19

Описание слайда:

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