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

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

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

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

Краткое описание: Whether it’s a lazy beach holiday you’re after or a solitary tour around remote villages, myriad mangrove swamps and endless savannah plains, you’ll be well served in Gambia and Senegal.

For a brief stay in the built-up tourist zones - such as the Atlantic resorts in The Gambia, and Saly and Cap Skiring in Senegal - you won’t need much advance preparation, next to none if you travel with an organised tour.

Краткое описание: There’s an expression from the 1980s: “Wake up Australia, Tasmania is floating away!” These days, however, mainland Australia is wide awake to the loveliness of its Apple Isle and holds it close to its heart.

Top of your to-do list should be a close encounter with the state’s wild places: the curves of Wineglass Bay, the far-flung Tarkine forests, the crags of Cradle Mountain. Almost a quarter of Tassie (as it’s affectionately known) is classed as a World Heritage Area or national park - an inspirational backdrop of jagged mountain peaks and near-impenetrable rainforest, soaring sea cliffs and fragile alpine moorlands. Experience it first hand with world-class

Краткое описание: Serengeti, Ngorongoro, Kilimanjaro, Zanzibar... The names roll off the tongue like a roster call of Africa’s most alluring destinations, all packed into one country. Resonating with hints of the wild and exotic, these four alone are reason enough to justify packing your bag and heading off to Tanzania. But the list isn’t finished. Bagamoyo, Tabora, Ujiji - stops on the 19th-century caravan routes into the heart of what was then an unknown continent. Kigoma, Kalema, Kipili, Kasanga - bustling outposts along the remote Lake Tanganyika shoreline. Selous - Africa’s largest protected area. Ruaha and Katavi - insider tips for serious safarigoers. Mahale and Gombe - prime destinations for seeing chimpanzees in the wild.

Краткое описание: Учим английский с героями Диснея. Мой дом

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

Краткое описание: Учим английский с героями Диснея. 101 далматинец: щенки в опасности

Собаки Понго и Пердита счастливо живут со своими пятнадцатью щенками, пока однажды в их дом не приходит Круэлла. Она похищает щенят. Как Поиго и Пердита спасут своих малышей от страшной участи?
- Приключенческая история Диснея на английском языке.
- Адаптированный перевод с ключевыми словами на каждой странице.
- Для детей, начинающих изучать английский язык.

Краткое описание: Учим английский с героями Диснея. Мой день

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

Краткое описание: Учим английский с героями Диснея. Дом милый дом

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