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

Базы данных:

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

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

Виды поиска:

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

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

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

1..20 21..40 41..60 61..80 81..100

41.

В12я43
И88

Исследования по теории множеств и неклассическим логикам [Текст] : нелитературный текст. - М. : Наука, 1976. - 328с. - 10.00 р.

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

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

42.

В12
М21

Мальцев, Анатолий Иванович.
Алгоритмы и рекурсивные функции [Текст] : нелитературный текст / А. И.Мальцев. - М. : Наука, 1965. - 391с. - 10.00 р.

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

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

43.

В126
К76

Коэн, Пол Дж.
Теория множеств и континуум-гипотеза [Текст] : нелитературный текст / Пол Дж.Коэн ; Пер.с англ. - М. : Мир, 1969. - 347с. - (Б-ка сборника"Математика"). - 5.00 р.

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

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

44.

В12я73-4
Л13

Лавров, Игорь Андреевич.
Задачи по теории множеств,математической логике и теории алгоритмов [Текст] : нелитературный текст / И.А.Лавров,Л.Л.Максимова. - 3-е изд. - М. : Физматлит, 1995. - 255с. - ISBN 5-02-014844-Х : 5.00 р.

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

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

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

45.

В127
П29

Петер, Р.
Рекурсивные функции [Текст] : нелитературный текст / Р.Петер ; Под ред.А.Н.Колмогорова.Пер.с нем. - М. : Иностр.лит., 1954. - 264с. - 10.00 р.

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

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

46.

В12я73
М30

Марченков, Сергей Серафимович.
Булевы функции [Текст] : нелитературный текст / С. С.Марченков. - М. : Физматлит, 2002. - 69с. - (Популярные лекции по математике). - ISBN 5-9221-0253-2 : 20.00 р.

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

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

47.

В12
К92

Купиллари, А.
Трудности доказательств [Текст] : как преодолеть страх перед математикой / А.Купиллари ; Пер.с англ. - М. : Техносфера, 2002. - 303с. - (Мир математики). - ISBN 5-94836-003-2 : 50.00 р.

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

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

48.

В12
М54

Методологический анализ оснований математики [Текст] : нелитературный текст / Отв.ред.М.И.Панов. - М. : Наука, 1988. - 175с. - ISBN 5-02-008094-2 : 10.00 р.

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

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

49.

В126
Б91

Бурбаки, Н.
Теория множеств [Текст] : нелитературный текст. Кн.1.Ч.1. Основные структуры анализа / Н.Бурбаки ; Пер.с фр. - [Б. м. : б. и.]. - 455с. - (Начала математики). - 40.00 р.

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

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

50.

В126
Х20

Харазишвили, Александр Бежанович.
Элементы комбинаторной теории бесконечных множеств [Текст] : нелитературный текст / А. Б.Харазишвили. - Тбилиси : ТГУ, 1981. - 198с. - 5.00 р.

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

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

51.

В126
Х26

Хаусдорф, Ф.
Теория множеств [Текст] : нелитературный текст / Ф.Хаусдорф ; Пер.с нем. - М.-Л. : Техтеоретлит, 1937. - 455с. - 20.00 р.

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

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

52.

В12я54
И88

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

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

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

53.

В12
Ш47

Шенфилд, Джозеф.
Степени неразрешимости [Текст] : нелитературный текст / Д.Шенфилд ; Пер.с англ. - М. : Наука, 1977. - 192с. - (Математическая логика и основания математики). - 10.00 р.

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

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

54.

В12
Р24

Расева, Елена.
Математика метаматематики [Текст] : нелитературный текст / Е.Расева ; Пер.с англ. - М. : Наука, 1972. - 591с. - (Математическая логика и основания математики). - 10.00 р.

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

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

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

55.

В127
Е80

Ершов, Юрий Леонидович.
Теория нумераций [Текст] : нелитературный текст / Ю. Л.Ершов. - М. : Наука, 1977. - 416с. - (Математическая логика и основания математики). - 10.00 р.

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

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

56.

В12я43
С87

Ершов, Ю. Л.
Структурные алгоритмические свойства вычислимости [Текст] : сборник науч.трудов / Науч.ред.Ю.Л.Ершов,С.С.Гончаров.Ин-т математики СО РАН. - Новосибирск : [б. и.], 1996. - 152с. - (Вычислительные системы.Вып.156). - 10.00 р.

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

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

57.

В12я43
М74

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

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

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

58.

В12я43
О-21

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

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

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

59.

В12я43
Т65

Традиционная логика и канторовская диагональная процедура [Текст] : нелитературный текст / Отв.ред.Е.А.Зайцев. - М. : Янус-К, 1997. - 32с. - ISBN 5-88929-048-7 : 5.00 р.

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

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

60.

В126
Л83

Лузин, Н. Н.
Лекции об аналитических множествах и их приложениях [Текст] : нелитературный текст / Н. Н.Лузин. - М. : Гостехиздат, 1953. - 359с. - (Б-ка русской науки.Математика,механика,физика,астрономия). - 10.00 р.

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

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

1..20 21..40 41..60 61..80 81..100