Диофантовы уравнения и доказуемость в математике
Book information
Description
В книге в доступной для студентов-математиков форме доказывается теорема Матиясевича (1970 г.) о том, что всякое перечислимое множество является диофантовым.
Similar books
Диофантовы уравнения и доказуемость в математике
2008 · DJVU
Диофантовы уравнения и доказуемость в математике
2008 · DJVU
Оборонная промышленность. Специальное обозрение. Рэнкинг предприятий Российского оборонно-промышленного комплекса в 2001 г. Пухов Р. Корпорации в российском ВПК уже есть. Бендукиндзе К. «Государство должно быть вменяемым заказчиком». Макиенко К. Зачем государству оборонка. Вопрос «Фокуса»: Должны ли предприятия оборонного комплекса участвовать в финансировании гособоронзаказа?. Пядушкин Н. Экспорт - наше главное оружие. Макиенко К. Международное сотрудничество в сфере ВПК сильнее национальных интересов. («Русский фокус», 22 июля - 19 августа 2002. Специальное обозрение «Оборонная промышленность»)
DJVU
Оборонная промышленность. Специальное обозрение. Рэнкинг предприятий Российского оборонно-промышленного комплекса в 2001 г. Пухов Р. Корпорации в российском ВПК уже есть. Бендукиндзе К. «Государство должно быть вменяемым заказчиком». Макиенко К. Зачем государству оборонка. Вопрос «Фокуса»: Должны ли предприятия оборонного комплекса участвовать в финансировании гособоронзаказа?. Пядушкин Н. Экспорт - наше главное оружие. Макиенко К. Международное сотрудничество в сфере ВПК сильнее национальных интересов. («Русский фокус», 22 июля - 19 августа 2002. Специальное обозрение «Оборонная промышленность»)
DJVU
Спасибо Вам! Воспоминания. Письма. Эссе
1998 · DJVU
«Минувшее меня объемлет живо...» : к 90-летнему юбилею И. В. Гура
2013 · DJVU
Труды УНИХИМ. Выпуск 66. Исследования и разработка технологии некоторых минеральных солей
1988 · DJVU
Труды УНИХИМ. Выпуск 70. Химия и технология некоторых неорганических веществ
1993 · DJVU