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

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

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

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

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

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

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

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

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

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

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

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

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

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