Описание: Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Геделя, например, доказываются в несколько строчек. Для студентов, преподавателей, инженеров и научных работников.
Цена: 282 руб.
Знаете ли Вы, что ...
Фактор риска
Фактор риска (riskfactor) - характерный признак, такой, как привычка человека (например, курение) или воздействие ...
Обострение
Обострение (recrudescence) - рецидив заболевания после периода клинического улучшения или ремиссии ...
Здоровье
Здоровье - это состояние полного физического, духовного и социального благополучия, а не только отсутствие болезней или ...
Вредный производственный фактор
Вредный производственный фактор - производственный фактор, воздействие которого на работника может привести к его заболеванию ...
Витализм
Витализм (от лат. vitalis - жизненный) - течение в биологии, признающее наличие в организмах нематериальной сверхъестественной ...
Эпидемический очаг
Эпидемический очаг - место пребывания источников инфекции с прилегающей территории, в пределах которой в конкретной обстановке ...
