Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=теория моделей<.>)
Общее количество найденных документов
:
11
Показаны документы
с 1 по 11
1..11
1.
В162
Ш68
Шлепаков, Сергей Петрович
.
О решениях функциональных уравнений в некоторых разрешимых
теория
х [Текст] : автореф. дисс. на соиск. уч. степ. кан. физ.-мат. наук. 01.01.06 / С. П. Шлепаков ; МГУ. - М. : [б. и.], 2005. - 12 с. - б/ц
ББК
В162
Рубрики:
математический анализ
Кл.слова (ненормированные):
авторефераты В162
--
фуекциональный анализ
--
функциональные уравнения
--
теория
унификаций
--
теория
моделей
Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
2.
В12
Р58
Робинсон, Авраам
.
Введение в теорию
моделей
и метаматематику алгебры [Текст] : нелитературный текст / А.Робинсон ; Пер.с англ. - М. : Наука, 1967. - 376с. - (Математическая логика и основания математики). - 4.00 р.
ББК
В12
Рубрики:
Основания математики
Алгебра
Кл.слова (ненормированные):
б-ка Русина
--
теория
моделей
--
многообразия математические
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
3.
В12я431
М34
Математическая логика и
ее применения [Текст] : сб.ст. / Под.ред.Э.Нагела и др.Пер.с англ. - М. : Мир, 1965. - 341с. - 6.00 р.
ББК
В12я431
Рубрики:
основания математики
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
теория
моделей
--
алгоритмы
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
4.
В127я73
Е80
Ершов, Юрий Леонидович
.
Теория
нумераций [Текст] : спецкурс для студентов-математиков НГУ. Ч.3. Конструктивные модели / Ю. Л.Ершов. - [Б. м. : б. и.]. - 139с. - 4.00 р.
ББК
В127я73
Рубрики:
основания математики
Кл.слова (ненормированные):
б-ка Русина
--
учебник В127
--
теория
моделей
--
теория
нумераций
--
алгоритмы
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
5.
В12
Ш47
Шенфилд, Джозеф
.
Математическая логика [Текст] : нелитературный текст / Д.Шенфилд ; Пер.с англ. - М. : Наука, 1975. - 527с. - (Математическая логика и основания математики). - 15.00 р.
ББК
В12
Рубрики:
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
теория
моделей
--
натуральные числа
--
множества
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
6.
В12я43
М74
Самохвалов, К. Ф.
Модели когнитивных процессов [Текст] : сборник науч.трудов / Науч.ред.К.Ф.Самохвалов.Ин-т математики СО РАН. - Новосибирск : [б. и.], 1997. - 179с. - (Вычислительные системы.Вып.158). - 15.00 р.
ББК
В12я43
Рубрики:
Основания математики
Кибернетика
Кл.слова (ненормированные):
б-ка Русина
--
математическая кибернетика
--
теория
множеств
--
теория
моделей
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
7.
В12я43
О-21
Ершов, Ю. Л.
Обобщенная вычислимость и определимость [Текст] : сборник науч.трудов / Под ред.Ю.Л.Ершова,С.С.Гончарова.Ин-т математики СО РАН. - Новосибирск : [б. и.], 1998. - 175с. - (Вычислительные системы.Вып.161). - 15.00 р.
ББК
В12я43
Рубрики:
основания математики
кибернетика
Кл.слова (ненормированные):
б-ка Русина
--
математическая кибернетика
--
семантическое программирование
--
теория
моделей
--
математические модели вычислимости
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
8.
В12я73
Л68
Ловягин, Ю. Н.
Элементы теории
моделей
[Текст] : учеб. пособие по спецкурсу / Ю. Н.Ловягин. - Сыктывкар : Изд-во СГУ, 1992. - 99 с. - 5.00 р.
ББК
В12я73
Рубрики:
Основания математики
Кл.слова (ненормированные):
б-ка Русина
--
теория
моделей
--
учебник В12
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
9.
В12я54
Т33
Ершов, Ю. Л.
Теория
моделей
и ее применения [Текст] : сборник науч. тр. / отв. ред. Ю. Л. Ершов. - Новосибирск : Наука, 1988. - 183 с. - (Труды Ин-та математики, т. 8). - 10.00 р.
ББК
В12я54
Рубрики:
основания математики
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
теория
моделей
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
10.
В12я54
М34
Ершов, Ю. Л.
Математическая логика и
теория
алгоритмов [Текст] : нелитературный текст / отв. ред. Ю. Л. Ершов, С. С. Гончаров. - Новосибирск : Ин-т математики СО РАН, 1993. - 201 с. - (Труды Ин-та математики СО РАН, т. 25). -
ISBN
5-86134-004-8 : 10.00 р.
ББК
В12я54
Рубрики:
основания математики
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
теория
алгоритмов
--
теория
моделей
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
11.
В12я43
Е 71
Еримбетов, М. М.
Теория
моделей
в Казахстане [] : сборник научных работ, посвященный памяти А. Д. Тайманова / М. М. Еримбетов. - Алматы : Eco Study, 2006. - 447 с. -
ISBN
996597-18-3-8 : 100.00 р.
ББК
В12я43
Рубрики:
Логика
Кл.слова (ненормированные):
теория
моделей
--
математическая логика
--
теоретико-модельная алгебра
--
конструктивные модели
--
Тайманов, А. Д., о нем
Держатели документа:
ЯрГУ
Свободных экз. нет
Найти похожие
1..11