Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Печать списка
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 4
Доступно
1 из 2
Доступно
1 из 4
Доступно
1 из 1
Доступно
1 из 4
Доступно
1 из 3
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 3
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 1
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 3
Доступно
1 из 3
Доступно
1 из 3
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 3
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 3
Доступно
1 из 1
Доступно
1 из 3
Доступно
1 из 1
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Рубрика
- Название:
- математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Печать списка
Связанные описания:
Доступно
1 из 2
Книга
Миллер, Р.
Последовательные и параллельные алгоритмы: общий подход
БИНОМ. Лаборатория знаний, 2006 г.
ISBN 5-947743-25-6
Миллер, Р.
Последовательные и параллельные алгоритмы: общий подход
БИНОМ. Лаборатория знаний, 2006 г.
ISBN 5-947743-25-6
Доступно
1 из 1
Автореферат
Сафин, М. М.
Построение алгоритмов сечений эффективного фронта аффинными подпространствами в методологии Анали...: автореф. дис. ... канд. физико-математических наук : 05.13.01
Ин-т системного анализа РАН, 2008 г.
ISBN отсутствует
Сафин, М. М.
Построение алгоритмов сечений эффективного фронта аффинными подпространствами в методологии Анали...: автореф. дис. ... канд. физико-математических наук : 05.13.01
Ин-т системного анализа РАН, 2008 г.
ISBN отсутствует
Доступно
1 из 2
Книга
Кузнецов, В. Е.
Представление в ЭВМ неформальных процедур
Наука. Гл. ред. физ.-мат. лит., 1989 г.
ISBN 5-02-014101-1
Кузнецов, В. Е.
Представление в ЭВМ неформальных процедур
Наука. Гл. ред. физ.-мат. лит., 1989 г.
ISBN 5-02-014101-1
Доступно
1 из 2
Книга
Непейвода, Н. Н.
Прикладная логика: учеб. пособие для вузов
Изд-во Новосибирского ун-та, 2000 г.
ISBN 5-7615-0490-1
Непейвода, Н. Н.
Прикладная логика: учеб. пособие для вузов
Изд-во Новосибирского ун-та, 2000 г.
ISBN 5-7615-0490-1
Доступно
1 из 4
Статья
Сластников, С. А.
Применение метаэвристических алгоритмов для задачи маршрутизации транспорта
б.г.
ISBN отсутствует
Сластников, С. А.
Применение метаэвристических алгоритмов для задачи маршрутизации транспорта
б.г.
ISBN отсутствует
Статья
Воробьев, В. В.
Применение мультимножеств для оценки ситуации мобильным агентом
б.г.
ISBN отсутствует
Воробьев, В. В.
Применение мультимножеств для оценки ситуации мобильным агентом
б.г.
ISBN отсутствует
Доступно
1 из 2
Доступно
1 из 4
Статья
Зангиева, И. К.
Проблема пропусков в социологических данных: смысл и подходы к решению
б.г.
ISBN отсутствует
Зангиева, И. К.
Проблема пропусков в социологических данных: смысл и подходы к решению
б.г.
ISBN отсутствует
Доступно
1 из 1
Книга
Проблемы конструктивного направления в математике - 4: сб. работ
Наука. Ленингр. отд-ние, 1967 г.
ISBN отсутствует
Проблемы конструктивного направления в математике - 4: сб. работ
Наука. Ленингр. отд-ние, 1967 г.
ISBN отсутствует
Доступно
1 из 4
Книга
Проблемы математической логики: сложность алгоритмов и классы вычислимых функций: сб. пер.
Мир, 1970 г.
ISBN отсутствует
Проблемы математической логики: сложность алгоритмов и классы вычислимых функций: сб. пер.
Мир, 1970 г.
ISBN отсутствует
Статья
Демешев, Б. Б.
Прогнозирование банкротства российских компаний: межотраслевое сравнение
б.г.
ISBN отсутствует
Демешев, Б. Б.
Прогнозирование банкротства российских компаний: межотраслевое сравнение
б.г.
ISBN отсутствует
Доступно
1 из 3
Книга
Градштейн, И. С.
Прямая и обратная теоремы: элементы алгебры логики
Наука. Гл. ред. физ.-мат. лит., 1972 г.
ISBN отсутствует
Градштейн, И. С.
Прямая и обратная теоремы: элементы алгебры логики
Наука. Гл. ред. физ.-мат. лит., 1972 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Градштейн, И. С.
Прямая и обратная теоремы: элементы алгебры логики
ОНТИ НКТП СССР, 1936 г.
ISBN отсутствует
Градштейн, И. С.
Прямая и обратная теоремы: элементы алгебры логики
ОНТИ НКТП СССР, 1936 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Градштейн, И. С.
Прямая и обратная теоремы. Элементы алгебры логики
Наука. Гл. ред. физ.-мат. лит., 1973 г.
ISBN отсутствует
Градштейн, И. С.
Прямая и обратная теоремы. Элементы алгебры логики
Наука. Гл. ред. физ.-мат. лит., 1973 г.
ISBN отсутствует
Доступно
1 из 2
Доступно
1 из 3
Книга
Шрейдер, Ю. А.
Равенство, сходство, порядок
Наука. Гл. ред. физ.-мат. лит., 1971 г.
ISBN отсутствует
Шрейдер, Ю. А.
Равенство, сходство, порядок
Наука. Гл. ред. физ.-мат. лит., 1971 г.
ISBN отсутствует
Экз. чит. зала
Автореферат
Малышев, Д. Н.
Разработка автоматизированных средств оптимизации одномерного раскроя: автореф. дис. ... канд. технических наук : 05.13.01
МФТИ, 2007 г.
ISBN отсутствует
Малышев, Д. Н.
Разработка автоматизированных средств оптимизации одномерного раскроя: автореф. дис. ... канд. технических наук : 05.13.01
МФТИ, 2007 г.
ISBN отсутствует
Экз. чит. зала
Диссертация
Малышев, Д. Н.
Разработка автоматизированных средств оптимизации одномерного раскроя: дис. ... канд. технических наук : 05.13.01
МФТИ, 2007 г.
ISBN отсутствует
Малышев, Д. Н.
Разработка автоматизированных средств оптимизации одномерного раскроя: дис. ... канд. технических наук : 05.13.01
МФТИ, 2007 г.
ISBN отсутствует
Экз. чит. зала
Диссертация
Боков, А. С.
Разработка и исследование алгоритмов диагностирования непрерывных САУ методами распознавания образов: дис. ... канд. технических наук : 05.13.01
Челябинский политехнический ин-т, 1981 г.
ISBN отсутствует
Боков, А. С.
Разработка и исследование алгоритмов диагностирования непрерывных САУ методами распознавания образов: дис. ... канд. технических наук : 05.13.01
Челябинский политехнический ин-т, 1981 г.
ISBN отсутствует
Экз. чит. зала
Автореферат
Королев, С. В.
Разработка и исследование методов и алгоритмов сжатия данных трехмерных анимаций для потоковых пр...: автореф. дис. ... канд. техн. наук : 05.13.13
МИЭМ, 2009 г.
ISBN отсутствует
Королев, С. В.
Разработка и исследование методов и алгоритмов сжатия данных трехмерных анимаций для потоковых пр...: автореф. дис. ... канд. техн. наук : 05.13.13
МИЭМ, 2009 г.
ISBN отсутствует
Экз. чит. зала
Диссертация
Королев, С. В.
Разработка и исследование методов и алгоритмов сжатия данных трехмерных анимаций для потоковых пр...: дис. ... канд. техн. наук : 05.13.13
МИЭМ, 2009 г.
ISBN отсутствует
Королев, С. В.
Разработка и исследование методов и алгоритмов сжатия данных трехмерных анимаций для потоковых пр...: дис. ... канд. техн. наук : 05.13.13
МИЭМ, 2009 г.
ISBN отсутствует
Экз. чит. зала
Автореферат
Нижарадзе, Т. З.
Разработка и исследование модели алгоритма динамической маршрутизации для сетей GMPLS: автореф. дис. ... канд. технических наук : 05.13.13
Вологодский гос. техн. ун-т, 2008 г.
ISBN отсутствует
Нижарадзе, Т. З.
Разработка и исследование модели алгоритма динамической маршрутизации для сетей GMPLS: автореф. дис. ... канд. технических наук : 05.13.13
Вологодский гос. техн. ун-т, 2008 г.
ISBN отсутствует
Экз. чит. зала
Диссертация
Нижарадзе, Т. З.
Разработка и исследование модели алгоритма динамической маршрутизации для сетей GMPLS: дис. ... канд. технических наук : 05.13.13
Вологодский гос. техн. ун-т, 2007 г.
ISBN отсутствует
Нижарадзе, Т. З.
Разработка и исследование модели алгоритма динамической маршрутизации для сетей GMPLS: дис. ... канд. технических наук : 05.13.13
Вологодский гос. техн. ун-т, 2007 г.
ISBN отсутствует
Экз. чит. зала
Автореферат
Чашков, Ю. А.
Разработка интеллектуальных программных средств управления активным оборудованием корпоративных в...: автореф. дис. ... канд. технических наук : 05.13.13
МГИЭМ, 2002 г.
ISBN отсутствует
Чашков, Ю. А.
Разработка интеллектуальных программных средств управления активным оборудованием корпоративных в...: автореф. дис. ... канд. технических наук : 05.13.13
МГИЭМ, 2002 г.
ISBN отсутствует
Экз. чит. зала
Диссертация
Чашков, Ю. А.
Разработка интеллектуальных программных средств управления активным оборудованием корпоративных в...: дис. ... канд. технических наук : 05.13.13
МГИЭМ, 2002 г.
ISBN отсутствует
Чашков, Ю. А.
Разработка интеллектуальных программных средств управления активным оборудованием корпоративных в...: дис. ... канд. технических наук : 05.13.13
МГИЭМ, 2002 г.
ISBN отсутствует
Экз. чит. зала
Автореферат
Гаврилов, Д. А.
Разработка информационно-аналитической системы для бесконтактной идентификации веществ: автореф. дис. ... канд. технических наук : 05.13.01
МФТИ, 2012 г.
ISBN отсутствует
Гаврилов, Д. А.
Разработка информационно-аналитической системы для бесконтактной идентификации веществ: автореф. дис. ... канд. технических наук : 05.13.01
МФТИ, 2012 г.
ISBN отсутствует
Экз. чит. зала
Диссертация
Гаврилов, Д. А.
Разработка информационно-аналитической системы для бесконтактной идентификации веществ: дис. ... канд. технических наук : 05.13.01
МФТИ, 2012 г.
ISBN отсутствует
Гаврилов, Д. А.
Разработка информационно-аналитической системы для бесконтактной идентификации веществ: дис. ... канд. технических наук : 05.13.01
МФТИ, 2012 г.
ISBN отсутствует
Экз. чит. зала
Автореферат
Тряпицын, А. В.
Разработка методики проектирования беспроводных локальных сетей с учетом ЭМС: автореф. дис. ... канд. технических наук : 05.12.13
МИЭМ, 2006 г.
ISBN отсутствует
Тряпицын, А. В.
Разработка методики проектирования беспроводных локальных сетей с учетом ЭМС: автореф. дис. ... канд. технических наук : 05.12.13
МИЭМ, 2006 г.
ISBN отсутствует
Экз. чит. зала
Диссертация
Тряпицын, А. В.
Разработка методики проектирования беспроводных локальных сетей с учетом ЭМС: дис. ... канд. технических наук : 05.12.13
МИЭМ, 2006 г.
ISBN отсутствует
Тряпицын, А. В.
Разработка методики проектирования беспроводных локальных сетей с учетом ЭМС: дис. ... канд. технических наук : 05.12.13
МИЭМ, 2006 г.
ISBN отсутствует
Доступно
1 из 1
Автореферат
Матвеева, К. В.
Разработка методов и алгоритмов инновационного обеспечения управления качеством: автореф. дис. ... канд. экон. наук : 08.00.05
Иркутский гос. техн. ун-т, 2010 г.
ISBN отсутствует
Матвеева, К. В.
Разработка методов и алгоритмов инновационного обеспечения управления качеством: автореф. дис. ... канд. экон. наук : 08.00.05
Иркутский гос. техн. ун-т, 2010 г.
ISBN отсутствует
Экз. чит. зала
Экз. чит. зала
Диссертация
Крупенников, И. В.
Разработка методов и алгоритмов обработки данных систем машинного зрения в реальном масштабе времени: дис. ... канд. технических наук : 05.13.15
МИЭМ, 2011 г.
ISBN отсутствует
Крупенников, И. В.
Разработка методов и алгоритмов обработки данных систем машинного зрения в реальном масштабе времени: дис. ... канд. технических наук : 05.13.15
МИЭМ, 2011 г.
ISBN отсутствует
Экз. чит. зала
Автореферат
Заботнев, М. С.
Разработка методов и средств анализа многомерных баз данных с неполной информацией: автореф. дис. ... канд. технических наук : 05.13.11
ГНИИ ФГНУ "Госинформобр", 2006 г.
ISBN отсутствует
Заботнев, М. С.
Разработка методов и средств анализа многомерных баз данных с неполной информацией: автореф. дис. ... канд. технических наук : 05.13.11
ГНИИ ФГНУ "Госинформобр", 2006 г.
ISBN отсутствует
Доступно
1 из 3
Книга
Медведев, Ф. А.
Ранняя история аксиомы выбора
УРСС, Книжный дом "Либроком", 2013 г.
ISBN 978-5-397-03584-2
Медведев, Ф. А.
Ранняя история аксиомы выбора
УРСС, Книжный дом "Либроком", 2013 г.
ISBN 978-5-397-03584-2
Доступно
1 из 3
Книга
Фоккинк, У.
Распределенные алгоритмы: интуитивный подход
ISBN 9785496021630
Фоккинк, У.
Распределенные алгоритмы: интуитивный подход
Серия: Сер. "Для профессионалов"
Питер, 2017 г.ISBN 9785496021630
Доступно
1 из 3
Доступно
1 из 1
Книга
Очан, Ю. С.
Сборник задач и теорем по теории функций действительного переменного
Просвещение, 1965 г.
ISBN отсутствует
Очан, Ю. С.
Сборник задач и теорем по теории функций действительного переменного
Просвещение, 1965 г.
ISBN отсутствует
Доступно
1 из 2
Книга
Гаврилов, Г. П.
Сборник задач по дискретной математике
Наука. Гл. ред. физ.-мат. лит., 1977 г.
ISBN отсутствует
Гаврилов, Г. П.
Сборник задач по дискретной математике
Наука. Гл. ред. физ.-мат. лит., 1977 г.
ISBN отсутствует
Доступно
1 из 3
Книга
Игошин, В. И.
Сборник задач по математической логике и теории алгоритмов: учебное пособие для вузов
ISBN 9785906818089
Игошин, В. И.
Сборник задач по математической логике и теории алгоритмов: учебное пособие для вузов
Серия: Сер. "Бакалавриат"
КУРС, ИНФРА-М, 2022 г.ISBN 9785906818089
Книга (аналит. описание)
Карабекян, Д. С.
Свойства расширенных предпочтений в задаче манипулирования при голосовании
б.г.
ISBN отсутствует
Карабекян, Д. С.
Свойства расширенных предпочтений в задаче манипулирования при голосовании
б.г.
ISBN отсутствует
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 3
Доступно
1 из 1
Книга
Баранов, С. И.
Синтез микропрограммных автоматов: граф - схемы и автоматы
Энергия. Ленинград. отд-ние, 1979 г.
ISBN отсутствует
Баранов, С. И.
Синтез микропрограммных автоматов: граф - схемы и автоматы
Энергия. Ленинград. отд-ние, 1979 г.
ISBN отсутствует
Доступно
1 из 3
Доступно
1 из 1
Книга
Девятков, В. В.
Системы искусственного интеллекта: уч. пособие
Изд-во МГТУ им. Н. Э. Баумана, 2001 г.
ISBN 5-7038-1727-7
Девятков, В. В.
Системы искусственного интеллекта: уч. пособие
Изд-во МГТУ им. Н. Э. Баумана, 2001 г.
ISBN 5-7038-1727-7