Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Печать списка
Доступно
1 из 1
Доступно
1 из 10
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 3
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 5
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 3
Доступно
1 из 3
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 4
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 3
Доступно
1 из 3
Доступно
1 из 1
Доступно
1 из 2
Доступно
2 из 30
Доступно
1 из 3
Доступно
1 из 15
Доступно
1 из 30
Доступно
1 из 6
Доступно
1 из 19
Доступно
1 из 2
--> Математика = 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)
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
Structural theory of automata, semigroups, and universal algebra
ISBN 1-402-03816-X
Structural theory of automata, semigroups, and universal algebra
Серия: NATO science series
Springer, 2005 г.ISBN 1-402-03816-X
![](/absopac/app/webroot/img/doctypes/9.gif)
Многотомник
Studies in inductive logic and probability
University of California Press, 1980 г.
ISBN 0-520-03826-6
Studies in inductive logic and probability
University of California Press, 1980 г.
ISBN 0-520-03826-6
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 10
Книга
Марченков, С. С.
S-классификация функций трехзначной логики
Физматлит, 2001 г.
ISBN 5-922101-52-8
Марченков, С. С.
S-классификация функций трехзначной логики
Физматлит, 2001 г.
ISBN 5-922101-52-8
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 2
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 2
Книга
The description logic handbook: theory, implementation, and applications
Cambridge University Press, 2010 г.
ISBN 978-0-521-15011-8
The description logic handbook: theory, implementation, and applications
Cambridge University Press, 2010 г.
ISBN 978-0-521-15011-8
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
The description logic handbook: theory, implementation, and applications
Cambridge University Press, 2007 г.
ISBN 0-521-87625-7
The description logic handbook: theory, implementation, and applications
Cambridge University Press, 2007 г.
ISBN 0-521-87625-7
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 3
Книга
The description logic handbook: theory, implementation, and applications
Cambridge University Press, 2008 г.
ISBN 978-0-521-87625-4
The description logic handbook: theory, implementation, and applications
Cambridge University Press, 2008 г.
ISBN 978-0-521-87625-4
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
Ramsey, F. P.
The foundations of mathematics: and other logical essays
Routledge, 2002 г.
ISBN 0-415-22546-9
Ramsey, F. P.
The foundations of mathematics: and other logical essays
Routledge, 2002 г.
ISBN 0-415-22546-9
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
The history of mathematical proof in ancient traditions
Cambridge University Press, 2012 г.
ISBN 978-1-10-701221-9
The history of mathematical proof in ancient traditions
Cambridge University Press, 2012 г.
ISBN 978-1-10-701221-9
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 5
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
The Oxford handbook of philosophy of mathematics and logic
Oxford University Press, 2005 г.
ISBN 0-19-514877-0
The Oxford handbook of philosophy of mathematics and logic
Oxford University Press, 2005 г.
ISBN 0-19-514877-0
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
Loveland, D. W.
Three views of logic: mathematics, philosophy, and computer science
Princeton University Press, 2014 г.
ISBN 978-0-691-16044-3
Loveland, D. W.
Three views of logic: mathematics, philosophy, and computer science
Princeton University Press, 2014 г.
ISBN 978-0-691-16044-3
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
Niiniluoto, I.
Truth-seeking by abduction
ISBN 9783319991566
Niiniluoto, I.
Truth-seeking by abduction
Серия: Synthese library
Springer, 2018 г.ISBN 9783319991566
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](?url=/Content/cover/287242.jpg)
Доступно
1 из 2
Книга
Шаумян, Г. А.
Автоматы: учеб. пособие
Гос. науч. - техн. изд-во машиностроительной лит., 1955 г.
ISBN отсутствует
Шаумян, Г. А.
Автоматы: учеб. пособие
Гос. науч. - техн. изд-во машиностроительной лит., 1955 г.
ISBN отсутствует
![](?url=/Content/cover/287241.jpg)
Доступно
1 из 1
Книга
Шаумян, Г. А.
Автоматы и автоматические линии: учеб. пособие
Гос. науч. - техн. изд-во машиностроительной лит., 1961 г.
ISBN отсутствует
Шаумян, Г. А.
Автоматы и автоматические линии: учеб. пособие
Гос. науч. - техн. изд-во машиностроительной лит., 1961 г.
ISBN отсутствует
![](?url=/Content/cover/253780.jpg)
Доступно
1 из 1
![](/absopac/app/webroot/img/doctypes/24.gif)
Доступно
1 из 1
Препринты
Калягин, В. А.
Аксиоматическая модель некомпенсаторного агрегирования. Препринт WP7/2009/01
ГУ-ВШЭ, 2009 г.
ISBN отсутствует
Калягин, В. А.
Аксиоматическая модель некомпенсаторного агрегирования. Препринт WP7/2009/01
ГУ-ВШЭ, 2009 г.
ISBN отсутствует
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 3
Книга
Наголкин, А. Н.
Алгебра логики в золотом сечении: еще один шаг в область нечетких логик и компьютерного интеллекта
МАКС Пресс, 2006 г.
ISBN 5-317-01731-9
Наголкин, А. Н.
Алгебра логики в золотом сечении: еще один шаг в область нечетких логик и компьютерного интеллекта
МАКС Пресс, 2006 г.
ISBN 5-317-01731-9
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 3
Книга
Лефевр, В. А.
Алгебра совести: пер. со 2-го англ. изд. с доп.
Когито-Центр, 2003 г.
ISBN 5-89353-094-2
Лефевр, В. А.
Алгебра совести: пер. со 2-го англ. изд. с доп.
Когито-Центр, 2003 г.
ISBN 5-89353-094-2
![](?url=/Content/cover/284556.jpg)
Доступно
1 из 1
![](?url=/Content/cover/291189.jpg)
Доступно
1 из 1
![](/absopac/app/webroot/img/doctypes/6.gif)
![](/absopac/app/webroot/img/doctypes/6.gif)
![](/absopac/app/webroot/img/doctypes/35.gif)
Экз. чит. зала
Автореферат
Рожков, М. И.
Алгоритмические вопросы идентификации конечных автоматов по распределению выходных m-грамм: автореф. дис. ... д-ра технических наук : 05.13.19
МИЭМ, 2011 г.
ISBN отсутствует
Рожков, М. И.
Алгоритмические вопросы идентификации конечных автоматов по распределению выходных m-грамм: автореф. дис. ... д-ра технических наук : 05.13.19
МИЭМ, 2011 г.
ISBN отсутствует
![](/absopac/app/webroot/img/doctypes/44.gif)
Экз. чит. зала
Диссертация
Рожков, М. И.
Алгоритмические вопросы идентификации конечных автоматов по распределению выходных m-грамм: дис. ... д-р технических наук : 05.13.19
МИЭМ, 2011 г.
ISBN отсутствует
Рожков, М. И.
Алгоритмические вопросы идентификации конечных автоматов по распределению выходных m-грамм: дис. ... д-р технических наук : 05.13.19
МИЭМ, 2011 г.
ISBN отсутствует
![](/absopac/app/webroot/img/doctypes/6.gif)
Статья
Афанасьев, В. Н.
Алгоритмический метод построения управлений нелинейным неопределенным объектом
б.г.
ISBN отсутствует
Афанасьев, В. Н.
Алгоритмический метод построения управлений нелинейным неопределенным объектом
б.г.
ISBN отсутствует
![](/absopac/app/webroot/img/doctypes/35.gif)
Экз. чит. зала
Автореферат
Волкова, А. В.
Алгоритмическое и программное обеспечение многокритериального конструирования систем управления: автореф. дис. ... канд. технических наук : 05.13.11
МГИЭМ, 1999 г.
ISBN отсутствует
Волкова, А. В.
Алгоритмическое и программное обеспечение многокритериального конструирования систем управления: автореф. дис. ... канд. технических наук : 05.13.11
МГИЭМ, 1999 г.
ISBN отсутствует
![](/absopac/app/webroot/img/doctypes/44.gif)
Экз. чит. зала
Диссертация
Волкова, А. В.
Алгоритмическое и программное обеспечение многокритериального конструирования систем управления: дис. ... канд. технических наук : 05.13.11
МГИЭМ, 1999 г.
ISBN отсутствует
Волкова, А. В.
Алгоритмическое и программное обеспечение многокритериального конструирования систем управления: дис. ... канд. технических наук : 05.13.11
МГИЭМ, 1999 г.
ISBN отсутствует
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 2
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 2
![](?url=/Content/cover/257219.jpg)
Доступно
1 из 4
![](/absopac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](?url=/Content/cover/258039.jpg)
Доступно
1 из 1
Книга
Мальцев, А. И.
Алгоритмы и рекурсивные функции
Наука. Гл. ред. физ.-мат. лит., 1965 г.
ISBN отсутствует
Мальцев, А. И.
Алгоритмы и рекурсивные функции
Наука. Гл. ред. физ.-мат. лит., 1965 г.
ISBN отсутствует
![](?url=/Content/cover/250843.jpg)
Доступно
1 из 3
Книга
Мальцев, А. И.
Алгоритмы и рекурсивные функции
Наука. Гл. ред. физ.-мат. лит., 1986 г.
ISBN отсутствует
Мальцев, А. И.
Алгоритмы и рекурсивные функции
Наука. Гл. ред. физ.-мат. лит., 1986 г.
ISBN отсутствует
![](?url=/Content/cover/256561.jpg)
Доступно
1 из 3
Книга
Ачасова, С. М.
Алгоритмы синтеза автоматов на программируемых матрицах
Радио и связь, 1987 г.
ISBN отсутствует
Ачасова, С. М.
Алгоритмы синтеза автоматов на программируемых матрицах
Радио и связь, 1987 г.
ISBN отсутствует
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
Тоценко, В. Г.
Алгоритмы технического диагностирования дискретных устройств
Радио и связь, 1985 г.
ISBN отсутствует
Тоценко, В. Г.
Алгоритмы технического диагностирования дискретных устройств
Радио и связь, 1985 г.
ISBN отсутствует
![](?url=/Content/cover/352933.jpg)
Доступно
1 из 2
Книга
Луридас, П.
Алгоритмы. Самый краткий и понятный курс
ISBN 9785041157654
Луридас, П.
Алгоритмы. Самый краткий и понятный курс
Серия: Б-ка MIT
Эксмо, Бомбора, 2022 г.ISBN 9785041157654
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
2 из 30
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 3
![](?url=/Content/cover/237908.jpg)
Доступно
1 из 15
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 30
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 6
![](?url=/Content/cover/240430.jpg)
Доступно
1 из 19
![](?url=/Content/cover/253933.jpg)
Доступно
1 из 2