<<  Составление логического конспекта Логическое конспектирование  >>
Программа РедКон
Программа РедКон.

Слайд 32 из презентации «Логическое конспектирование»

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

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

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

«Законы логики» - Основные законы алгебры логики. Основные труды по алгебре, математическому анализу и математической логике. Применим закон двойного отрицания, получим: (A v В) & ¬(¬(В v С)) = (A v В) & (B v С). Переставим местами слагаемые, сгруппируем и вынесем В за скобки. Задание 1. Упростить выражение: _ X ? Y V X ? Y.

«Логические высказывания» - Какие из составных высказываний истинны: а) ?; б) не B; в) А & В; г) A V В. Пример 1. Логика является одной из дисциплин, образующих математический фундамент информатики. Представление. Алгебра высказываний. Решение задач Конспект стр.92 (импликация, эквиваленция). Логическое умножение (конъюнкция).

«Логические законы» - Т.к. в данном случае такой операцией является логическое сложение, то на выходе логической схемы должен стоять дизъюнктор. Распределительный (дистрибутивный) закон. Закон исключения констант. Закон исключения третьего. Невозможно, чтобы противоречащие высказывания были одновременно истинными. Закон идемпотентности (равносильности).

«Функции алгебры логики» - Область определения. Операции над двумя переменными. Таблица для функции f. Правила поглощения. Индуктивное определение формулы. Набор полных систем. Соотношения, связанные с “навешиванием отрицания”. Соотношения между отрицанием, конъюнкцией и дизъюнкцией. Дистрибутивность. Множество функции одной переменной.

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

«История алгебры логики» - Высказывание – это форма мышления. Умозаключение. Понятие. Основной Закон Буля. История науки алгебры логики. Вильгельм Лейбниц (1646-1716). Логика– это наука о формах и способах мышления. Формы мышления. Определение формы. Булева алгебра. Вопросы. Содержание. Джордж Буль. Аристотель.

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

Алгебра

35 тем