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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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