Описание: В книге в доступной для студентов-математиков форме доказывается теорема Матиясевича (1970 года) о том, что всякое перечислимое множество является диофантовым.
Цена: 107 руб.
Знаете ли Вы, что ...
Хроническое заболевание
Хроническое заболевание (chronic) - термин используется для описания длительно протекающего заболевания с медленно возникающими ...
Опасный производственный фактор
Опасный производственный фактор - производственный фактор, воздействие которого на работника может привести к его травме (ст. ...
Компенсация
Компенсация (compensation) - возмещение какого-либо функционального или структурного недостатка. Например, компенсация ...
Вредный производственный фактор
Вредный производственный фактор - производственный фактор, воздействие которого на работника может привести к его заболеванию ...
