Скачать
презентацию
<<  Буль Джордж Логика  >>
Буль Джордж

Буль Джордж (2.11.1815, Линкольн, — 8.12.1864, Баллинтемпл близ Корка), английский математик и логик. Не имея специального математического образования, в 1849 стал профессором математики в Куинс-колледже в Корке (Ирландия), где преподавал до конца жизни. Его почти в равной мере интересовали логика, математический анализ, теория вероятностей, этика Спинозы, философские работы Аристотеля и Цицерона. В работах "Математический анализ логики" (1847), "Логическое исчисление" (1848), "Исследование законов мышления" (1854) Буль заложил основы математической логики. Именем Буля названы так называемые булевы алгебры — особые алгебраические системы, для элементов которых определены две операции.

Картинка 30 из презентации «Логика как наука» к урокам алгебры на тему «Логика»

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

Скачать презентацию

Логика

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

«Введение в логику» - Янош Бойяи. Теорема Кантора. Терминология. Системы доказательства. Введение в математическую логику. Границы математики. Распространенные способы рассуждения. Множество формул. Построение натуральных чисел. Примеры и применения. Булевы функции. Значение формулы. Теорема компактности. Аксиомы теории множеств.

«Решение логических задач» - Как решать логические задачи. Задача «Новогодние костюмы». Задача «Новогодний подарок». Решение логических задач с помощью рассуждений. Решение задач средствами алгебры логики. Решение задач табличным способом. Логическая формула. Празднование Нового года. Евгений. Обозначения. Задача «История Нового года».

«Мышление и логика» - Порядок выполнения логических операций в сложном логическом выражении: Таблица истинности для инверсии. Знаки операции импликации: если…, то… ; =>; imp. “Не”, “если ... то”, “либо ... либо” и другие. Например: «Все металлы электропроводны». «Ртуть является металлом». Алгебра высказываний определяет истинность или ложность составных высказываний.

«Задачи на логику» - Сосуд греческий. В классе 36 человек. Сосуд финикийский и изготовлен в Vв. Введение. В авиационном подразделении служат Потапов, Щедрин, Семенов. Четверо друзей. Семенов был в доме отдыха вместе со Щедриным и сыном синоптика. Андрей, Боря, Сережа и Володя заняли первые четыре места. Иванов-слесарь. Три фигуры вырезали из бумаги, окрасили сверху и снизу.

«Методы решения логических задач» - Составим таблицу. Запишем на языке алгебры логики прогнозы. Графический способ. Методы решения логических задач. Простые высказывания. Задача Эйнштейна. В математике нет символов для неясных мыслей. Решение логических задач посредством алгебры логики. Составим таблицу истинности. Сначала приговор, потом доказательство.

«Логика как наука» - Алгебра логики (алгебра высказываний) – раздел математической логики. Языковым выражением суждений является повествовательное предложение. Античную логику, созданную Аристотелем, называют формальной логикой. Буль Джордж. Огастес де Морган. Логическое отрицание (инверсия). Формы мышления. Логика. Строгая дизъюнкция – исключающее «или».

Всего в теме «Логика» 15 презентаций
Урок

Алгебра

34 темы
Картинка 30: Буль Джордж | Презентация: Логика как наука | Тема: Логика | Урок: Алгебра