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

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

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

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

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

Краткое описание: 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.

Краткое описание: There is something extraordinary about New Zealand’s primeval landscape. The place is a South Pacific remnant of Gondwanaland, and the best way to see its brooding forests and cloud fringed peaks is to walk it. Whether it is bush bashing in the Waitakeres, strolling Abel Tasman’s gorgeous coastline or hunkering down from the weather on the Milford Track - spectacular is the word that defines this country.

Краткое описание: 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.

Краткое описание: Tibet: the Land of Snows, the roof of the world. For centuries this mysterious Buddhist kingdom, locked away in its mountain fastness of the Himalaya, has exercised a unique on the imagination of the West. For explorers, imperialists and traders it was a forbidden land of treasure and riches. Dreamers on a spiritual quest have long whispered of a Shangri-la, steeped in magic and mystery.

Краткое описание: 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.