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

Базы данных:

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

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

Виды поиска:

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

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

Поисковый запрос: (<.>S=Основания математики<.>)
Общее количество найденных документов : 124 Показаны документы с 81 по 100

41..60 61..80 81..100 101..120 121..124

81.

В12я73
Л68

Ловягин, Ю. Н.
Элементы теории моделей [Текст] : учеб. пособие по спецкурсу / Ю. Н.Ловягин. - Сыктывкар : Изд-во СГУ, 1992. - 99 с. - 5.00 р.

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

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

82.

В12я54
М34

Математическая логика и алгоритмические проблемы [Текст] : нелитературный текст / Отв. ред. Ю. Л. Ершов; АН СССР. Сибирское отд-ние. - Новосибирск : Наука, 1989. - 189 с. - (Труды Ин-та математики, том.12). - ISBN 5-02-028623-0 : 20.00 р.

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

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

83.

В12я54
И88

Исследования по конструктивной математике и математической логике. I [Текст] : сборник работ / Под ред. А. О. Слисенко. - М. : Вычислительный центр АН СССР, 1967. - 218 с. - (Записки научных семинаров Ленинградского отделения Математического ин-та им. В. А. Стеклова АН СССР(ЛОМИ). Т.4). - 10.00 р.

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

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

84.

В127
Р60

Роджерс, Х.
Теория рекурсивных функций и эффективная вычислимость [Текст] : нелитературный текст / Х.Роджерс ; Пер. с англ. - М. : Мир, 1972. - 624 с. - 30.00 р.

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

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

85.

В126
К94

Кусраев, Анатолий Георгиевич.
Нестандартные методы анализа [Текст] : нелитературный текст / А. Г. Кусраев, С. С. Кутателадзе ; Отв. ред. Ю. Г. Решетняк. - Новосибирск : Наука, 1990. - 344 с. - ISBN 5-02-029344-Х : 30.00 р.

ББК В126
Рубрики: основания математики
Кл.слова (ненормированные):
б-ка Русина -- теория множеств -- нестандартные модели -- инфинитезимальный анализ

Держатели документа:
ЯрГУ

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

86.

В127
М29

Мартин-Лёф, Пер.
Очерки по конструктивной математике [Текст] : нелитературный текст / П. Мартин-Лёф. Пер. с англ. - М. : Мир, 1975. - 136 с. - (Б-ка сборника "Математика"). - 10.00 р.

ББК В127
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- конструктивная математика -- конструктивный анализ

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

87.

В126
М84

Мостовский, Анджей.
Конструктивные множества и их приложения [Текст] : нелитературный текст / А.Мостовский ; Пер.с англ. - М. : Мир, 1973. - 256 с. - 20.00 р.

ББК В126
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- множества -- теория множеств

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

88.

В127я54
П78

Оревков, В. П.
Проблемы конструктивного направления в математике. 4 [Текст] : сборник работ / под ред. В. П. Оревкова, Н. А. Шанина. - Л. : Наука, 1967. - 264 с. - (Математический ин-т им. В. А. Стеклова. Труды. Т. 93). - 40.00 р.

ББК В127я54
Рубрики: основания математики
логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- конструктивная математика -- исчисление

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

89.

В12я43
М74

Модели когнитивных процессов [Текст] : сборник научных трудов / Науч. ред. К. Ф. Самохвалов; РАН. Сибир. отд-ние, Ин-т математики им. С. Л. Соболева. - Новосибирск : Ин-т математики СО РАН, 1998. - 112 с. - (Вычислительные системы, 164). - 15.00 р.

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

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

90.

В12
П39

Плоткин, Борис Исакович.
Универсальная алгебра,алгебраическая логика и базы данных [Текст] : нелитературный текст / Б. И.Плоткин. - М. : Наука, 1991. - 446 с. - ISBN 5-02-014635-8 : 15.00 р.

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

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

91.

В126я73
А46

Александров, Павел Сергеевич.
Введение в теорию множеств и общую топологию [Текст] : учеб. пособие для вузов / П. С. Александров ; М-во высш. и ср. спец. образования СССР. - М. : Наука, 1977. - 367 с. - 5.00 р.

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

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

92.

В126
В44

Виленкин, Наум Яковлевич.
Рассказы о множествах [Текст] : нелитературный текст / Н. Я. Виленкин. - 2-е изд., испр. и доп. - М. : Наука, 1969. - 160 с. - 5.00 р.

ББК В126
Рубрики: основания математики
Кл.слова (ненормированные):
б-ка Русина -- множества -- теория множеств

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

93.

В126
В74

Вопенка, Петр.
Математика в альтернативной теории множеств [Текст] : нелитературный текст / П. Вопенка ; Пер.с англ. - М. : Мир, 1983. - 150 с. - (Математика.Новое в зарубежной науке.Вып.31). - 10.00 р.

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

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

94.

В127
У77

Успенский, Владимир Андреевич.
Лекции о вычислимых функциях [Текст] : нелитературный текст / В. А. Успенский. - М. : Физматгиз, 1960. - 492 с. - (Математическая логика и основания математики). - 5.00 р.

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

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

95.

В12я54
И88

Матиясевич, Ю. В.
Исследования по конструктивной математике и математической логике.6 [Текст] : сборник работ / Под ред. Ю. В. Матиясевича, А. О. Слисенко. - Л. : Наука, 1974. - 163 с. - (Записки научных семинаров ЛОМИ,том 40). - 5.00 р.

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

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

96.

В12я54
И88

Слисенко, А. О.
Исследования по конструктивной математике и математической логике.3 [Текст] : сборник работ / Под ред. А. О. Слисенко. - Л. : Наука, 1969. - 187 с. - (Записки научных семинаров ЛОМИ,том 16). - 5.00 р.

ББК В12я54
Рубрики: логика
основания математики
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- конструктивная математика -- машинный алгорифм -- закон больших чисел

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

97.

В12я73
Е80

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

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

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

98.

В127
М38

Эббинхауз, Г. -Д.
Машины Тьюринга и рекурсивные функции [Текст] : нелитературный текст / Г.-Д. Эббинхауз, К. Якобс, Ф.-К. Ман, Г. Хермес. Пер. с нем. - М. : Мир, 1972. - 264 с. - ("Современная математика". Попул. серия). - 5.00 р.

ББК В127
Рубрики: основания математики
Кл.слова (ненормированные):
б-ка Русина -- рекурсивные функции -- машины Тьюринга

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

99.

В12я54
М34

Никольский, С. М.
Математическая логика, теория алгоритмов и теория множеств [Текст] : сборник работ / С. М.Никольский ; под ред. С. М. Никольского. - М. : Наука, 1973. - 275 с. - (Математический ин-т им. В. А. Стеклова. Труды. Т. 133). - 10.00 р.
Посвящается академику Петру Сергеевичу Новикову к его семидесятилетию.

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

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

100.

В126я54
К34

Келдыш, Л. В.
Структура В- множеств [Текст] : нелитературный текст / Л. В. Келдыш. - М. ; Л. : Изд- во АН СССР, 1945. - 74 с. - (Математический ин-т им. В. А. Стеклова. Труды. Т. 17). - 10.00 р.

ББК В126я54
Рубрики: основания математики
Кл.слова (ненормированные):
б-ка Русина -- множества -- структура В-множеств

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

41..60 61..80 81..100 101..120 121..124