Насквозь дырявый континуум: от языка абстракций к языку образов и обратно
Сущность Континуум-Гипотезы Кантора как основы мета-математики ("теории доказательства") и математической логики. Конитивная семантическая визуализация проблемы континуума, его трансляционная фрактальность. Когнитивная визуализация монадологии Лейбница.
| Рубрика | Математика |
| Предмет | Математика |
| Вид | статья |
| Язык | русский |
| Прислал(а) | Аля |
| Дата добавления | 17.01.2018 |
| Размер файла | 60,2 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
История возникновения и развития математической логики как раздела математики, изучающего математические обозначения и формальные системы. Применение математической логики в технике и криптографии. Взаимосвязь программирования и математической логики.
контрольная работа [50,4 K], добавлен 10.10.2014Применение методов математической логики и других разделов высшей математики в задачах теоретической лингвистики при анализе письменной речи на русском и английском языках. Исследование и распознавание речевых единиц. Методы математической логики.
реферат [39,8 K], добавлен 01.11.2012Центр инверсии: обозначение, пример отображения. Понятие о плоскости симметрии. Порядок оси симметрии, элементарный угол поворота. Физические причины отсутствия осей порядка более 6. Пространственные решетки, инверсионная ось, элементы континуума.
презентация [173,7 K], добавлен 23.09.2013Теорія множин як абстрактно-теоретична наука про множини довільної природи, розгляд головних проблем. Загальна характеристика теореми Кантора-Берштейна. Знайомство з властивостями множин потужності континууму. Аналіз діяльності математика К. Геделя.
курсовая работа [325,6 K], добавлен 27.04.2016Свойства множества Кантора. Исследование заданной функции на непрерывность. Выражение множества B (кладбище Серпинского) и D (гребёнка Кантора) через множество Кантора. Свойства и построение всюду непрерывной, но нигде не дифференцируемой функции.
курсовая работа [1,1 M], добавлен 24.06.2015Основы формальной логики Аристотеля. Понятия инверсии, конъюнкции и дизъюнкции. Основные законы алгебры логики. Основные законы, позволяющие производить тождественные преобразования логических выражений. Равносильные преобразования логических формул.
презентация [67,8 K], добавлен 23.12.2012Определение формулы исчисления высказываний, основные цели математической логики. Построение формул алгебры высказываний. Равносильность формул исчисления высказываний, конъюнктивная и дизъюнктивная нормальная форма. Постановка проблемы разрешимости.
контрольная работа [34,3 K], добавлен 12.08.2010Нечеткая логика как раздел математики, являющийся обобщением классической логики и теории множеств, базирующийся на понятии нечеткого множества. Основные правила и законы данной логики, алгоритм Мамдани. Содержание и принципы решения задачи о парковке.
курсовая работа [1,4 M], добавлен 22.04.2014Формулировка гипотезы Билля и методика ее краткого доказательства. Анализ составляющих гипотезу алгебраических выражений. Использование метода замены переменных при доказательстве гипотезы Билля, не имеющей решения при целых положительных числах.
творческая работа [20,7 K], добавлен 07.06.2009Решения задач дискретной математики: диаграммы Эйлера-Венна; высказывание в виде формулы логики высказываний и формулы логики предикатов; СДНФ и СКНФ булевой функции. При помощи алгоритма Вонга и метода резолюции выяснить является ли клауза теоремой.
контрольная работа [133,5 K], добавлен 08.06.2010
