Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Печать списка
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 4
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 3
Доступно
1 из 3
Доступно
1 из 5
Доступно
1 из 1
Доступно
1 из 4
Доступно
1 из 3
Доступно
1 из 25
Доступно
1 из 49
Доступно
1 из 19
Доступно
2 из 5
Доступно
1 из 18
Доступно
1 из 1
Доступно
1 из 9
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 3
Доступно
1 из 3
Доступно
1 из 2
Доступно
1 из 3
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 4
Доступно
1 из 2
Доступно
1 из 4
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 1
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Рубрика
- Название:
- математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Печать списка
Связанные описания:
![](http://opac.hse.ru/absopac/app/webroot/img//progress.gif)
![](?url=/Content/cover/250748.jpg)
Доступно
1 из 1
Книга
Сложность вычислений и прикладная математическая логика
ISBN отсутствует
Сложность вычислений и прикладная математическая логика
Серия: Сер. "Вопросы кибернетики"
Академия наук СССР, 1988 г.ISBN отсутствует
![](/absopac/app/webroot/img/doctypes/35.gif)
Доступно
1 из 1
Автореферат
Акулова, Е. О.
Совершенствование методов анализа наиболее эффективного использования недвижимости для целей стои...: автореф. дис. ... канд. экон. наук : 08.00.10
Фин. ун-т при Правительстве Российской Федерации, 2015 г.
ISBN отсутствует
Акулова, Е. О.
Совершенствование методов анализа наиболее эффективного использования недвижимости для целей стои...: автореф. дис. ... канд. экон. наук : 08.00.10
Фин. ун-т при Правительстве Российской Федерации, 2015 г.
ISBN отсутствует
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](/absopac/app/webroot/img/doctypes/6.gif)
Статья
Подиновский, В. В.
Согласительные решения многокритериальных задач выбора
б.г.
ISBN отсутствует
Подиновский, В. В.
Согласительные решения многокритериальных задач выбора
б.г.
ISBN отсутствует
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 4
![](/absopac/app/webroot/img/doctypes/9.gif)
Многотомник
Справочная книга по математической логике: в 4 ч.
Наука. Гл. ред. физ.-мат. лит., б.г.
ISBN отсутствует
Справочная книга по математической логике: в 4 ч.
Наука. Гл. ред. физ.-мат. лит., б.г.
ISBN отсутствует
![](/absopac/app/webroot/img/doctypes/6.gif)
Статья
Фомичев, М. И.
Сравнительный анализ метаэвристических алгоритмов решения несимметричной задачи коммивояжёра
б.г.
ISBN отсутствует
Фомичев, М. И.
Сравнительный анализ метаэвристических алгоритмов решения несимметричной задачи коммивояжёра
б.г.
ISBN отсутствует
![](?url=/Content/cover/252029.jpg)
Доступно
1 из 1
![](?url=/Content/cover/251519.jpg)
Доступно
1 из 2
![](/absopac/app/webroot/img/doctypes/6.gif)
Статья
Эстеров, А. И.
Степень бифуркационного множества общего полиномиального отображения
б.г.
ISBN отсутствует
Эстеров, А. И.
Степень бифуркационного множества общего полиномиального отображения
б.г.
ISBN отсутствует
![](?url=/Content/cover/258180.jpg)
Доступно
1 из 2
Книга
Левин, В. И.
Структурно - логические методы исследования сложных систем с применением ЭВМ
Наука. Гл. ред. физ.-мат. лит., 1987 г.
ISBN отсутствует
Левин, В. И.
Структурно - логические методы исследования сложных систем с применением ЭВМ
Наука. Гл. ред. физ.-мат. лит., 1987 г.
ISBN отсутствует
![](?url=/Content/cover/293806.jpg)
Доступно
1 из 1
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 2
Книга
Марков, А. А.
Т.2. : Теория алгорифмов и конструктивная математика. Математическая логика. Информатика и смежные вопросы
2003 г.
ISBN 5-940571-13-1
Марков, А. А.
Т.2. : Теория алгорифмов и конструктивная математика. Математическая логика. Информатика и смежные вопросы
2003 г.
ISBN 5-940571-13-1
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](?url=/Content/cover/254305.jpg)
Доступно
1 из 3
Книга
Успенский, В. А.
Теорема Гёделя о неполноте
Наука. Гл. ред. физ.-мат. лит., 1982 г.
ISBN отсутствует
Успенский, В. А.
Теорема Гёделя о неполноте
Наука. Гл. ред. физ.-мат. лит., 1982 г.
ISBN отсутствует
![](?url=/Content/cover/352954.jpg)
Доступно
1 из 3
Книга
Лонэ, М.
Теорема зонтика, или Искусство правильно смотреть на мир через призму математики
ISBN 9785041187415
Лонэ, М.
Теорема зонтика, или Искусство правильно смотреть на мир через призму математики
Серия: Сер. "Красота математики"
Эксмо, Бомбора, 2022 г.ISBN 9785041187415
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 5
![](/absopac/app/webroot/img/doctypes/35.gif)
Доступно
1 из 1
Автореферат
Погорелова, Е. В.
Теоретические и методологические основы управления знаниями в организации: автореф. дис. ... д-ра экон. наук : 08.00.05
Самарский гос. экон. ун-т, 2011 г.
ISBN отсутствует
Погорелова, Е. В.
Теоретические и методологические основы управления знаниями в организации: автореф. дис. ... д-ра экон. наук : 08.00.05
Самарский гос. экон. ун-т, 2011 г.
ISBN отсутствует
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 4
![](?url=/Content/cover/315236.jpg)
Доступно
1 из 3
Книга
Кудрявцев, В. Б.
Теория автоматов: учебник для бакалавриата и магистратуры
ISBN 9785534001174
Кудрявцев, В. Б.
Теория автоматов: учебник для бакалавриата и магистратуры
Серия: Сер. "Бакалавр и магистр"
Юрайт, 2017 г.ISBN 9785534001174
![](?url=/Content/cover/238521.jpg)
Доступно
1 из 25
Книга
Карпов, Ю. Г.
Теория автоматов: учебник для вузов
ISBN 978-5-318-00537-4
Карпов, Ю. Г.
Теория автоматов: учебник для вузов
Серия: Сер. "Учебник для вузов"
Питер, 2003 г.ISBN 978-5-318-00537-4
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 49
Книга
Горбатов, В. А.
Теория автоматов: учебник для вузов
ISBN 978-5-17-049562-7
Горбатов, В. А.
Теория автоматов: учебник для вузов
Серия: Сер. "Высшая школа"
АСТ, Астрель, 2008 г.ISBN 978-5-17-049562-7
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 19
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
2 из 5
Книга
Матрос, Д. Ш.
Теория алгоритмов: учебник для вузов
БИНОМ. Лаборатория знаний, 2008 г.
ISBN 978-5-947742-26-8
Матрос, Д. Ш.
Теория алгоритмов: учебник для вузов
БИНОМ. Лаборатория знаний, 2008 г.
ISBN 978-5-947742-26-8
![](?url=/Content/cover/232832.jpg)
Доступно
1 из 18
Книга
Фалевич, Б. Я.
Теория алгоритмов: учеб. пособие для вузов
Машиностроение, 2004 г.
ISBN 5-217-03249-9
Фалевич, Б. Я.
Теория алгоритмов: учеб. пособие для вузов
Машиностроение, 2004 г.
ISBN 5-217-03249-9
![](?url=/Content/cover/293480.jpg)
Доступно
1 из 1
Книга
Игошин, В. И.
Теория алгоритмов: учебное пособие
ISBN 978-5-16-005205-2
Игошин, В. И.
Теория алгоритмов: учебное пособие
Серия: Сер. "Высшее образование"
ИНФРА-М, 2014 г.ISBN 978-5-16-005205-2
![](?url=/Content/cover/281479.jpg)
Доступно
1 из 9
Книга
Игошин, В. И.
Теория алгоритмов: учебное пособие
ISBN 978-5-16-005205-2
Игошин, В. И.
Теория алгоритмов: учебное пособие
Серия: Сер. "Высшее образование"
ИНФРА-М, 2013 г.ISBN 978-5-16-005205-2
![](?url=/Content/cover/251349.jpg)
Доступно
1 из 2
![](?url=/Content/cover/253385.jpg)
Доступно
1 из 2
Книга
Теория алгорифмов и математическая логика
Вычислительный центр АН СССР, 1974 г.
ISBN отсутствует
Теория алгорифмов и математическая логика
Вычислительный центр АН СССР, 1974 г.
ISBN отсутствует
![](?url=/Content/cover/259846.jpg)
Доступно
1 из 3
Книга
Маслов, С. Ю.
Теория дедуктивных систем и ее применения
ISBN отсутствует
Маслов, С. Ю.
Теория дедуктивных систем и ее применения
Серия: Сер. "Кибернетика"
Радио и связь, 1986 г.ISBN отсутствует
![](?url=/Content/cover/253784.jpg)
Доступно
1 из 3
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 2
![](?url=/Content/cover/251510.jpg)
Доступно
1 из 3
Книга
Шабанов-Кушнаренко, Ю. П.
Теория интеллекта: проблемы и перспективы
Вища Школа, 1987 г.
ISBN отсутствует
Шабанов-Кушнаренко, Ю. П.
Теория интеллекта: проблемы и перспективы
Вища Школа, 1987 г.
ISBN отсутствует
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 2
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
Хаусдорф, Ф.
Теория множеств
ОНТИ. НКТП СССР. Гл. ред. техн.-теорет. литературы, 1937 г.
ISBN отсутствует
Хаусдорф, Ф.
Теория множеств
ОНТИ. НКТП СССР. Гл. ред. техн.-теорет. литературы, 1937 г.
ISBN отсутствует
![](?url=/Content/cover/258587.jpg)
Доступно
1 из 2
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 4
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 2
Книга
Теория моделей и алгебраическая геометрия: о доказательстве Э. Хрущовского гипотезы Морделла - Ленга: сб. ст. под ред. Э. Бускаран
МЦНМО, 2008 г.
ISBN 978-5-940571-25-4
Теория моделей и алгебраическая геометрия: о доказательстве Э. Хрущовского гипотезы Морделла - Ленга: сб. ст. под ред. Э. Бускаран
МЦНМО, 2008 г.
ISBN 978-5-940571-25-4
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 4
![](?url=/Content/cover/253770.jpg)
Доступно
1 из 2
![](?url=/Content/cover/253267.jpg)
Доступно
1 из 2
![](?url=/Content/cover/259085.jpg)
Доступно
1 из 2
![](?url=/Content/cover/295090.jpg)
Доступно
1 из 1
Книга
Нейман, Дж. фон
Теория самовоспроизводящихся автоматов
Книжный дом "Либроком", 2010 г.
ISBN 978-5-397-01084-9
Нейман, Дж. фон
Теория самовоспроизводящихся автоматов
Книжный дом "Либроком", 2010 г.
ISBN 978-5-397-01084-9