Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 1
Отмеченные записи: 0
1.
Подробнее
Ершов, Юрий Леонидович.
Определимость и вычислимость / Ю. Л. Ершов ; Российская академия наук, Институт математики, Новосибирский государственный университет, Институт дискретной математики и информатики ; Российская академия наук, Институт математики [и др.]. - 2-е изд., испр. и доп. - Москва ; Новосибирск : Экономика : Научная книга, 2000. - 318 c. : ил. - Библиогр. : с. 306-309 . - ISBN 5282020211. - ISBN 5881190297
Рубрики: обобщенная вычислимость--монографии
Кл.слова (ненормированные):
теория вычислимости -- конструируемые множества -- динамическая логика -- ∑-определимость алгебраических систем -- допустимые множества -- Геделя теорема -- Черча теорема -- теория KPU -- вычислимость на допустимых множествах -- теория допустимых множеств -- ∑-определимость -- RQ-формулы -- ∑-рекурсивные определения -- определимость алгебраических систем
Доп.точки доступа:
Российская академия наук. Институт математики
Новосибирский государственный университет
Институт дискретной математики и информатики
Экземпляры всего: 5
Абонемент учебной и научной литературы (3), Ч/З о. Русский (2)
Свободны: Абонемент учебной и научной литературы (3), Ч/З о. Русский (2)
Ершов, Юрий Леонидович.
Определимость и вычислимость / Ю. Л. Ершов ; Российская академия наук, Институт математики, Новосибирский государственный университет, Институт дискретной математики и информатики ; Российская академия наук, Институт математики [и др.]. - 2-е изд., испр. и доп. - Москва ; Новосибирск : Экономика : Научная книга, 2000. - 318 c. : ил. - Библиогр. : с. 306-309 . - ISBN 5282020211. - ISBN 5881190297
| УДК |
Рубрики: обобщенная вычислимость--монографии
Кл.слова (ненормированные):
теория вычислимости -- конструируемые множества -- динамическая логика -- ∑-определимость алгебраических систем -- допустимые множества -- Геделя теорема -- Черча теорема -- теория KPU -- вычислимость на допустимых множествах -- теория допустимых множеств -- ∑-определимость -- RQ-формулы -- ∑-рекурсивные определения -- определимость алгебраических систем
Доп.точки доступа:
Российская академия наук. Институт математики
Новосибирский государственный университет
Институт дискретной математики и информатики
Экземпляры всего: 5
Абонемент учебной и научной литературы (3), Ч/З о. Русский (2)
Свободны: Абонемент учебной и научной литературы (3), Ч/З о. Русский (2)
Страница 1, Результатов: 1