Книги жанра логическая математика
Пожалуй, одним из самых главных наблюдаемых параметров всех космологических объектов является так называемое красное смещение, на основании которого сделан вывод о расширении Вселенной. В работе рассмотрена сущность этого явления. Perhaps one of the most important observable parameters of all cosmological objects is the so-called redshift, on the basis of which the conclusion was made about the ex…
Представлены выкладки, из которых выводятся стандартные уравнения движения объектов в расширяющемся пространстве, закон Хаббла. Использованы три независимых подхода: формализм общей теории относительности, физика Ньютона и уравнения, опирающиеся на философию диалектического материализма. Все полученные в разных подходах уравнения являются согласованными и не противоречат друг другу. Приведены прим…
Во многих учебниках и статьях при объяснении сущности искривления пространства-времени, приводящего к возникновению гравитационной силы, силы притяжения используется метафора резинового листа. На лист помещают массивное тело и показывают, как другие мелкие тела скатываются к нему по искривлённой поверхности мембраны. Однако эта метафора вводит в заблуждение, создавая ощущение трёхмерности конструк…
В основу СТО Эйнштейн положил два принципа. Однако, для того чтобы получить преобразования Лоренца и все релятивистские следствия из них, достаточно только одного принципа (постулата) – инвариантности скорости света. Этот принцип является первопричиной преобразований Лоренца, единственным, необходимым и достаточным условием для их вывода, а также для провозглашения принципа относительности и равно…
Люди верят в чудеса и любят их. Хотя и говорят, что чудес на свете не бывает, но они порой обнаруживаются там, где их уж никак не ожидаешь. В квантовой механике открыто явление запутанности. Объяснение этого явления - настоящее чудо. Две квантовые частицы не обмениваются друг с другом информацией, но при этом знают, что делает каждая из них.
Рассмотрены основные этапы и направления развития искусственного интеллекта, особенности построения систем, основанных на знаниях, принципы функционирования и технология разработки экспертных систем, основные стратегии поиска решений в задачах искусственного интеллекта, а также методы представления и использования знаний: продукционный, фреймовый подходы, семантические сети, формальные логические …
Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационны…
Кратко изложен теоретический материал по дисциплине «Математическая логика и теория алгоритмов», приведены примеры решения типовых задач, представлены задачи различной сложности для решения на практических занятиях и самостоятельной работы. Предназначено для студентов направления 09.03.02 «Информационные системы и технологии», а также других направлений (09.03.04 «Программная инженерия», 27.03.03 …