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

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

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

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

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

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

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

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

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

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