Описание: Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Геделя, например, доказываются в несколько строчек. Для студентов, преподавателей, инженеров и научных работников.
Цена: 282 руб.
Знаете ли Вы, что ...
Условия труда
Условия труда - совокупность факторов производственной среды и трудового процесса, оказывающих влияние на работоспособность и ...
Отек
Отек (oedema) - скопление избыточного количества жидкости в тканях; по-другому данное состояние называется водянкой (dropsy). ...
Лихорадка
Лихорадка (fever) или пирексия (pyrexia) - повышение температуры тела по сравнению с нормальной (т.е. выше оральной ...
Действие мутагенное
Действие мутагенное - влияние факторов, вызывающих изменение генотипа как в естественных, так и в искусственно созданных ...
