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

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

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

Краткое описание: Images of sweeping white-sand beaches, palm trees, colourful fish and dramatic karst formations rising from the sea are the essence of our idea of a tropical paradise. But this is reality in Thailand’s islands and beaches - and a bit more. That southern Thailand can cater to almost any taste adds to the allure. The footprints in the sand could be yours and yours alone. Or you can stomp the ground with thousands of others at a heaving full moon party. Enjoy Thailand’s islands and beaches whichever way you choose.

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

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

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

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

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

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

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

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

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

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

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