Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных:

Сводный каталог НТЛ по Ярославской области

Электронный каталог выпускных квалификационных работ

Виды поиска:

Поиск в найденном

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=определимость<.>)
Общее количество найденных документов : 3 Показаны документы с 1 по 3

1..3

В12я43
О-21

Ершов, Ю. Л.
Обобщенная вычислимость и определимость [Текст] : сборник науч.трудов / Под ред.Ю.Л.Ершова,С.С.Гончарова.Ин-т математики СО РАН. - Новосибирск : [б. и.], 1998. - 175с. - (Вычислительные системы.Вып.161). - 15.00 р.

ББК В12я43
Рубрики: основания математики
кибернетика
Кл.слова (ненормированные):
б-ка Русина -- математическая кибернетика -- семантическое программирование -- теория моделей -- математические модели вычислимости

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие

В12я73
Е80

Ершов, Юрий Леонидович.
Е-определимость и теорема Гёделя о неполноте [Текст] : учеб. пособие для вузов / Ю. Л. Ершов. - Новосибирск : Научная книга, 1995. - 75 с. - ISBN 5-88119-003-3 : 10.00 р.

ББК В12я73
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- теория алгоритмов -- множества допустимые -- рекурсивные функции -- учебник В12

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие

В12
Е80

Ершов, Юрий Леонидович.
Определимость и вычислимость [Текст] : нелитературный текст / Ю. Л. Ершов. - Новосибирск : Научная книга, 1996. - 286 с. - (Сибирская школа алгебры и логики). - ISBN 5-88119-007-7 : 50.00 р.

ББК В12
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- определимость -- вычислимость -- теория допустимых множеств -- динамическая логика

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие

1..3