Поиск :
Личный кабинет :
Электронный каталог: Справочник индексов УДК
К списку индексов УДК
Доступно
1 из 2
Доступно
1 из 3
Доступно
1 из 4
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 4
Доступно
1 из 3
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 2
510.6
Сортировать по: заглавиюдате издания
Доступно
1 из 2
Книга
Коэн, П. Дж.
Теория множеств и континуум - гипотеза
Мир, 1969 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...
Коэн, П. Дж.
Теория множеств и континуум - гипотеза
Мир, 1969 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...
Заказать 
На полку Доступно
1 из 3
Книга
Кофман, А.
Введение в теорию нечетких множеств
Радио и связь, 1982 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...
Кофман, А.
Введение в теорию нечетких множеств
Радио и связь, 1982 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...
Доступно
1 из 4
Книга
Катленд, Н.
Вычислимость. Введение в теорию рекурсивных функций
Мир, 1983 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...
Катленд, Н.
Вычислимость. Введение в теорию рекурсивных функций
Мир, 1983 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...
Доступно
1 из 1
Книга
Ben-Ari, M.
Mathematical logic for computer science
Springer, 2012 г.
ISBN 978-1-447-14128-0
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Ben-Ari, M.
Mathematical logic for computer science
Springer, 2012 г.
ISBN 978-1-447-14128-0
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Доступно
1 из 1
Книга
Devlin, K. J.
Sets, functions and logic: basic concepts of university mathematics
CHAPMAN & HALL, 1981 г.
ISBN 0-412-22660-X
МИЭМ, контр.экз. : MIEM, Single copy
Devlin, K. J.
Sets, functions and logic: basic concepts of university mathematics
CHAPMAN & HALL, 1981 г.
ISBN 0-412-22660-X
МИЭМ, контр.экз. : MIEM, Single copy
Доступно
1 из 1
Книга
Malitz, J.
Introduction to mathematical logic: set theory, computable functions, model theory
Springer-Verlag, 1979 г.
ISBN 0-387-90346-1
МИЭМ, контр.экз. : MIEM, Single copy
Malitz, J.
Introduction to mathematical logic: set theory, computable functions, model theory
Springer-Verlag, 1979 г.
ISBN 0-387-90346-1
МИЭМ, контр.экз. : MIEM, Single copy
Доступно
1 из 2
Книга
Юдин, Д. Б.
Математики измеряют сложность
УРСС, Книжный дом "Либроком", 2014 г.
ISBN 978-5-397-04148-5
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy, Покровск...
Юдин, Д. Б.
Математики измеряют сложность
УРСС, Книжный дом "Либроком", 2014 г.
ISBN 978-5-397-04148-5
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy, Покровск...
Доступно
1 из 1
Книга
Яблонский, С. В.
Введение в дискретную математику: учеб. пособие для вузов
ISBN 978-5-06-005943-4
МИЭМ, контр.экз. : MIEM, Single copy
Яблонский, С. В.
Введение в дискретную математику: учеб. пособие для вузов
Серия: Сер. "Математика"
Высш. шк., 2008 г.ISBN 978-5-06-005943-4
МИЭМ, контр.экз. : MIEM, Single copy
Доступно
1 из 1
Книга
Smith, P.
An introduction to Godel's theorems
Cambridge University Press, 2013 г.
ISBN 978-1-10-760675-3
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Smith, P.
An introduction to Godel's theorems
Cambridge University Press, 2013 г.
ISBN 978-1-10-760675-3
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Доступно
1 из 1
Книга
Левин, В. И.
Логическая теория надежности сложных систем
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy
Левин, В. И.
Логическая теория надежности сложных систем
Серия: Сер. "Надежность и качество"
Энергоатомиздат, 1985 г.ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy
Доступно
1 из 1
Книга
Loveland, D. W.
Three views of logic: mathematics, philosophy, and computer science
Princeton University Press, 2014 г.
ISBN 978-0-691-16044-3
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Loveland, D. W.
Three views of logic: mathematics, philosophy, and computer science
Princeton University Press, 2014 г.
ISBN 978-0-691-16044-3
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Доступно
1 из 2
Книга
Ganter, B.
Formal concept analysis: mathematical foundations
Springer, 1999 г.
ISBN 978-3-540-62771-5
Шаболовка 28/11, чит. зал : Shabolovka, Reading hall, Покровский б-р,...
Ganter, B.
Formal concept analysis: mathematical foundations
Springer, 1999 г.
ISBN 978-3-540-62771-5
Шаболовка 28/11, чит. зал : Shabolovka, Reading hall, Покровский б-р,...
Доступно
1 из 1
Книга
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2009 г.
ISBN 978-5-922100-26-7
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2009 г.
ISBN 978-5-922100-26-7
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Доступно
1 из 2
Книга
Дертоузос, М.
Пороговая логика
Мир, 1967 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...
Дертоузос, М.
Пороговая логика
Мир, 1967 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...
Доступно
1 из 4
Книга
Хоггер, К.
Введение в логическое программирование
Мир, 1988 г.
ISBN 5-03-000490-4
МИЭМ, науч.аб-т : MIEM, Academic collection lending department, Покровский ...
Хоггер, К.
Введение в логическое программирование
Мир, 1988 г.
ISBN 5-03-000490-4
МИЭМ, науч.аб-т : MIEM, Academic collection lending department, Покровский ...
Доступно
1 из 3
Книга
Математическая логика в программировании: сб. статей : пер. с англ.
Мир, 1991 г.
ISBN 5-03-001635-X
МИЭМ, науч.аб-т : MIEM, Academic collection lending department, Покровский ...
Математическая логика в программировании: сб. статей : пер. с англ.
Мир, 1991 г.
ISBN 5-03-001635-X
МИЭМ, науч.аб-т : MIEM, Academic collection lending department, Покровский ...
Доступно
1 из 1
Книга
Языки и автоматы: сборник переводов
Мир, 1975 г.
ISBN отсутствует
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Языки и автоматы: сборник переводов
Мир, 1975 г.
ISBN отсутствует
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Доступно
1 из 2
Книга
Kushilevitz, E.
Communication complexity
Cambridge University Press, 2006 г.
ISBN 978-0-521-02983-4
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy, Покровск...
Kushilevitz, E.
Communication complexity
Cambridge University Press, 2006 г.
ISBN 978-0-521-02983-4
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy, Покровск...
Доступно
1 из 2
Книга
Тей, А.
Логический подход к искусственному интеллекту: от классической логики к логическому программированию
Мир, 1990 г.
ISBN 5-03-001636-8
МИЭМ, науч.аб-т : MIEM, Academic collection lending department, Покровский ...
Тей, А.
Логический подход к искусственному интеллекту: от классической логики к логическому программированию
Мир, 1990 г.
ISBN 5-03-001636-8
МИЭМ, науч.аб-т : MIEM, Academic collection lending department, Покровский ...
Доступно
1 из 2
Книга
Игошин, В. И.
Математическая логика: учеб. пособие для вузов
ISBN 978-5-16-011691-4
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy, Покровск...
Игошин, В. И.
Математическая логика: учеб. пособие для вузов
Серия: Сер. "Высшее образование"
ИНФРА-М, 2016 г.ISBN 978-5-16-011691-4
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy, Покровск...