Скачать
презентацию
<<  Теорема Кантора Геометрия  >>
Границы математики

Границы математики. Диагональ Рассела – противоречие. Диагональ Кантора – теорема. Множество действительных чисел не равномощно множеству натуральных. Существует ли бесконечное множество действительных чисел, не равномощное ни всему множеству действительных чисел, ни множеству натуральных чисел? Кантор считал, что нет (Гипотеза Континуума) – содержание Первой Проблемы Гильберта. Гедель доказал в 1940 году, что Гипотезу Континуума нельзя опровергнуть: она не приводит к противоречию (если теория множеств без нее – не противоречива). Пол Коэн (02.04.1934 – 23.03.2007) доказал в 1964 году, что Гипотезу Континуума нельзя доказать, если принять естественную систему аксиом о множествах. 8. 01.11.2014.

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

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

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

Логика

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

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

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

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

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

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

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

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

Алгебра

34 темы
Картинка 9: Границы математики | Презентация: Введение в логику | Тема: Логика | Урок: Алгебра