29 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск:
Отображение 1 - 20 из 29 для поиска: '', время запроса: 0.28сек.
   Выбранные записи:
Значок книги
Обогащение моделей слабо o-минимальных и стабильных теорий: автореферат диссертации на соискание ученой степени доктора физико-математических наук: 01.01.06 / Байжанов Бектур Сембиулы. - Алматы, 2008. - 27, [4] с.
Автор Байжанов, Б. С.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Модели сопротивления изменениями в современной социологии организаций: Автореф. дис. на соиск. учен. степ. канд. экон. наук: 22.00.08 / МГУ им. М.В.Ломоносова. - М., 1998. - 26 с.
Автор Мешков, А. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Логика без экзистенциальных предпосылок / Ю. Г. Гладких. - Москва : Издательство Московского государственного университета, 2006. - 124, [2] с., [1] л. портр.
Автор Гладких, Ю. Г. (1938—1999)
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Бинарность и счетная категоричность для вариантов о-минимальности: слабой о-минимальности и слабой циклической минимальности: автореферат диссертации на соискание ученой степени доктора физико-математических наук: 01.01.06 / Кулпешов Бейбут Шайыкович. - Алматы, 2009. - 32 с.
Автор Кулпешов, Б. Ш.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Теоретико-модельные свойства частично упорядоченных полигонов: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.01.06 / Первухин Михаил Александрович. - Владивосток, 2010. - 17, [1] с.
Автор Первухин, М. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Методы теории стабильности в исследовании упорядоченных структур: автореферат диссертации на соискание ученой степени доктора физико-математических наук: 01.01.06 / Вербовский Виктор Валериевич. - Алматы, 2010. - 26, [4] с.
Автор Вербовский, В. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Натуральные числа и обобщенная вычислимость: автореферат диссертации на соискание ученой степени доктора физико-математических наук: специальность 01.01.06 Мтематическая логика, алгебра и теория чисел / Пузаренко Вадим Григорьевич. - Новосибирск, 2013. - 24 с.
Автор Пузаренко, В. Г.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Об алгоритмических и структурных свойствах вычислимости над моделями: Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук: 01.01.06 / Пузаренко Вадим Григорьевич. - Новосибирск, 2000. - 14 с.
Автор Пузаренко, В. Г.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Теории с конечным числом счетных моделей и полигонометрии групп: автореферат диссертации на соискание ученой степени доктора физико-математических наук: 01.01.06 / Судоплатов Сергей Владимирович. - Новосибирск, 2006. - 30 с.
Автор Судоплатов, С. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Вычислимые представления проективных плоскостей: автореферат диссертации на соискание ученой степени доктора физико-математических наук: специальность 01.01.06 Математическая логика, алгебра и теория чисел / Когабаев Нурлан Талгатович. - Новосибирск, 2017. - 27 с.
Автор Когабаев, Н. Т. (род. 1975)
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Познавательные модели и их альтернативность в исторической науке: Автореф. дис. на соиск. учен. степ. канд. филос. наук: 09.00.01 / Сарат. гос. ун-т им. Н.Г.Чернышевского. - Саратов, 1998. - 21 с.
Автор Попов, Д. А. (род. 1972)
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Лекции по математике / В. Босс. Т. 16 : Теория множеств: от Кантора до Коэна. — Москва : Ленанд, 2018. — 204 с.
Автор Опойцев, В. И. (род. 1944)
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Классификация счетных моделей полных теорий с континуальным числом типов: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.06 Математическая логика, алгебра и теория чисел / Попков Роман Андреевич. - Новосибирск, 2015. - 19, [1] с.
Автор Попков, Р. А. (род. 1988)
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
∑-определимость в наследственно конечных надстройках над расширениями поля действительных чисел: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.06 Математическая логика, алгебра и теория чисел / Александрова Светлана Анатольевна. - Новосибирск, 2019. - 28 с.
Автор Александрова, С. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Лекции по математике / В. Босс. Т. 6 : Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. — 2015. — 207 с.
Автор Опойцев, В. И. (род. 1944)
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Обобщенно стабильные теории: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.01.06 / Русалеев Михаил Андреевич. - Новосибирск, 2010. - 13 с.
Автор Русалеев, М. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Элементы теории моделей: Учеб.пособие по спецкурсу / Сыктывкар.гос.ун-т. - Сыктывкар, 1992. - 99 с. - (Учеб.лит.)
Автор Ловягин, Ю. Н. (род. 1958)
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Категория обобщенных модулей и спектр Циглера: Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук: 01.01.06 / С.-Петерб. гос. ун-т. - СПб., 1999. - 8 с.
Автор Гаркуша, Г. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Справочная книга по математической логике / под редакцией Дж. Барвайса / Handbook of mathematical logic. Ч. 4 : Теория доказательств и конструктивная математика / [К. Сморинский и др.]. — 1983. — 391 с.
Книги
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Структурные свойства и полнота класса регулярных полигонов: Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук: 01.01.06 / Овчинникова Елена Викторовна. - Новосибирск, 2000. - 12 с.
Автор Овчинникова, Е. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
   Выбранные записи:
  • 1
  • 2
  • Следующий »
  • [2]
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email — Сохранить запрос

Уточнение результатов поиска

Вид документа
19 Авторефераты диссертаций 10 Книги см. все ...
Автор/Создатель
2 Вербовский, В. В. 2 Опойцев, В. И. (род. 1944) 2 Пузаренко, В. Г. 1 Александрова, С. А. 1 Алешина, А. В. 1 Байжанов, Б. С. больше ... 1 Бир, С. (1926—2002) 1 Гаркуша, Г. А. 1 Гладких, Ю. Г. (1938—1999) 1 Гончаров, С. С. (род. 1951) 1 Жилин, Д. М. (род. 1973) 1 Когабаев, Н. Т. (род. 1975) 1 Кулпешов, Б. Ш. 1 Ловягин, Ю. Н. (род. 1958) 1 Мешков, А. А. 1 Нариньяни, А. С. (1937— ) 1 Овчинникова, Е. В. 1 Первухин, М. А. 1 Пономарев, Д. К. 1 Попков, Р. А. (род. 1988) 1 Попов, Д. А. (род. 1972) 1 Приходько, П. В. 1 Русалеев, М. А. 1 Сергеенко, Г. С. 1 Судоплатов, С. В. см. все ... меньше ...
Предмет
МОДЕЛЕЙ ТЕОРИЯ 13 МАТЕМАТИЧЕСКАЯ ЛОГИКА 9 МАДЭЛЯЎ ТЭОРЫЯ 4 ВЫЧИСЛИМОСТИ ТЕОРИЯ 3 ДОКАЗАТЕЛЬСТВ ТЕОРИЯ 3 МАТЭМАТЫЧНАЯ ЛОГІКА больше ... 3 МНОЖЕСТВ ТЕОРИЯ 2 АВТОМАТОВ ТЕОРИЯ 2 АЛГЕБРА 2 МЕНЕДЖМЕНТ 2 МНОЖЕСТВО ДОСТИЖИМОСТИ 1 АЎТАМАТАЎ ТЭОРЫЯ 1 АБАГУЛЬНЕНЫЯ ФУНКЦЫІ 1 АБЕЛЕВЫ ГРУППЫ 1 АБЕЛЕВЫ ГРУПЫ 1 АВТОМАТИЧЕСКИЕ СИСТЕМЫ УПРАВЛЕНИЯ 1 АГУЛЬНАЯ ТЭОРЫЯ СІСТЭМ 1 АДАПТИВНОЕ УПРАВЛЕНИЕ 1 АДАПТЫЎНАЕ КІРАВАННЕ 1 АКСИОМАТИКА 1 АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ 1 АЛГАРЫТМІЧНЫЯ УЛАСЦІВАСЦІ 1 АЛГЕБРАІЧНЫЯ СІСТЭМЫ 1 АЛГЕБРАИЧЕСКИЕ СИСТЕМЫ 1 АЛГЕБРАИЧЕСКИЕ СТРУКТУРЫ 1 АЛГОРИТМИЧЕСКИЕ ПРОБЛЕМЫ 1 АЛГОРИТМИЧЕСКИЕ СВОЙСТВА 1 АЛГОРИТМОВ ТЕОРИЯ 1 АЛГОРИТМЫ (мат., информатика) 1 ВЫЛІЧАЛЬНАСЦІ ТЭОРЫЯ см. все ... меньше ...
Жанр
2 УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ 1 КУРС ЛЕКЦИЙ см. все ...
Серия
1 Библиотечка журнала "Информационные технологии" 1 Препринт 1 Сибирская школа алгебры и логики 1 Учеб.лит см. все ...
Место публикации
11 Новосибирск 5 Москва 3 Алматы 3 М. 1 Владивосток 1 Ростов-на-Дону больше ... 1 СПб 1 Саратов 1 Сыктывкар см. все ... меньше ...
Язык
29 Русский 4 Английский 3 Казахский см. все ...
Дата издания

Опции поиска

  • История поисков
  • Расширенный поиск (каталог НББ)
  • Новые документы НББ

Нужна справка? Она ниже. Помощь

  • Советы для поиска
  • Обратитесь к библиотекарю
  • Помощь по работе в Электронном каталоге
  • Видеоурок: Поиск по фондам библиотеки
Загрузка...