Логин (фамилия): Пароль (штрих-код):

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

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>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