Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика = 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
Печать списка
Связанные описания:
Доступно
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
Многотомник
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
Доступно
1 из 10
Книга
Марченков, С. С.
S-классификация функций трехзначной логики
Физматлит, 2001 г.
ISBN 5-922101-52-8
Марченков, С. С.
S-классификация функций трехзначной логики
Физматлит, 2001 г.
ISBN 5-922101-52-8
Доступно
1 из 2
Доступно
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
Доступно
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
Доступно
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
Доступно
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
Доступно
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
Доступно
1 из 5
Доступно
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
Доступно
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
Доступно
1 из 1
Доступно
1 из 1
Книга
Niiniluoto, I.
Truth-seeking by abduction
ISBN 9783319991566
Niiniluoto, I.
Truth-seeking by abduction
Серия: Synthese library
Springer, 2018 г.ISBN 9783319991566
Доступно
1 из 1
Доступно
1 из 2
Книга
Шаумян, Г. А.
Автоматы: учеб. пособие
Гос. науч. - техн. изд-во машиностроительной лит., 1955 г.
ISBN отсутствует
Шаумян, Г. А.
Автоматы: учеб. пособие
Гос. науч. - техн. изд-во машиностроительной лит., 1955 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Шаумян, Г. А.
Автоматы и автоматические линии: учеб. пособие
Гос. науч. - техн. изд-во машиностроительной лит., 1961 г.
ISBN отсутствует
Шаумян, Г. А.
Автоматы и автоматические линии: учеб. пособие
Гос. науч. - техн. изд-во машиностроительной лит., 1961 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Препринты
Калягин, В. А.
Аксиоматическая модель некомпенсаторного агрегирования. Препринт WP7/2009/01
ГУ-ВШЭ, 2009 г.
ISBN отсутствует
Калягин, В. А.
Аксиоматическая модель некомпенсаторного агрегирования. Препринт WP7/2009/01
ГУ-ВШЭ, 2009 г.
ISBN отсутствует
Доступно
1 из 3
Книга
Наголкин, А. Н.
Алгебра логики в золотом сечении: еще один шаг в область нечетких логик и компьютерного интеллекта
МАКС Пресс, 2006 г.
ISBN 5-317-01731-9
Наголкин, А. Н.
Алгебра логики в золотом сечении: еще один шаг в область нечетких логик и компьютерного интеллекта
МАКС Пресс, 2006 г.
ISBN 5-317-01731-9
Доступно
1 из 3
Книга
Лефевр, В. А.
Алгебра совести: пер. со 2-го англ. изд. с доп.
Когито-Центр, 2003 г.
ISBN 5-89353-094-2
Лефевр, В. А.
Алгебра совести: пер. со 2-го англ. изд. с доп.
Когито-Центр, 2003 г.
ISBN 5-89353-094-2
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Автореферат
Рожков, М. И.
Алгоритмические вопросы идентификации конечных автоматов по распределению выходных m-грамм: автореф. дис. ... д-ра технических наук : 05.13.19
МИЭМ, 2011 г.
ISBN отсутствует
Рожков, М. И.
Алгоритмические вопросы идентификации конечных автоматов по распределению выходных m-грамм: автореф. дис. ... д-ра технических наук : 05.13.19
МИЭМ, 2011 г.
ISBN отсутствует
Экз. чит. зала
Диссертация
Рожков, М. И.
Алгоритмические вопросы идентификации конечных автоматов по распределению выходных m-грамм: дис. ... д-р технических наук : 05.13.19
МИЭМ, 2011 г.
ISBN отсутствует
Рожков, М. И.
Алгоритмические вопросы идентификации конечных автоматов по распределению выходных m-грамм: дис. ... д-р технических наук : 05.13.19
МИЭМ, 2011 г.
ISBN отсутствует
Статья
Афанасьев, В. Н.
Алгоритмический метод построения управлений нелинейным неопределенным объектом
б.г.
ISBN отсутствует
Афанасьев, В. Н.
Алгоритмический метод построения управлений нелинейным неопределенным объектом
б.г.
ISBN отсутствует
Экз. чит. зала
Автореферат
Волкова, А. В.
Алгоритмическое и программное обеспечение многокритериального конструирования систем управления: автореф. дис. ... канд. технических наук : 05.13.11
МГИЭМ, 1999 г.
ISBN отсутствует
Волкова, А. В.
Алгоритмическое и программное обеспечение многокритериального конструирования систем управления: автореф. дис. ... канд. технических наук : 05.13.11
МГИЭМ, 1999 г.
ISBN отсутствует
Экз. чит. зала
Диссертация
Волкова, А. В.
Алгоритмическое и программное обеспечение многокритериального конструирования систем управления: дис. ... канд. технических наук : 05.13.11
МГИЭМ, 1999 г.
ISBN отсутствует
Волкова, А. В.
Алгоритмическое и программное обеспечение многокритериального конструирования систем управления: дис. ... канд. технических наук : 05.13.11
МГИЭМ, 1999 г.
ISBN отсутствует
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 4
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Книга
Мальцев, А. И.
Алгоритмы и рекурсивные функции
Наука. Гл. ред. физ.-мат. лит., 1965 г.
ISBN отсутствует
Мальцев, А. И.
Алгоритмы и рекурсивные функции
Наука. Гл. ред. физ.-мат. лит., 1965 г.
ISBN отсутствует
Доступно
1 из 3
Книга
Мальцев, А. И.
Алгоритмы и рекурсивные функции
Наука. Гл. ред. физ.-мат. лит., 1986 г.
ISBN отсутствует
Мальцев, А. И.
Алгоритмы и рекурсивные функции
Наука. Гл. ред. физ.-мат. лит., 1986 г.
ISBN отсутствует
Доступно
1 из 3
Книга
Ачасова, С. М.
Алгоритмы синтеза автоматов на программируемых матрицах
Радио и связь, 1987 г.
ISBN отсутствует
Ачасова, С. М.
Алгоритмы синтеза автоматов на программируемых матрицах
Радио и связь, 1987 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Тоценко, В. Г.
Алгоритмы технического диагностирования дискретных устройств
Радио и связь, 1985 г.
ISBN отсутствует
Тоценко, В. Г.
Алгоритмы технического диагностирования дискретных устройств
Радио и связь, 1985 г.
ISBN отсутствует
Доступно
1 из 2
Книга
Луридас, П.
Алгоритмы. Самый краткий и понятный курс
ISBN 9785041157654
Луридас, П.
Алгоритмы. Самый краткий и понятный курс
Серия: Б-ка MIT
Эксмо, Бомбора, 2022 г.ISBN 9785041157654
Доступно
2 из 30
Доступно
1 из 3
Доступно
1 из 15
Доступно
1 из 30
Доступно
1 из 6
Доступно
1 из 19
Доступно
1 из 2