<<  Функциональное и логическое программирование Функциональное и логическое программирование  >>
Функциональное и логическое программирование
Функциональное и логическое программирование.

Слайд 28 из презентации «Функциональное и логическое программирование»

Размеры: 720 х 540 пикселей, формат: .jpg. Чтобы бесплатно скачать слайд для использования на уроке, щёлкните на изображении правой кнопкой мышки и нажмите «Сохранить изображение как...». Скачать всю презентацию «Функциональное и логическое программирование.ppt» можно в zip-архиве размером 1978 КБ.

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

краткое содержание других презентаций об алгебре логики

«Логическое умножение, сложение и отрицание» - Высказывание. Логическое сложение (дизъюнкция). Истина. Логическое умножение (конъюнкция). Результатом операции логического сложения является «ложь». Компьютерный практикум. Какие значения даёт логическая операция. Логическое умножение, сложение и отрицание. Простые высказывания в алгебре логики. Логическое отрицание (инверсия).

«Таблица истинности» - Слесарь живет левее Учителя С У 2. Парикмахер живет правее Учителя У П. Пример 2. Укажите, какое логическое выражение равносильно выражению ¬(A \/ ¬ B \/ C) 1) ¬A \/ B \/ ¬C 2) A /\ ¬B /\ C 3)¬A \/ ¬B \/ ¬C 4) ¬A /\ B /\ ¬C Решение: ¬(A \/ B)= ¬A /\ ¬B ¬(¬ A) = A. Пример 4. Для какого из указанных значений X истинно высказывание ¬ ((X>2) ? (X>3))? 1)x=1 2) x= 2 3) x= 3 4) x= 4 Решение: ¬ ((X>2) ? (X>3)) = 1 (X>2) ? (X>3) = 0.

«Булевы функции» - Основные определения. Булевы функции и алгебра логики. Способы задания булевых функций. Название. Приоритет выполнения операций. Самодвойственные булевы функции. Порядковый номер функции. Двойственность булевых функций. Законы и тождества алгебры логики. Булевы функции. Значение двоичного кода. Принцип двойственности.

«Алгебра высказываний» - Импликация -. Логики: Алгебра высказываний Простые и сложные высказывания. Эквиваленция -. Никаких других формул в алгебре логики нет. АРИСТОТЕЛЬ (384-322 гг. до н.э.) - ОСНОВОПОЛОЖНИК ЛОГИКИ. Простые высказывания будем называть логическими переменными, а сложные логическими функциями. Логическая операция, соответствующая союзу «тогда и только тогда, когда …».

«Алгебра логики» - Логическое равенство. Высказывание. Этапы развития логики. Появление математической, или символической, логики. Город Москва. Эквивалентность. Упражнения. Инверсия. Логические переменные. Умозаключение. Алгебра высказываний. Алгебра логики. Предложения не являются высказываниями. Логическое сложение.

«Логические таблицы истинности» - Установить последовательность выполнения логических операций. Выяснить количество столбцов = количество переменных + количество логических операций. Таблицы истинности. Для составления таблицы необходимо: Заполнить таблицу истинности по столбцам. Таблица истинности сложного логического выражения. Как правильно составить и использовать?

Всего в теме «Алгебра логики» 19 презентаций
Урок

Алгебра

35 тем