Краткое описание: В настоящее время интенсивно развивается конструктивное направление в математике, в частности, конструктивный математический анализ. Р.Л.Гудстейн является автором весьма интересного и своеобразного подхода к построению некоторых фрагментов конструктивного математического анализа. Этот подход существенно отличается (как по общему замыслу, так и по характеру центральных понятии) от подходов, использованных другими математиками; и тесно связан с введенным Гудстейном исчислением равенств,
представляющим собой аксиоматический фрагмент теории рекурсивных арифметических функций, обладающий рядом важных достоинств.

Краткое описание: Монография Р.Фейса представляет собой самый полный из имеющихся в мировой литературе обзор формальных систем модальной логики. Изложение материала, при всей своей строгости, вполне элементарно и не требует, по существу, от читателя никаких предварительных познаний в области логики. Русское издание книги Фейса снабжено приложениями: переводами известных работ С.Крипке и К.Шютте, посвященных самым современным исследованиям в данной области - вопросам семантики и полноты модальных исчислений, а также обзором редактора перевода Г.Е.Минца, резюмирующим исследования последних лет. В результате книга стала единственным в своем роде по полноте справочным изданием по рассматриваемому кругу проблем.

Краткое описание: Метаматематика это теория, изучающая формализованные математические теории. Формализованная теория - это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и термами, и множество некоторых простых операций, производимых над этими последовательностями. Формулы и термы, получаемые с помощью нескольких простых правил, служат заменой для предложений и функций интуитивной математической теории.

Краткое описание: Понятия алгоритма и вычислимой функции являются одними из центральных понятий современной математики. Их роль в математике середины ХХ в. можно, пожалуй, сравнить с ролью понятия множества в математике конца ХIХ в. Настоящие «Лекции» посвящены изложению основ теории вычислимых функций (проводимому на базе принятого в настоящее время отождествления их - для случая функций с натуральными аргументами и значениями - с частично-рекурсивными функциями), а также некоторым приложениям этой теории.

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

В книге систематически излагаются результаты, появившиеся в последнее время в периодической литературе как в нашей стране, так и за рубежом. Эти результаты позволяют по-новому решать проблему синтеза, используя формальные языки математической логики и методы, основанные на анкетировании (опросе) заказчика.

Краткое описание: Как известно, к началу 20-го века, благодаря работам Коши, Больцано, Вейерштрасса, и др., математический анализ получил свое обоснование на базе канторовской теории множеств. Теоретико-множественные методы позволили перейти от расплывчатых «динамических» концепций старого анализа бесконечно малых к строгой статической. системе понятий современной теории пределов…

Краткое описание: В последнее время результаты Поста дали выход за пределы алгебры логики. Они нашли свое приложение в решении вопросов синтеза управляющих систем и в исследовании надежности управляющих систем. Результаты Поста являются существенным вкладом в алгебру логики и расширяют возможности ее приложений. Знакомство с этими исследованиями будет, несомненно, интересным для специалистов в области логики, алгебры и теоретической кибернетики.

Краткое описание: Russia’s ambitions turned eastward towards the immense Siberian hinterland and distant Pacific coastline. Russia sought to consolidate existing holdings and to extend her influence in the region. At stake was Russia’s claim over the still undeveloped and even undiscovered natural wealth of inner Eurasia. But these ambitions were checked by the Russian state’s limited reach across these far-flung eastern territories. Until this time, the distance between St.Petersburg and the Pacific was measured in an arduous overland trek or a hazardous sea voyage. The solution was found in the construction of the world’s longest railroad, the Great Siberian Railway.

Краткое описание: Tokyoites inhabit a singular capital inimitably yoking past and future, where Zen temples nestle in sd-fl cityscapes and centuries-old madness for cherry blossoms coexists with an insatiable desire for nonstop novelty.

Old and new are forever juxtaposed in Tokyo: its residents are at home both donning loincloths to shoulder a portable Shinto shrine through Asakusa’s religious festivals and piloting humanoid fighting machines in Akihabara’s robot sport tournaments. Tradition, happily, is not ossified, but feted along with innovation.

Краткое описание: The Netherlands is an exceedingly user-friendly place to visit. Up-to-date information is plentiful, almost every Dutch person speaks decent English, transport links are swift, and there’s an abundance of sights and activities. All this means you can add a fair amount of spontaneity to your trip.

That said, a bit of foresight is helpful to pinpoint sights that match your interests, and to get the timing right - the bulb fields aren’t much to look at before the blossoms open. It’s also advisable to think about accommodation beforehand, as Amsterdam’s best (and sometimes worst) hotels book up months in advance, and other towns may have limited sleeping options.