Подробное описание документа

Соар Р. И.
   Вычислимо перечислимые множества и степени. Изучение вычислимых функций и вычислимо перечислимых множеств / Соар Р. И. ; ред. пер. с англ. Арсланов М. М. - Казань : Казанское математическое общество, 2000. - 576 с. : ил. - Библиогр.: с. 510-548. - ISBN 5-900975-22-3.

Аннотация

Книга профессора Чикагского университета Р. И. Соара, являющаяся наиболее популярной книгой по теории вычислимости. В ней систематически излагается современное состояние теории вычислимости, приводятся открытые проблемы и описываются перспективные направления исследований. Материал дополнен большим количеством упражнений.
Книга рассчитана на читателей, интересующихся современными проблемами математической логики и теории вычислимости.

УДК

510.5 Теория алгоритмов и вычислимые функции

Предметные рубрики

• Множества теория

Общее кол-во в фондах

1 экз.

1. Преподавательский абонемент ауд.313, ГУК, ауд. 313
2. Читальный зал ауд.313, ГУК, ауд. 313