Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
Печать списка
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Доступно
10 из 10
Доступно
1 из 3
Доступно
2 из 2
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 1
Экз. чит. зала
Экз. чит. зала
Доступно
3 из 3
Доступно
1 из 1
Доступно
2 из 2
Доступно
3 из 3
Доступно
5 из 5
Нет экз.
--> математика
----> математическая логика
Рубрика
- Название:
- математическая логика
- См. также:
- 22.12 основания М. л. 87.45
Печать списка
Связанные описания:
![](http://ecat.mpgu.info/Opac/app/webroot/img//progress.gif)
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
10 из 10
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Колесников, Павел Сергеевич
Теорема Молина-Веддербёрна для ассоциативных конформных алгебр с точным представлением конечного ...
б.г.
ISBN отсутствует
Колесников, Павел Сергеевич
Теорема Молина-Веддербёрна для ассоциативных конформных алгебр с точным представлением конечного ...
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Алаев, П. Е.
Теорема Эша о δ0α-категоричных структурах и признак бесконечной δ0α-размерности
б.г.
ISBN отсутствует
Алаев, П. Е.
Теорема Эша о δ0α-категоричных структурах и признак бесконечной δ0α-размерности
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Цензер, Д.
Теоретико-вычислительные свойства структур с вложением
б.г.
ISBN отсутствует
Цензер, Д.
Теоретико-вычислительные свойства структур с вложением
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Мясников, А. Г.
Теоретико-модельные аспекты теории делимых жёстких разрешимых групп
б.г.
ISBN отсутствует
Мясников, А. Г.
Теоретико-модельные аспекты теории делимых жёстких разрешимых групп
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 3
Книга
Карпов, Юрий Глебович
Теория автоматов: Учеб.для вузов по направлению "Информатика и вычисл. техника"и по срециальности "Вычисл. машины, комплексы"
ISBN 5-318-00537-3
Карпов, Юрий Глебович
Теория автоматов: Учеб.для вузов по направлению "Информатика и вычисл. техника"и по срециальности "Вычисл. машины, комплексы"
Серия: Учебник для вузов
Питер, 2003 г.ISBN 5-318-00537-3
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
2 из 2
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
Книга
Матрос, Дмитрий Шаевич
Теория алгоритмов: Учеб. для вузов по специальности 050202.65 (030100) - информатика
ISBN 978-5-94774-226-8
Матрос, Дмитрий Шаевич
Теория алгоритмов: Учеб. для вузов по специальности 050202.65 (030100) - информатика
Серия: Педагогическое образование
Бином. Лаборатория знаний, 2008 г.ISBN 978-5-94774-226-8
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
Фалевич, Борис Яковлевич
Теория алгоритмов: Учеб.пособие для вузов по направлению "Информатика и вычисл. техника"
ISBN 5-217-03249-9
Фалевич, Борис Яковлевич
Теория алгоритмов: Учеб.пособие для вузов по направлению "Информатика и вычисл. техника"
Серия: Для вузов:В
Машиностроение, 2004 г.ISBN 5-217-03249-9
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
Книга
Крупский, Владимир Николаевич
Теория алгоритмов: учебное пособие для вузов по направлениям "Информатика и вычислительная техника", "Информационные системы и технологии"
Academia, 2009 г.
ISBN 978-5-7695-5293-9
Крупский, Владимир Николаевич
Теория алгоритмов: учебное пособие для вузов по направлениям "Информатика и вычислительная техника", "Информационные системы и технологии"
Academia, 2009 г.
ISBN 978-5-7695-5293-9
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
Книга
Крупский, Владимир Николаевич
Теория алгоритмов. Введение в сложность вычислений: учебное пособие для ВУЗов
ISBN 978-5-534-04817-9
Крупский, Владимир Николаевич
Теория алгоритмов. Введение в сложность вычислений: учебное пособие для ВУЗов
Серия: Высшее образование
Юрайт, 2020 г.ISBN 978-5-534-04817-9
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
3 из 3
Книга
Успенский, Владимир Андреевич
Теория алгоритмов: основные открытия и приложения
ISBN отсутствует
Успенский, Владимир Андреевич
Теория алгоритмов: основные открытия и приложения
Серия: Библиотечка программиста
Наука, 1987 г.ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
2 из 2
Книга
Теория моделей и алгебраическая геометрия: О доказат. Э. Хрущовского гипотезы Морделла-Ленга : сб. ст. под ред. Э. Бускаран
МЦНМО, 2008 г.
ISBN 987-5-94057-125-4
Теория моделей и алгебраическая геометрия: О доказат. Э. Хрущовского гипотезы Морделла-Ленга : сб. ст. под ред. Э. Бускаран
МЦНМО, 2008 г.
ISBN 987-5-94057-125-4
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
3 из 3
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
5 из 5
![](/Opac/app/webroot/img/doctypes/30.gif)
Нет экз.
Электронный ресурс
Брюшинкин, Владимир Никифорович
Теория поиска вывода. Происхождение и философские приложения: Монография
БФУ им. И.Канта, 2012 г.
ISBN 978-5-9971-0222-7
Брюшинкин, Владимир Никифорович
Теория поиска вывода. Происхождение и философские приложения: Монография
БФУ им. И.Канта, 2012 г.
ISBN 978-5-9971-0222-7
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Когабаев, Нурлан Талгатович
Теория проективных плоскостей полна относительно спектров степеней и эффективных размерностей
б.г.
ISBN отсутствует
Когабаев, Нурлан Талгатович
Теория проективных плоскостей полна относительно спектров степеней и эффективных размерностей
б.г.
ISBN отсутствует