Краткое описание: For those of you who came in late, in 2004 there was a popular revolution in Ukraine. And while that Orange-clad uprising failed to leave the nation basking in a happily-ever-after future, it was a revolution that, contrary to the famous dictum, didn’t eat its children.

The map remains the same, with the awe-inspiring, monumental capital of Kyiv at its heart, irrepressible Odessa and striking Crimea on its southern shores, plus cosy central-European Lviv near rolling western hills.

Краткое описание: If you get it right, travelling in Tuscany and Umbria is one of those rare experiences in life - like a perfect spring day or the power of first love - that cannot be overrated. Despite incessant praise, the bellezza (beauty) of this region continues to defy description, for Tuscany and Umbria, it seems, really do have it all: extraordinary art and architecture; colourfulfeste; a season-driven cuisine emulated the world over; and a never-ending landscape of olive groves, vineyards and poplars. In few places do art and life intermingle so completely.

Краткое описание: Fate has put Turkey at the junction of two continents. As a land bridge, a meeting point and a battleground, it has seen peoples moving in both directions between Europe and Asia throughout recorded history. That human traffic has left monuments and debris, dynasties and lasting cultural legacies, all of which have contributed to the character of modern Turkey. Turkish history is such a hugely rich patchwork of overlapping eras and empires that it boasts figures, events and phenomena familiar even to the layperson.

Краткое описание: Если Вы решили научиться рисовать или задумали усовершенствовать свои навыки, можете теперь не тратить много времени и сил на поиск специализированной литературы. Уроки изобразительного искусства – теорию и практические упражнения – вы найдете в нашем журнале. Вы научитесь составлять натюрморт, придавать предметам объем, писать портрет, рисовать цветы, деревья, животных. А если сомневаетесь, что лучший подарок – то, что Вы вложили свое умение и душу, убедитесь в этом, самостоятельно (с нашей маленькой подсказкой) изготовив коллаж, открытку, елочную игрушку. Только запаситесь терпением – и все у Вас получится, как у настоящих художников.

Краткое описание: Если Вы решили научиться рисовать или задумали усовершенствовать свои навыки, можете теперь не тратить много времени и сил на поиск специализированной литературы. Уроки изобразительного искусства – теорию и практические упражнения – вы найдете в нашем журнале. Вы научитесь составлять натюрморт, придавать предметам объем, писать портрет, рисовать цветы, деревья, животных. А если сомневаетесь, что лучший подарок – то, что Вы вложили свое умение и душу, убедитесь в этом, самостоятельно (с нашей маленькой подсказкой) изготовив коллаж, открытку, елочную игрушку. Только запаситесь терпением – и все у Вас получится, как у настоящих художников.

Краткое описание: Если Вы решили научиться рисовать или задумали усовершенствовать свои навыки, можете теперь не тратить много времени и сил на поиск специализированной литературы. Уроки изобразительного искусства – теорию и практические упражнения – вы найдете в нашем журнале. Вы научитесь составлять натюрморт, придавать предметам объем, писать портрет, рисовать цветы, деревья, животных. А если сомневаетесь, что лучший подарок – то, что Вы вложили свое умение и душу, убедитесь в этом, самостоятельно (с нашей маленькой подсказкой) изготовив коллаж, открытку, елочную игрушку. Только запаситесь терпением – и все у Вас получится, как у настоящих художников.

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

Краткое описание: Предлагаемая вниманию читателей книга Дж.Шенфилда посвящена изложению основных результатов о степенях неразрешимости (тьюринговых степенях). Эти результат традиционно считаются трудными, так как в их доказательствах используются различные формы так называемого «метода приоритетов». Автор книги поставил перед собой цель изложить материал в максимально простой и интуитивно оправданной форме. И нужно сказать, что это ему в основном удалось…

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

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

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