<<  Законы алгебры логики Правила замены операций  >>
Огастес де МОРГАН

Огастес де МОРГАН. Морган Огастес (Августус) де (27.6.1806-18.3. 1871) - шотландский математик и логик. Секретарь Королевcкого астрономического общества (1847г.), член Лондонского королевского общества. Первый президент Лондонского математического общества. Родился в Мадуре (Индия). Учился в Тринити-колледж (в Кембридже). Профессор математики в университетском колледже в Лондоне. Основные труды по алгебре, математическому анализу и математической логике. В теории рядов описал логарифмическую шкалу для критериев сходимости; занимался теорией расходящихся рядов. Один из основателей формальной алгебры. Продолжая работы Дж. Пикока, Морган в 1841-1847 гг. опубликовал ряд работ по основам алгебры. В трактате "Формальная логика или исчисление выводов необходимых и возможных" (1847г.), Морган некоторыми своими положениями опередил Дж. Буля. Позднее Морган успешно изучал логику отношений - область, не охваченную исследованиями предшественников. Написал много исторических работ, в частности книгу "Бюджет парадоксов" (1872г.). Большой вклад внес также в дедуктивную логику вообще и математическую в частности. Лондонское математическое общество учредило медаль им. О. Моргана. 6.

Слайд 6 из презентации «Логические законы и правила преобразования логических выражений»

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

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

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

«Логические функции» - Схема полусумматора двоичных чисел: Физики. Обозначение: А~В, А?В, А?В, А=В. 3. Логическое сложение (Дизъюнкция) Обозначение: ИЛИ,?, +, |. F15(X, Y) = (отрицание конъюнкции). Двоичная система оказалась удобной в качестве языка логики. Знак «=» - равносильность. Установим истинность простых высказываний:

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

«Законы логики» - Профессор математики в университетском колледже в Лондоне. Получится: ¬((AvB)? ¬(BvC))= (AvB)& ¬ (¬(BvC)). Продолжая работы Дж. Упрощение сложных высказываний. Избавимся от импликации и отрицания. I. Упростите логические выражения: F = Av (?A&B). Первый президент Лондонского математического общества.

«Понятие логического высказывания» - Алгебра – это наука об общих операциях. Найти множество значений. Основные определения. Высказывание – это формулировка своего понимания окружающего мира. Логика – это наука о формах и способах мышления. Какие из предложений являются высказываниями. Составные высказывания на обычном языке. Логические операции – логические действия.

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

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

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

Алгебра

35 тем