Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Печать списка
Доступно
1 из 1
Доступно
1 из 4
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 2
Доступно
2 из 7
Доступно
1 из 1
Доступно
1 из 4
Доступно
1 из 3
Доступно
1 из 98
Доступно
1 из 4
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 6
Доступно
1 из 3
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 5
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 2
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 23
Доступно
1 из 1
Доступно
1 из 3
Доступно
1 из 2
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Рубрика
- Название:
- математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Печать списка
Связанные описания:
Доступно
1 из 1
Книга
Карпов, В. Г.
Математическая логика и дискретная математика
Вышэйшая школа, 1977 г.
ISBN отсутствует
Карпов, В. Г.
Математическая логика и дискретная математика
Вышэйшая школа, 1977 г.
ISBN отсутствует
Доступно
1 из 4
Доступно
1 из 1
Книга
Петров, Ю. А.
Математическая логика и материалистическая диалектика: (проблемы логико-филос. оснований и обоснования теорий)
Изд-во Моск. ун-та, 1974 г.
ISBN отсутствует
Петров, Ю. А.
Математическая логика и материалистическая диалектика: (проблемы логико-филос. оснований и обоснования теорий)
Изд-во Моск. ун-та, 1974 г.
ISBN отсутствует
Доступно
1 из 2
Доступно
1 из 2
Книга
Судоплатов, С. В.
Математическая логика и теория алгоритмов: учебник для вузов
ISBN 5-16-001975-8
Судоплатов, С. В.
Математическая логика и теория алгоритмов: учебник для вузов
Серия: Сер. "Высшее образование"
ИНФРА-М, НГТУ, 2004 г.ISBN 5-16-001975-8
Доступно
1 из 2
Книга
Игошин, В. И.
Математическая логика и теория алгоритмов: учеб. пособие для вузов
Академия, 2004 г.
ISBN отсутствует
Игошин, В. И.
Математическая логика и теория алгоритмов: учеб. пособие для вузов
Академия, 2004 г.
ISBN отсутствует
Доступно
1 из 2
Книга
Гринченков, Д. В.
Математическая логика и теория алгоритмов для программистов
КноРус, 2014 г.
ISBN 978-5-406-03403-3
Гринченков, Д. В.
Математическая логика и теория алгоритмов для программистов
КноРус, 2014 г.
ISBN 978-5-406-03403-3
Доступно
1 из 2
Книга
Харин, Н. Н.
Математическая логика и теория множеств: (о соотношении абстрактного и конкретного)
Росвузиздат, 1963 г.
ISBN отсутствует
Харин, Н. Н.
Математическая логика и теория множеств: (о соотношении абстрактного и конкретного)
Росвузиздат, 1963 г.
ISBN отсутствует
Доступно
2 из 7
Книга
Глотова, М. Ю.
Математическая обработка информации: учебник и практикум для бакалавров
ISBN 978-5-9916311-3-6
Глотова, М. Ю.
Математическая обработка информации: учебник и практикум для бакалавров
Серия: Сер. "Бакалавр"
Юрайт, 2014 г.ISBN 978-5-9916311-3-6
Доступно
1 из 1
Книга
Математическая теория логического вывода: сб. переводов
Наука. Гл. ред. физ.-мат. лит., 1967 г.
ISBN отсутствует
Математическая теория логического вывода: сб. переводов
Наука. Гл. ред. физ.-мат. лит., 1967 г.
ISBN отсутствует
Доступно
1 из 4
Доступно
1 из 3
Книга
Салий, В. Н.
Математические основы гуманитарных знаний: учеб. пособие для вузов
Высш. шк., 2009 г.
ISBN 978-5-06-005739-3
Салий, В. Н.
Математические основы гуманитарных знаний: учеб. пособие для вузов
Высш. шк., 2009 г.
ISBN 978-5-06-005739-3
Доступно
1 из 98
Книга
Андреева, Е. В.
Математические основы информатики: элективный курс: учеб. пособие
ISBN 978-5-947746-58-7
Андреева, Е. В.
Математические основы информатики: элективный курс: учеб. пособие
Серия: Сер. "Математика"
БИНОМ. Лаборатория знаний, 2007 г.ISBN 978-5-947746-58-7
Доступно
1 из 4
Книга
Коршунов, Ю. М.
Математические основы кибернетики: учеб. пособие для вузов
Энергоатомиздат, 1987 г.
ISBN отсутствует
Коршунов, Ю. М.
Математические основы кибернетики: учеб. пособие для вузов
Энергоатомиздат, 1987 г.
ISBN отсутствует
Доступно
1 из 2
Книга
Сигорский, В. П.
Математический аппарат инженера
ISBN отсутствует
Сигорский, В. П.
Математический аппарат инженера
Серия: Б-ка инженера
Технiка, 1977 г.ISBN отсутствует
Доступно
1 из 2
Доступно
1 из 6
Доступно
1 из 3
Доступно
1 из 1
Автореферат
Сидорин, А. В.
Метод межпроцедурного и межмодульного анализа кодов программ, написанных на языках С и С++, для п...: автореф. дис. ... канд. технических наук : 05.13.11
МГТУ им. Н.Э. Баумана, 2017 г.
ISBN отсутствует
Сидорин, А. В.
Метод межпроцедурного и межмодульного анализа кодов программ, написанных на языках С и С++, для п...: автореф. дис. ... канд. технических наук : 05.13.11
МГТУ им. Н.Э. Баумана, 2017 г.
ISBN отсутствует
Доступно
2 из 2
Автореферат
Фомина, И. А.
Метод тестирования устойчивости телекоммуникационной системы управления беспилотных летательных а...: автореф. дис. ... канд. технических наук : 05.12.13
Моск. научно-исследовательский радиотехнический ин-т, 2015 г.
ISBN отсутствует
Фомина, И. А.
Метод тестирования устойчивости телекоммуникационной системы управления беспилотных летательных а...: автореф. дис. ... канд. технических наук : 05.12.13
Моск. научно-исследовательский радиотехнический ин-т, 2015 г.
ISBN отсутствует
Доступно
1 из 1
Диссертация
Фомина, И. А.
Метод тестирования устойчивости телекоммуникационной системы управления беспилотных летательных а...: дис. ... канд. технических наук : 05.12.13
Моск. научно-исследовательский радиотехнический ин-т, 2015 г.
ISBN отсутствует
Фомина, И. А.
Метод тестирования устойчивости телекоммуникационной системы управления беспилотных летательных а...: дис. ... канд. технических наук : 05.12.13
Моск. научно-исследовательский радиотехнический ин-т, 2015 г.
ISBN отсутствует
Доступно
1 из 1
Препринты
Седова, С. В.
Метод узловых векторов целочисленного программирования. 4. Алгоритмы локальной оптимизации: препринт #WP/2003/159
ЦЭМИ РАН, 2003 г.
ISBN 5-8211-0273-1
Седова, С. В.
Метод узловых векторов целочисленного программирования. 4. Алгоритмы локальной оптимизации: препринт #WP/2003/159
ЦЭМИ РАН, 2003 г.
ISBN 5-8211-0273-1
Доступно
1 из 5
Экз. чит. зала
Автореферат
Алексеев, И. Б.
Методы и алгоритмы определения архитектуры и функционально-организационного содержания распределе...: автореф. дис. ... канд. технических наук : 05.13.01
МИЭМ, 2008 г.
ISBN отсутствует
Алексеев, И. Б.
Методы и алгоритмы определения архитектуры и функционально-организационного содержания распределе...: автореф. дис. ... канд. технических наук : 05.13.01
МИЭМ, 2008 г.
ISBN отсутствует
Экз. чит. зала
Диссертация
Алексеев, И. Б.
Методы и алгоритмы определения архитектуры и функционально-организационного содержания распределе...: дис. ... канд. технических наук : 05.13.01
МИЭМ, 2008 г.
ISBN отсутствует
Алексеев, И. Б.
Методы и алгоритмы определения архитектуры и функционально-организационного содержания распределе...: дис. ... канд. технических наук : 05.13.01
МИЭМ, 2008 г.
ISBN отсутствует
Доступно
1 из 1
Автореферат
Зо Мин Тайк
Методы и программные средства ускорения писка решения в базах знаний нечётких экспертных систем: автореф. дис. ... канд. технических наук : 05.13.11
НИУ МЭИ, 2017 г.
ISBN отсутствует
Зо Мин Тайк
Методы и программные средства ускорения писка решения в базах знаний нечётких экспертных систем: автореф. дис. ... канд. технических наук : 05.13.11
НИУ МЭИ, 2017 г.
ISBN отсутствует
Экз. чит. зала
Диссертация
Заботнев, М. С.
Методы и средства анализа многомерных баз данных с неполной информацией: дис. ... канд. технических наук : 05.13.11
ГНИИ ФГНУ "Госинформобр", 2006 г.
ISBN отсутствует
Заботнев, М. С.
Методы и средства анализа многомерных баз данных с неполной информацией: дис. ... канд. технических наук : 05.13.11
ГНИИ ФГНУ "Госинформобр", 2006 г.
ISBN отсутствует
Доступно
1 из 2
Книга
Вольфенгаген, В. Э.
Методы и средства вычислений с объектами: аппликативные вычислительные системы
ЮрИнфоР, ЮрИнфоР, 2004 г.
ISBN отсутствует
Вольфенгаген, В. Э.
Методы и средства вычислений с объектами: аппликативные вычислительные системы
ЮрИнфоР, ЮрИнфоР, 2004 г.
ISBN отсутствует
Экз. чит. зала
Автореферат
Меламед, А. Я.
Методы оценки трудоемкости разработки программного обеспечения корпоративных информационных систем: автореф. дис. ... канд. технических наук : 05.13.11
МИЭМ, 2006 г.
ISBN отсутствует
Меламед, А. Я.
Методы оценки трудоемкости разработки программного обеспечения корпоративных информационных систем: автореф. дис. ... канд. технических наук : 05.13.11
МИЭМ, 2006 г.
ISBN отсутствует
Экз. чит. зала
Диссертация
Меламед, А. Я.
Методы оценки трудоемкости разработки программного обеспечения корпоративных информационных систем: дис. ... канд. технических наук : 05.13.11
МИЭМ, 2006 г.
ISBN отсутствует
Меламед, А. Я.
Методы оценки трудоемкости разработки программного обеспечения корпоративных информационных систем: дис. ... канд. технических наук : 05.13.11
МИЭМ, 2006 г.
ISBN отсутствует
Доступно
1 из 23
Книга
Черноруцкий, И. Г.
Методы принятия решений: учеб. пособие для вузов
БХВ-Петербург, 2005 г.
ISBN 5-941574-81-9
Черноруцкий, И. Г.
Методы принятия решений: учеб. пособие для вузов
БХВ-Петербург, 2005 г.
ISBN 5-941574-81-9
Доступно
1 из 1
Доступно
1 из 3
Книга
Жуков, В. К.
Метрология. Теория измерений: учеб. пособие для бакалавриата и магистратуры
ISBN 9785534038651
Жуков, В. К.
Метрология. Теория измерений: учеб. пособие для бакалавриата и магистратуры
Серия: Сер. "Университеты России"
Юрайт, 2019 г.ISBN 9785534038651
Доступно
1 из 2
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 2
Доступно
2 из 2
Автореферат
Цуканова, О. А.
Модели и методы управления информационными ресурсами сетевых сообществ: автореф. дис. ... канд. технических наук : 05.13.18
НИУ ВШЭ, 2017 г.
ISBN отсутствует
Цуканова, О. А.
Модели и методы управления информационными ресурсами сетевых сообществ: автореф. дис. ... канд. технических наук : 05.13.18
НИУ ВШЭ, 2017 г.
ISBN отсутствует
Доступно
1 из 1
Диссертация
Цуканова, О. А.
Модели и методы управления информационными ресурсами сетевых сообществ: дис. ... канд. технических наук : 05.13.18
НИУ ВШЭ, 2017 г.
ISBN отсутствует
Цуканова, О. А.
Модели и методы управления информационными ресурсами сетевых сообществ: дис. ... канд. технических наук : 05.13.18
НИУ ВШЭ, 2017 г.
ISBN отсутствует
Доступно
1 из 1
Автореферат
Ремезова, Е. М.
Модели поддержки принятия решений при подготовке проекта внедрения КИС на основе многоагентных си...: автореф. дис. ... канд. экон. наук : 08.00.13
Санкт-Петербургский гос. экономический ун-т, 2017 г.
ISBN отсутствует
Ремезова, Е. М.
Модели поддержки принятия решений при подготовке проекта внедрения КИС на основе многоагентных си...: автореф. дис. ... канд. экон. наук : 08.00.13
Санкт-Петербургский гос. экономический ун-т, 2017 г.
ISBN отсутствует
Статья
Макушина, Е. Ю.
Моделирование вероятности банкротства российских нефинансовых компаний
б.г.
ISBN отсутствует
Макушина, Е. Ю.
Моделирование вероятности банкротства российских нефинансовых компаний
б.г.
ISBN отсутствует
Доступно
1 из 1
Автореферат
Баумгертнер, С. В.
Мультиэвристический подход к звездно-высотной минимизации нетерминированных конечных автоматов: автореф. дис. ... канд. физ.-мат. наук : 05.13.18
Тольяттинский гос. ун-т, 2011 г.
ISBN отсутствует
Баумгертнер, С. В.
Мультиэвристический подход к звездно-высотной минимизации нетерминированных конечных автоматов: автореф. дис. ... канд. физ.-мат. наук : 05.13.18
Тольяттинский гос. ун-т, 2011 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Бажанов, В. А.
Н. А. Васильев и его воображаемая логика. Воскрешение одной забытой идеи
Канон+, 2009 г.
ISBN 978-5-88373-196-8
Бажанов, В. А.
Н. А. Васильев и его воображаемая логика. Воскрешение одной забытой идеи
Канон+, 2009 г.
ISBN 978-5-88373-196-8
Экз. чит. зала
Диссертация
Ильиченкова, З. В.
Нейросетевая система планирования перемещения мобильного робота: дис. ... канд. технических наук : 05.13.01
МГИЭМ, 1998 г.
ISBN отсутствует
Ильиченкова, З. В.
Нейросетевая система планирования перемещения мобильного робота: дис. ... канд. технических наук : 05.13.01
МГИЭМ, 1998 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Книга
Нечеткие множества в моделях управления и искусственного интеллекта
Наука. Гл. ред. физ.-мат. лит., 1986 г.
ISBN отсутствует
Нечеткие множества в моделях управления и искусственного интеллекта
Наука. Гл. ред. физ.-мат. лит., 1986 г.
ISBN отсутствует