Логическая математика

Считается, что одним из главных аргументов, из которого следует вывод об ускоренном расширении Вселенной, является пониженная яркость дальних сверхновых. Математическое исследование этого явления…

Рассмотрен гипотетический аналог дисковой галактики – плоский, предельно тонкий диск, внутри которого находится тело, аналог звезды. Задана функция распределения плотности диска, по которой вычис…

Рассмотрены силы, действующие на пробное тело внутри обруча, полой сферы и между двумя массивными точками. По мере удаления от центра системы сила притяжения растёт от нуля до некоторого максимум…

Говорят, что дружба начинается с улыбки. Быть может, забавные числа Фибоначии помогут многим ребятам поверить, что математика — это вовсе не строгая и высокомерная королева наук, а добрая и забот…

Рассмотрена модификация традиционной установки для телепортации квантового состояния кубита. На передающей стороне изменена на противоположную последовательность гейтов CNOT и гейта Адамара. Моди…

Считается, что для разгона космического корабля до больших, вплоть до субсветовых, скоростей необходимы значительные запасы топлива. Однако ограниченность скорости распространения гравитации прив…

Продолжение рассказов о математике Иванове. Читая их, можно поспорить с автором (что значит «один плюс один будет один»?); привлечь всю семью к обсуждению; обругать автора, который путает ребенка…

Диаграммы Пенроуза в исходном варианте являются системой координат, не имеющей принципиальных отличий, например, от традиционной декартовой системы координат. Использованное в диаграммах Пенроуза…

Пожалуй, одним из самых главных наблюдаемых параметров всех космологических объектов является так называемое красное смещение, на основании которого сделан вывод о расширении Вселенной. В работе …

Представлены выкладки, из которых выводятся стандартные уравнения движения объектов в расширяющемся пространстве, закон Хаббла. Использованы три независимых подхода: формализм общей теории относи…

Во многих учебниках и статьях при объяснении сущности искривления пространства-времени, приводящего к возникновению гравитационной силы, силы притяжения используется метафора резинового листа. На…

В основу СТО Эйнштейн положил два принципа. Однако, для того чтобы получить преобразования Лоренца и все релятивистские следствия из них, достаточно только одного принципа (постулата) – инвариант…

Люди верят в чудеса и любят их. Хотя и говорят, что чудес на свете не бывает, но они порой обнаруживаются там, где их уж никак не ожидаешь. В квантовой механике открыто явление запутанности. Объя…

Рассмотрены основные этапы и направления развития искусственного интеллекта, особенности построения систем, основанных на знаниях, принципы функционирования и технология разработки экспертных сис…

Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории…

Кратко изложен теоретический материал по дисциплине «Математическая логика и теория алгоритмов», приведены примеры решения типовых задач, представлены задачи различной сложности для решения на пр…