Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Печать списка
Доступно
1 из 4
Доступно
1 из 4
Доступно
1 из 5
Доступно
1 из 3
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 5
Доступно
1 из 4
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 3
Доступно
1 из 4
Доступно
1 из 4
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 4
Доступно
1 из 1
Доступно
2 из 3
Доступно
1 из 2
Доступно
1 из 2
Доступно
24 из 24
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 3
Доступно
1 из 5
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 2
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Рубрика
- Название:
- математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Печать списка
Связанные описания:
Доступно
1 из 4
Доступно
1 из 4
Книга
Пегат, А.
Нечеткое моделирование и управление
БИНОМ. Лаборатория знаний, 2015 г.
ISBN 978-5-9963149-5-9
Пегат, А.
Нечеткое моделирование и управление
БИНОМ. Лаборатория знаний, 2015 г.
ISBN 978-5-9963149-5-9
Доступно
1 из 5
Книга
Пегат, А.
Нечеткое моделирование и управление
БИНОМ. Лаборатория знаний, 2009 г.
ISBN 978-5-947743-53-1
Пегат, А.
Нечеткое моделирование и управление
БИНОМ. Лаборатория знаний, 2009 г.
ISBN 978-5-947743-53-1
Статья
Савченко, Л. В.
Нечеткое фонетическое кодирование речевых сигналов в системах обработки голосовой информации
б.г.
ISBN отсутствует
Савченко, Л. В.
Нечеткое фонетическое кодирование речевых сигналов в системах обработки голосовой информации
б.г.
ISBN отсутствует
Статья
Соловьева, И. А.
Нечетко-множественный подход к финансовой оценке инвестиционных проектов
б.г.
ISBN отсутствует
Соловьева, И. А.
Нечетко-множественный подход к финансовой оценке инвестиционных проектов
б.г.
ISBN отсутствует
Доступно
1 из 3
Статья
Талецкий, Д. С.
О количестве максимальных независимых множеств в полных g-арных деревьях
б.г.
ISBN отсутствует
Талецкий, Д. С.
О количестве максимальных независимых множеств в полных g-арных деревьях
б.г.
ISBN отсутствует
Статья
Кочергин, В. В.
О минимальном числе отрицаний при реализации систем функций многозначной логики
б.г.
ISBN отсутствует
Кочергин, В. В.
О минимальном числе отрицаний при реализации систем функций многозначной логики
б.г.
ISBN отсутствует
Доступно
2 из 2
Автореферат
Сечин, П. А.
О некоторых операциях между теориями когомологий алгебраических многообразий: автореф. дис. ... канд. физ.-мат. наук : 01.01.06
НИУ ВШЭ, 2017 г.
ISBN отсутствует
Сечин, П. А.
О некоторых операциях между теориями когомологий алгебраических многообразий: автореф. дис. ... канд. физ.-мат. наук : 01.01.06
НИУ ВШЭ, 2017 г.
ISBN отсутствует
Доступно
1 из 1
Диссертация
Сечин, П. А.
О некоторых операциях между теориями когомологий алгебраических многообразий: дис. ... канд. физ.-мат. наук : 01.01.06
НИУ ВШЭ, 2017 г.
ISBN отсутствует
Сечин, П. А.
О некоторых операциях между теориями когомологий алгебраических многообразий: дис. ... канд. физ.-мат. наук : 01.01.06
НИУ ВШЭ, 2017 г.
ISBN отсутствует
Доступно
1 из 1
Препринты
Шведов, А. С.
О нечетко-случайных величинах. Препринт WP2/2013/02
НИУ ВШЭ, 2013 г.
ISBN отсутствует
Шведов, А. С.
О нечетко-случайных величинах. Препринт WP2/2013/02
НИУ ВШЭ, 2013 г.
ISBN отсутствует
Доступно
1 из 2
Статья
Семенов, П. В.
Об эквивалентности некоторых утверждений о неподвижных точках сжатий
б.г.
ISBN отсутствует
Семенов, П. В.
Об эквивалентности некоторых утверждений о неподвижных точках сжатий
б.г.
ISBN отсутствует
Доступно
1 из 1
Автореферат
Скворцов, Е. С.
Об эффективных алгоритмах для задачи CSP и их программной реализации: автореф. дис. ... канд. физико=математических наук : 05.13.18
Изд-во Гос. ун-та им. А. М. Горького, 2008 г.
ISBN отсутствует
Скворцов, Е. С.
Об эффективных алгоритмах для задачи CSP и их программной реализации: автореф. дис. ... канд. физико=математических наук : 05.13.18
Изд-во Гос. ун-та им. А. М. Горького, 2008 г.
ISBN отсутствует
Доступно
1 из 5
Статья
Ставенко, Ю. А.
Определение значимости лексики на основе статистического контент-анализа
б.г.
ISBN отсутствует
Ставенко, Ю. А.
Определение значимости лексики на основе статистического контент-анализа
б.г.
ISBN отсутствует
Доступно
1 из 4
Статья
Хусаинов, М. К.
Оптимальное управление ресурсами организации потребительской кооперации
б.г.
ISBN отсутствует
Хусаинов, М. К.
Оптимальное управление ресурсами организации потребительской кооперации
б.г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Книга
Мелихов, А. Н.
Ориентированные графы и конечные автоматы
Наука. Гл. ред. физ.-мат. лит., 1971 г.
ISBN отсутствует
Мелихов, А. Н.
Ориентированные графы и конечные автоматы
Наука. Гл. ред. физ.-мат. лит., 1971 г.
ISBN отсутствует
Доступно
1 из 3
Книга
Клини, С.
Основания интуиционистской математики: с точки зрения теории рекурсивных функций
Наука. Гл. ред. физ.-мат. лит., 1978 г.
ISBN отсутствует
Клини, С.
Основания интуиционистской математики: с точки зрения теории рекурсивных функций
Наука. Гл. ред. физ.-мат. лит., 1978 г.
ISBN отсутствует
Доступно
1 из 4
Книга
Гильберт, Д.
Основания математики : логические исчисления и формализация арифметики
Наука. Гл. ред. физ.-мат. лит., 1982 г.
ISBN отсутствует
Гильберт, Д.
Основания математики : логические исчисления и формализация арифметики
Наука. Гл. ред. физ.-мат. лит., 1982 г.
ISBN отсутствует
Доступно
1 из 4
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 4
Книга
Осипова, В. А.
Основы дискретной математики: учеб. пособие для вузов
ISBN 5-911340-16-X
Осипова, В. А.
Основы дискретной математики: учеб. пособие для вузов
Серия: Сер. "Высшее образование"
ФОРУМ, ИНФРА-М, 2006 г.ISBN 5-911340-16-X
Доступно
1 из 1
Доступно
2 из 3
Книга
Колдаев, В. Д.
Основы логического проектирования: учеб. пособие для вузов
ISBN 978-5-8199-0458-9
Колдаев, В. Д.
Основы логического проектирования: учеб. пособие для вузов
Серия: Сер. "Высшее образование"
ФОРУМ, ИНФРА-М, 2011 г.ISBN 978-5-8199-0458-9
Доступно
1 из 2
Книга
Чирков, М. К.
Основы общей теории конечных автоматов
Изд-во Ленингр. ун-та, 1975 г.
ISBN отсутствует
Чирков, М. К.
Основы общей теории конечных автоматов
Изд-во Ленингр. ун-та, 1975 г.
ISBN отсутствует
Доступно
1 из 2
Книга
Фридман, Л. М.
Основы проблемологии
ISBN 5-89638-043-7
Фридман, Л. М.
Основы проблемологии
Серия: Сер. "Проблемология"
СИНТЕГ, 2001 г.ISBN 5-89638-043-7
Доступно
24 из 24
Книга
Макконелл, Дж.
Основы современных алгоритмов: учеб. пособие
ISBN 5-948360-05-9
Макконелл, Дж.
Основы современных алгоритмов: учеб. пособие
Серия: Сер. "Мир программирования"
Техносфера, 2006 г.ISBN 5-948360-05-9
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 3
Книга
Бухараев, Р. Г.
Основы теории вероятностных автоматов
Наука. Гл. ред. физ.-мат. лит., 1985 г.
ISBN отсутствует
Бухараев, Р. Г.
Основы теории вероятностных автоматов
Наука. Гл. ред. физ.-мат. лит., 1985 г.
ISBN отсутствует
Доступно
1 из 5
Книга
Борисов, В. В.
Основы теории нечетких множеств: уч. пособие
Горячая линия-Телеком, 2014 г.
ISBN 978-5-9912037-1-5
Борисов, В. В.
Основы теории нечетких множеств: уч. пособие
Горячая линия-Телеком, 2014 г.
ISBN 978-5-9912037-1-5
Доступно
1 из 2
Книга
Косовский, Н. К.
Основы теории элементарных алгоритмов: учеб. пособие для вузов
Изд-во ЛГУ, 1987 г.
ISBN отсутствует
Косовский, Н. К.
Основы теории элементарных алгоритмов: учеб. пособие для вузов
Изд-во ЛГУ, 1987 г.
ISBN отсутствует
Доступно
1 из 1
Автореферат
Зухба, А. В.
Оценка вычислительной сложности задач отбора эталонных объектов и признаков: автореф. дис. ... канд. физ.-мат. наук : 01.01.09
Моск. гос. инженерно-физический ин-т, 2018 г.
ISBN отсутствует
Зухба, А. В.
Оценка вычислительной сложности задач отбора эталонных объектов и признаков: автореф. дис. ... канд. физ.-мат. наук : 01.01.09
Моск. гос. инженерно-физический ин-т, 2018 г.
ISBN отсутствует
Доступно
1 из 2
Книга
Мартин-Леф, П.
Очерки по конструктивной математике
ISBN отсутствует
Мартин-Леф, П.
Очерки по конструктивной математике
Серия: Б-ка сборника "Математика"
Мир, 1975 г.ISBN отсутствует
Доступно
1 из 2
Книга
Сошников, Д. В.
Парадигма логического программирования
Вузовская книга, 2006 г.
ISBN 5-9502020-5-8
Сошников, Д. В.
Парадигма логического программирования
Вузовская книга, 2006 г.
ISBN 5-9502020-5-8
Доступно
1 из 1
Книга
Депман, И. Я.
Первое знакомство с математической логикой
Общество "Знание" РСФСР, Ленингр. организация, 1965 г.
ISBN отсутствует
Депман, И. Я.
Первое знакомство с математической логикой
Общество "Знание" РСФСР, Ленингр. организация, 1965 г.
ISBN отсутствует
Доступно
1 из 2
Книга
Заде, Л.
Понятие лингвистической переменной и его применение к принятию приближенных решений
Мир, 1976 г.
ISBN отсутствует
Заде, Л.
Понятие лингвистической переменной и его применение к принятию приближенных решений
Мир, 1976 г.
ISBN отсутствует
Доступно
1 из 2
Книга
Гжегорчик, А.
Популярная логика: общедоступный очерк логики предложений
Наука. Гл. ред. физ.-мат. лит., 1979 г.
ISBN отсутствует
Гжегорчик, А.
Популярная логика: общедоступный очерк логики предложений
Наука. Гл. ред. физ.-мат. лит., 1979 г.
ISBN отсутствует
Доступно
1 из 2
Книга
Миллер, Р.
Последовательные и параллельные алгоритмы: общий подход
БИНОМ. Лаборатория знаний, 2006 г.
ISBN 5-947743-25-6
Миллер, Р.
Последовательные и параллельные алгоритмы: общий подход
БИНОМ. Лаборатория знаний, 2006 г.
ISBN 5-947743-25-6