 | УЧЕБНИКИ |
|
| |
| |
| |
Учебники для вузов: НовинкиДля связи: info@vuz-uchebniki.ru
| |
| |
высшее образование / учебники для вузов / литература для студентов и педагогов / литература для аспирантов |
В. Босс
Лекции по математике. Том 6. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. Учебное пособие
Либроком, 2015 Страниц: 208 Формат: 62x90/16 Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Гёделя, например, доказываются в несколько строчек. Для студентов, преподавателей, инженеров и научных работников. Категории каталога: Основания математики. Математическая логика. Теория чисел |
|
Студенту на заметку:
На Землю прилетали космические пришельцы
В метеоритах ученые нашли внеземные нуклеобазы 0элементы, из которых состоит ДНК всех живых существ. А это значит, что жизнь на Землю была занесена из космоса. Раньше это была лишь одна из версий, теперь она практически доказана. Специалисты американского аэрокосмического агентства (NASA) с коллегами из вашингтонского института Карнеги пришли к выводу, что химия внутри астероидов [...]
В Млечном пути нашли [зоны жизниk
В нашей Галактике всего может быть около 50 миллиардов планет, и почти 500 миллионов из них могут быть потенциально пригодны для жизни. Всего же их во Вселенной, как полагают специалисты, может насчитываться 100 миллиардов. Соответственно и пригодных для жизни объектов – вдвое больше. Такие данные были представлены на прошлогодней ежегодной конференции Американской ассоциации содействия развитию [...]
|
