Skip to content 
el cat en
База данных: Electronic catalog FEFU
Page 1, Results: 4
Отмеченные записи: 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)
2.
Подробнее
Гилберт, Давид.
Основания математики. Теория доказательств / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного. - Москва : Наука, 1982. - 652 c. - (Математическая логика и основания математики)
Кл.слова (ненормированные):
математическая логика -- логические исчисления -- арифметика -- математика -- логический формализм -- предикаты -- Черча теорема
Доп.точки доступа:
Бернайс, Пауль
Нагорный, Н. М. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Гилберт, Давид.
Основания математики. Теория доказательств / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного. - Москва : Наука, 1982. - 652 c. - (Математическая логика и основания математики)
| УДК |
Кл.слова (ненормированные):
математическая логика -- логические исчисления -- арифметика -- математика -- логический формализм -- предикаты -- Черча теорема
Доп.точки доступа:
Бернайс, Пауль
Нагорный, Н. М. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
3.
Подробнее
Катленд, Найджел.
Вычислимость. Введение в теорию рекурсивных функций / Н. Катленд ; пер. с англ. А. А. Мучника. - Москва : Мир, 1983. - 256 c. : ил., табл. - Библиогр. : с. 252-254.
Парал. тит. л. на англ. яз.
Кл.слова (ненормированные):
математика -- вычислимые функции -- теория вычислимых функций -- Майхилла теорема -- арифметика -- Геделя теорема -- Черча теорема -- теория рекурсивных функций -- вычисления (математика) -- программирование
Доп.точки доступа:
Мучник, А. А. \пер.\
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Катленд, Найджел.
Вычислимость. Введение в теорию рекурсивных функций / Н. Катленд ; пер. с англ. А. А. Мучника. - Москва : Мир, 1983. - 256 c. : ил., табл. - Библиогр. : с. 252-254.
Парал. тит. л. на англ. яз.
| УДК |
Кл.слова (ненормированные):
математика -- вычислимые функции -- теория вычислимых функций -- Майхилла теорема -- арифметика -- Геделя теорема -- Черча теорема -- теория рекурсивных функций -- вычисления (математика) -- программирование
Доп.точки доступа:
Мучник, А. А. \пер.\
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
4.
Подробнее
Клини, С. К.
Математическая логика / С. К. Клини ; пер. с англ. Ю. А. Гастева. - Москва : Мир, 1973. - 480 c. : табл. - Библиогр. : с. 451-465.
Парал. тит. л. на англ. яз.
Рубрики: математическая логика--монографии
Кл.слова (ненормированные):
рекурсивные функции -- Тьюринга машина -- Черча теорема -- исчисление предикатов -- вычислимость -- исчисление высказываний -- разрешимость -- Геделя теорема -- основания математики -- теория моделей -- теория доказательств -- Скулема парадокс -- Генцена теорема -- формальные системы, метаматематика -- формальная арифметика -- Эрбрана теорема
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Клини, С. К.
Математическая логика / С. К. Клини ; пер. с англ. Ю. А. Гастева. - Москва : Мир, 1973. - 480 c. : табл. - Библиогр. : с. 451-465.
Парал. тит. л. на англ. яз.
| УДК |
Рубрики: математическая логика--монографии
Кл.слова (ненормированные):
рекурсивные функции -- Тьюринга машина -- Черча теорема -- исчисление предикатов -- вычислимость -- исчисление высказываний -- разрешимость -- Геделя теорема -- основания математики -- теория моделей -- теория доказательств -- Скулема парадокс -- Генцена теорема -- формальные системы, метаматематика -- формальная арифметика -- Эрбрана теорема
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Page 1, Results: 4