Поиск по Электронному каталогу Книги

В1
Б 854

   Босс, В.
    Лекции по математике / В. Босс. - Москва : URSS.
   Т. 6 : Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя. - Изд. 3-е, испр. и доп. - 2013. - 207 с. : ил. ; 22 см. - Библиогр.: с. 202-203 (28 назв.). - Предм. указ.: с. 204-207. - ISBN 978-5-397-03412-8 : 237.00 р.

ГРНТИ

27.03.02

ББК В1 + В192

Рубрики: Математическая логика

   Вычислительная математика

Кл.слова (ненормированные):
математическая логика -- вычислительная математика -- алгоритмы (матем.) -- теоремы Геделя -- универсальные функции -- нумерации (матем.) -- доказуемость (матем.) -- математическая логика -- Диофантов язык -- десятая проблема Гильберта -- конструктивная математика -- аксиоматические теории -- теория моделей -- степени неразрешимости
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)