10 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск:
Отображение 1 - 10 из 10 для поиска: '', время запроса: 0.12сек.
   Выбранные записи:
Значок книги
Определимость и вычислимость / Ю.Л.Ершов. - 2-е изд., испр. и доп. - М. : Экономика : Новосибирск, Науч. кн., 2000. - 318 с. - (Сибирская школа алгебры и логики)
Автор Ершов, Ю. Л. (род. 1940)
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Вычислимость в иерархии Ершова: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.01.06 / Таласбаева Жулдыз Таласбаевна. - Алматы, 2006. - 17 с.
Автор Таласбаева, Ж. Т.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Об алгоритмических и структурных свойствах вычислимости над моделями: Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук: 01.01.06 / Пузаренко Вадим Григорьевич. - Новосибирск, 2000. - 14 с.
Автор Пузаренко, В. Г.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Минимальные покрытия тьюринговых степеней: автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук: 01.01.06 / Ишмухаметов Шамиль Талгатович. - Ульяновск, 2003. - 26 с.
Автор Ишмухаметов, Ш. Т.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Основы конструктивного математического анализа / В.А.Шурыгин. - Москва : Едиториал УРСС, 2004. - 324, [2] с.
Автор Шурыгин, В. А.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Обобщенно-конструктивные модели и рекурсивные иерархии: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.01.06 / Гайлит Евгения Валерьевна. - Новосибирск, 2004. - 15 с.
Автор Гайлит, Е. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Абстрактная теория вычислимости: программистский подход. - Казань : Изд-во Казан. ун-та, 1993. - 123 с.
Автор Соловьев, В. Д.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Жар холодных числ и пафос бесстрастной логики: формализация мышления от античных времен до эпохи кибернетики / Б.В.Бирюков, В.Н.Тростников. - Изд. 3-е, переработанное и дополненное. - Москва : Едиториал УРСС, 2004. - 228 с.
Автор Бирюков, Б. В. (1922—2014)
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Тени разума: в поисках науки о сознании / Роджер Пенроуз. - Москва : Ижевск : Институт компьютерных исследований, 2005. - 687 с.
Автор Пенроуз, Р. (род. 1931)
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Тени разума / Роджер Пенроуз. Ч. 2 : Новая физика, необходимая для понимания разума. — 351 с.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Структура документа
   Выбранные записи:
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email — Сохранить запрос

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

Вид документа
6 Книги 4 Авторефераты диссертаций см. все ...
Автор/Создатель
1 Бирюков, Б. В. (1922—2014) 1 Гайлит, Е. В. 1 Ершов, Ю. Л. (род. 1940) 1 Ишмухаметов, Ш. Т. 1 Пенроуз, Р. (род. 1931) 1 Пузаренко, В. Г. больше ... 1 Соловьев, В. Д. 1 Таласбаева, Ж. Т. 1 Шурыгин, В. А. см. все ... меньше ...
Предмет
ВЫЛІЧАЛЬНАСЦІ ТЭОРЫЯ 10 ВЫЧИСЛИМОСТИ ТЕОРИЯ 5 МАТЕМАТИЧЕСКАЯ ЛОГИКА 5 МАТЭМАТЫЧНАЯ ЛОГІКА 2 АЛГАРЫТМАЎ ТЭОРЫЯ 2 АЛГОРИТМОВ ТЕОРИЯ больше ... 2 ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ 2 КВАНТАВАЯ ТЭОРЫЯ 2 КВАНТАВАЯ ФІЗІКА 2 КВАНТОВАЯ ТЕОРИЯ 2 КВАНТОВАЯ ФИЗИКА 2 МНОЖЕСТВ ТЕОРИЯ 2 МНОСТВАЎ ТЭОРЫЯ 2 РАЗУМ 2 РОЗУМ 2 СВЯДОМАСЦЬ 2 СОЗНАНИЕ 2 ФІЗІЧНЫЯ ЗАКОНЫ 2 ФИЗИЧЕСКИЕ ЗАКОНЫ 2 ЦЕНТРАЛЬНАЯ НЕРВНАЯ СИСТЕМА 2 ШТУЧНЫ ІНТЭЛЕКТ 1 АЛГАРЫТМІЧНЫЯ УЛАСЦІВАСЦІ 1 АЛГОРИТМИЧЕСКИЕ СВОЙСТВА 1 ВЕКТАРНЫЯ ПРАСТОРЫ 1 ВЕКТОРНЫЕ ПРОСТРАНСТВА 1 ГІСТОРЫЯ ПЫТАННЯ 1 ДИСКРЕТНАЯ МАТЕМАТИКА 1 ДЫСКРЭТНАЯ МАТЭМАТЫКА 1 ЕРШОВА ИЕРАРХИЯ 1 ИЕРАРХИЯ (мат.) см. все ... меньше ...
Серия
1 Сибирская школа алгебры и логики см. все ...
Место публикации
2 Москва 2 Новосибирск 1 Алматы 1 Казань 1 М. Новосибирск 1 Москва Ижевск больше ... 1 Ульяновск см. все ... меньше ...
Язык
10 Русский см. все ...
Дата издания

Опции поиска

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

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

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