AbsOPACСправочник индексов УДК

Доступно
1 из 2

Книга
Крайзель, Г.
Исследования по теории доказательств: сб. ст.

Серия: Сер. "Новое в зарубежной науке"

Мир, 1981 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 2

Книга
Ершов, Ю. Л.
Теория нумераций

Серия: Сер. "Математическая логика и основания математики"

Наука. Гл. ред. физ.-мат. лит., 1977 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 2

Книга

Теория алгорифмов и математическая логика
Вычислительный центр АН СССР, 1974 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 2

Книга
Мартин-Леф, П.
Очерки по конструктивной математике

Серия: Б-ка сборника "Математика"

Мир, 1975 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 2

Книга
Косовский, Н. К.
Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учеб. пособие
Изд-во Ленингр. ун-та, 1981 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 3

Книга
Успенский, В. А.
Теорема Гёделя о неполноте

Серия: Сер. "Популярные лекции по математике"

Наука. Гл. ред. физ.-мат. лит., 1982 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 2

Книга
Блейхут, Р.
Быстрые алгоритмы цифровой обработки сигналов
Мир, 1989 г.
ISBN 5-03-001009-2
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 3

Книга
Ачасова, С. М.
Алгоритмы синтеза автоматов на программируемых матрицах
Радио и связь, 1987 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 10

Книга
Макконнелл, Д. Д.
Анализ алгоритмов. Активный обучающий подход.

Серия: Сер. "Мир программирования"

Техносфера, 2013 г.
ISBN 978-5-948362-16-8
МИЭМ, уч.аб-т : MIEM, Study collection lending department, МИЭМ, контр.экз. ...

Заказать

На полку

Доступно
1 из 1

Книга

New directions in logic, language and computation: ESSLLI 2010 and ESSLLI 2011. Student sessions. Selected papers

Серия: Lecture notes in computer science

Springer, 2012 г.
ISBN 978-3-642-31466-7
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy

Заказать

На полку

Доступно
1 из 1

Книга
Мальцев, А. И.
Алгоритмы и рекурсивные функции
Наука. Гл. ред. физ.-мат. лит., 1965 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy

Заказать

На полку

Доступно
1 из 3

Книга
Манин, Ю. И.
Вычислимое и невычислимое

Серия: Сер. "Кибернетика"

Сов. радио, 1980 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 1

Книга
Malitz, J.
Introduction to mathematical logic: set theory, computable functions, model theory

Серия: Undergraduate texts in mathematics

Springer-Verlag, 1979 г.
ISBN 0-387-90346-1
МИЭМ, контр.экз. : MIEM, Single copy

Заказать

На полку

Доступно
1 из 2

Книга
Юдин, Д. Б.
Математики измеряют сложность

Серия: Сер. "Науку - всем! Шедевры научно - популярной литературы"

УРСС, Книжный дом "Либроком", 2014 г.
ISBN 978-5-397-04148-5
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy, Покровск...

Заказать

На полку

Доступно
1 из 3

Книга
Трауб, Дж.
Информация, неопределённость, сложность.
Мир, 1988 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку