67 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск:
Отображение 1 - 20 из 67 для поиска: '', время запроса: 0.10сек.
   Выбранные записи:
Значок книги
Вычислимость и разрешимость в классе булевых алгебр: автореферат диссертации на соискание ученой степени доктора физико-математических наук: 01.01.06 / Алаев Павел Евгеньевич. - Новосибирск, 2006. - 24 с.
Автор Алаев, П. Е.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Вычислимые модели Эренфойхтовых теорий: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.01.06 / Гаврюшкин Александр Николаевич. - Новосибирск, 2009. - 15 с.
Автор Гаврюшкин, А. Н.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Тьюринговые скачки в иерархии Ершова: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.01.06 / Файзрахманов Марат Хайдарович. - Казань, 2011. - 18 с.
Автор Файзрахманов, М. Х.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Определимость и вычислимость / Ю.Л.Ершов. - 2-е изд., испр. и доп. - М. : Экономика : Новосибирск, Науч. кн., 2000. - 318 с. - (Сибирская школа алгебры и логики)
Автор Ершов, Ю. Л. (род. 1940)
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Предельно монотонная сводимость и ее структурные свойства: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.06 Математическая логика, алгебра и теория чисел / Зайнетдинов Дамир Хабирович. - Казань, 2016. - 23 с., включая обложку
Автор Зайнетдинов, Д. Х.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Формальные языки и трансдьюсеры / Л. П. Лисовик. Т. 2, кн. 1 : Вычисления над размеченными деревьями. — 2006. — 400 с.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Верхние полурешетки арифметических нумераций и арифметических m-степеней: автореферат диссертации на соискание ученой степени доктора физико-математических наук: 01.01.06 / Подзоров Сергей Юрьевич. - Новосибирск, 2010. - 18 с.
Автор Подзоров, С. Ю.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Вычислимость в иерархии Ершова: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.01.06 / Таласбаева Жулдыз Таласбаевна. - Алматы, 2006. - 17 с.
Автор Таласбаева, Ж. Т.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Сильная конструктивизируемость булевых алгебр: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.06 Математическая логика, алгебра и теория чисел / Леонтьева Маргарита Николаевна. - Новосибирск, 2013. - 15 с.
Автор Леонтьева, М. Н.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Алгебраические и структурные свойства полурешеток Роджерса в иерархии Ершова: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.06 Математическая логика, алгебра и теория чисел / Оспичев Сергей Сергеевич. - Новосибирск, 2013. - 20 с.
Автор Оспичев, С. С.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Натуральные числа и обобщенная вычислимость: автореферат диссертации на соискание ученой степени доктора физико-математических наук: специальность 01.01.06 Мтематическая логика, алгебра и теория чисел / Пузаренко Вадим Григорьевич. - Новосибирск, 2013. - 24 с.
Автор Пузаренко, В. Г.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Об алгоритмических и структурных свойствах вычислимости над моделями: Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук: 01.01.06 / Пузаренко Вадим Григорьевич. - Новосибирск, 2000. - 14 с.
Автор Пузаренко, В. Г.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Структурные свойства тьюринговых степеней множеств из иерархии Ершова: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.01.06 / Ямалеев Марс Мансурович. - Казань, 2009. - 10, [1] с.
Автор Ямалеев, М. М.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Эффективные свойства вполне разложимых абелевых групп: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.06 Математическая логика, алгебра и теория чисел / Мельников Александр Геннадьевич. - Новосибирск, 2011. - 25 с.
Автор Мельников, А. Г.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Конструктивные семантики логических языков, основанные на обобщенной вычислимости: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.06 Математическая логика, алгебра и теория чисел / Коновалов Александр Юрьевич. - Москва, 2017. - 16 с.
Автор Коновалов, А. Ю.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Минимальные покрытия тьюринговых степеней: автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук: 01.01.06 / Ишмухаметов Шамиль Талгатович. - Ульяновск, 2003. - 26 с.
Автор Ишмухаметов, Ш. Т.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
О колмогорской сложности конечных подпоследовательностей в последовательности нулей и единиц: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.01.06 / Румянцев Андрей Юрьевич. - Москва, 2009. - 14 с.
Автор Румянцев, А. Ю.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Теория трансдьюсеров / Л. П. Лисовик. Т. 3, кн. 6 : Функции и аппликативные системы. — 2007. — 284 с.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Конечные базисы по суперпозиции в классах элементарных рекурсивных функций: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.01.09 / Волков Сергей Александрович. - Москва, 2009. - 16 с.
Автор Волков, С. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
∑-определимость в наследственно конечных надстройках над расширениями поля действительных чисел: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.06 Математическая логика, алгебра и теория чисел / Александрова Светлана Анатольевна. - Новосибирск, 2019. - 28 с.
Автор Александрова, С. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
   Выбранные записи:
  • 1
  • 2
  • 3
  • 4
  • Следующий »
  • [4]
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email — Сохранить запрос

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

Вид документа
36 Авторефераты диссертаций 31 Книги см. все ...
Автор/Создатель
4 Опойцев, В. И. (род. 1944) 2 Бирюков, Б. В. (1922—2014) 2 Ершов, Ю. Л. (род. 1940) 2 Пузаренко, В. Г. 2 Шурыгин, В. А. 1 Алаев, П. Е. больше ... 1 Александрова, С. А. 1 Алексеев, В. Е. (1943—2020) 1 Андерсон, Д. А. (род. 1937) 1 Баранов, Д. В. 1 Березун, Д. А. 1 Бикмухаметов, Р. И. 1 Блох, А. Ш. 1 Быкова, В. В. 1 Волков, С. А. 1 Вольфенгаген, В. Э. (род. 1948) 1 Гаврюшкин, А. Н. 1 Гайлит, Е. В. 1 Герасимов, А. С. 1 Душенин, Д. И. 1 Зайнетдинов, Д. Х. 1 Зубков, М. В. 1 Ицыксон, Д. М. 1 Ишмухаметов, Ш. Т. 1 Калядин, Н. И. 1 Кацман, В. И. 1 Клини, С. К. (1909—1994) 1 Кноп, А. А. 1 Коновалов, А. Ю. 1 Крот, А. М. (род. 1960) см. все ... меньше ...
Предмет
ВЫЧИСЛИМОСТИ ТЕОРИЯ 21 МАТЕМАТИЧЕСКАЯ ЛОГИКА 10 ВЫЛІЧАЛЬНАСЦІ ТЭОРЫЯ 9 СЛОЖНОСТЬ (мат.) 8 АЛГОРИТМОВ ТЕОРИЯ 6 АЛГОРИТМИЧЕСКАЯ СЛОЖНОСТЬ больше ... 6 ОСНОВАНИЯ МАТЕМАТИКИ 6 ТЬЮРИНГА МАШИНЫ 5 АЛГЕБРАИЧЕСКИЕ СТРУКТУРЫ 5 ДИСКРЕТНАЯ МАТЕМАТИКА 5 ДОКАЗАТЕЛЬСТВ ТЕОРИЯ 5 КОНСТРУКТИВНЫХ МОДЕЛЕЙ ТЕОРИЯ 5 МАТЭМАТЫЧНАЯ ЛОГІКА 4 ВЫЧИСЛИТЕЛЬНЫЕ МОДЕЛИ 4 МНОЖЕСТВ ТЕОРИЯ 4 МНОЖЕСТВА (мат.) 4 МОДЕЛЕЙ ТЕОРИЯ 4 РЕКУРСИВНЫЕ ФУНКЦИИ 4 ТЬЮРИНГОВЫЕ СТЕПЕНИ 3 АБЕЛЕВЫ ГРУППЫ 3 АЛГОРИТМИЗАЦИЯ 3 АЛГОРИТМЫ (мат., информатика) 3 БЕСКОНЕЧНОСТЬ (мат.) 3 БИФУРКАЦИИ (мат., физ.) 3 ВЫЧИСЛИМЫЕ ФУНКЦИИ 3 ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ 3 ЛЯМБДА-ИСЧИСЛЕНИЕ 3 МАТЕМАТИКА 3 МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА 3 МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ см. все ... меньше ...
Жанр
7 УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ 2 КУРС ЛЕКЦИЙ 1 МЕТОДИЧЕСКИЕ РЕКОМЕНДАЦИИ 1 ПРАКТИКУМ ДЛЯ ВУЗОВ 1 УЧЕБНО-МЕТОДИЧЕСКОЕ ПОСОБИЕ ДЛЯ СТУДЕНТОВ ВУЗОВ см. все ...
Серия
1 Библиотека "ЮрИнфоР" 1 Библиотека аналитической философии 1 Интеграционные проекты СО РАН 1 Основы информационных технологий 1 Перспективный компьютинг как наука и профессия 1 Препринт больше ... 1 Сибирская школа алгебры и логики 1 Учебники для вузов 1 Учебники для вузов. Специальная литература 1 Физико-математическое наследие см. все ... меньше ...
Место публикации
22 Москва 14 Новосибирск 6 Казань 5 Санкт-Петербург 3 Минск 2 Санкт-Петербург [и др.] больше ... 1 Алматы 1 Витебск 1 Долгопрудный 1 Екатеринбург 1 Красноярск 1 М. Новосибирск 1 Москва [и др.] 1 Москва Ижевск 1 СПб 1 Ульяновск см. все ... меньше ...
Язык
67 Русский 4 Английский см. все ...
Дата издания

Опции поиска

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

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

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