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

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

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

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

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

Логика

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

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

«Математическая логика» - Закон исключения третьего. Логические формулы. Высказывания. Таблица истинности - перебор всех возможных комбинаций. Дизъюнкция высказываний. Логика-это наука, изучающая формы и законы мышления. Математическая логика. Эквивалентность высказываний. Импликация высказываний. Моделирование логической структуры правовой нормы.

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

«Методы решения логических задач» - Решение логических задач посредством алгебры логики. Составим таблицу истинности. На всякого мудреца довольно простоты. Записать условие на языке алгебры логики. Самостоятельная работа. Тип задач. Метод логических рассуждений. Выделить в тексте задачи рассматриваемые объекты. Задача. В математике нет символов для неясных мыслей.

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

«Примеры решения логических задач» - Сергей изучает китайский. Вадим изучает китайский. Юноша. Клуб служебного собаководства. Задание для закрепления. Маргарита вырастила розы. Кто стоит рядом с тобой. Жигули. Роза вырастила анютины глазки. Хозяин Лаймы. Бог Дипломатии. Способы решения. Машина. Истинное высказывание. Одно из высказываний истинно, а другое ложно.

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

Алгебра

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