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