Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Печать списка
Доступно
1 из 1
Доступно
1 из 3
Доступно
1 из 2
Экз. чит. зала
Доступно
1 из 3
Доступно
1 из 2
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 4
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 4
Доступно
1 из 3
Доступно
1 из 1
Доступно
1 из 3
Доступно
1 из 3
Доступно
1 из 4
Доступно
1 из 30
Доступно
1 из 2
Доступно
1 из 3
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 3
Доступно
1 из 1
Доступно
1 из 32
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 3
Доступно
1 из 1
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Рубрика
- Название:
- математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Печать списка
Связанные описания:
Статья
Подлесных, В. Г.
Извлечение частых множеств из транзакционных данных вертикального формата
б.г.
ISBN отсутствует
Подлесных, В. Г.
Извлечение частых множеств из транзакционных данных вертикального формата
б.г.
ISBN отсутствует
Статья
Геращенко, И. П.
Инвестиционный анализ в условиях неопределенности бизнес-окружения
б.г.
ISBN отсутствует
Геращенко, И. П.
Инвестиционный анализ в условиях неопределенности бизнес-окружения
б.г.
ISBN отсутствует
Доступно
1 из 1
Книга
Васильев, С. Н.
Интеллектное управление динамическими системами
Физматлит, 2000 г.
ISBN 5-922100-50-5
Васильев, С. Н.
Интеллектное управление динамическими системами
Физматлит, 2000 г.
ISBN 5-922100-50-5
Доступно
1 из 3
Книга
Бессмертный, И. А.
Интеллектуальные системы: учебник и практикум для академического бакалавриата
ISBN 9785534010428
Бессмертный, И. А.
Интеллектуальные системы: учебник и практикум для академического бакалавриата
Серия: Сер. "Бакалавр"
Юрайт, 2018 г.ISBN 9785534010428
Доступно
1 из 2
Книга
Усков, А. А.
Интеллектуальные технологии управления. Искусственные нейронные сети и нечеткая логика
Горячая линия-Телеком, 2004 г.
ISBN 5-935171-81-3
Усков, А. А.
Интеллектуальные технологии управления. Искусственные нейронные сети и нечеткая логика
Горячая линия-Телеком, 2004 г.
ISBN 5-935171-81-3
Экз. чит. зала
Диссертация
Никитин, В. В.
Информационно - логическая модель автоматизированной системы обработки изображения: дис. ... канд. технических наук: 05.13.01
МИЭМ, 1984 г.
ISBN отсутствует
Никитин, В. В.
Информационно - логическая модель автоматизированной системы обработки изображения: дис. ... канд. технических наук: 05.13.01
МИЭМ, 1984 г.
ISBN отсутствует
Доступно
1 из 3
Доступно
1 из 2
Книга
Веллеман, Д.
Искусство доказательства в математике: курс лекций с упражнениями
ДМК Пресс, 2021 г.
ISBN 9785970609118
Веллеман, Д.
Искусство доказательства в математике: курс лекций с упражнениями
ДМК Пресс, 2021 г.
ISBN 9785970609118
Экз. чит. зала
Диссертация
Майоршин, А. П.
Исследование и построение оптимальных алгоритмов идентификации и моделирования нелинейных систем: дис. ... канд. технических наук : 05.13.01
Моск. ин-т электронного машиностроения, 1981 г.
ISBN отсутствует
Майоршин, А. П.
Исследование и построение оптимальных алгоритмов идентификации и моделирования нелинейных систем: дис. ... канд. технических наук : 05.13.01
Моск. ин-т электронного машиностроения, 1981 г.
ISBN отсутствует
Доступно
1 из 1
Автореферат
Шипов, А. А.
Исследование и разработка семантических методов анализа распределенных программ: автореф. дис. ... канд. технических наук: 05.13.11
Российский гос. социальный ун-т, 2016 г.
ISBN отсутствует
Шипов, А. А.
Исследование и разработка семантических методов анализа распределенных программ: автореф. дис. ... канд. технических наук: 05.13.11
Российский гос. социальный ун-т, 2016 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 2
Книга
Адамар, Ж.
Исследование психологии процесса изобретения в области математики
МЦНМО, 2001 г.
ISBN 5-900916-85-5
Адамар, Ж.
Исследование психологии процесса изобретения в области математики
МЦНМО, 2001 г.
ISBN 5-900916-85-5
Доступно
1 из 2
Книга
Исследования по конструктивной математике и математической логике. VIII: сб. работ
Наука. Ленингр. отд-ние, 1979 г.
ISBN отсутствует
Исследования по конструктивной математике и математической логике. VIII: сб. работ
Наука. Ленингр. отд-ние, 1979 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Цетлин, М. Л.
Исследования по теории автоматов и моделированию биологических систем
Наука. Гл. ред. физ.-мат. лит., 1969 г.
ISBN отсутствует
Цетлин, М. Л.
Исследования по теории автоматов и моделированию биологических систем
Наука. Гл. ред. физ.-мат. лит., 1969 г.
ISBN отсутствует
Доступно
1 из 2
Многотомник
Исследования по теории алгорифмов и математической логике: сб. работ
Вычислительный центр АН СССР, 1973 г.
ISBN отсутствует
Исследования по теории алгорифмов и математической логике: сб. работ
Вычислительный центр АН СССР, 1973 г.
ISBN отсутствует
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 4
Доступно
1 из 1
Книга
Паронджанов, В. Д.
Как улучшить работу ума: Новые средства для образного представления знаний, развития интеллекта и...
Радио и связь, 1999 г.
ISBN 5-256-01211-8
Паронджанов, В. Д.
Как улучшить работу ума: Новые средства для образного представления знаний, развития интеллекта и...
Радио и связь, 1999 г.
ISBN 5-256-01211-8
Доступно
1 из 1
Доступно
1 из 1
Книга
Кибернетика и логика: математико - логические аспекты становления идей кибернетики и развития вычислительной техники
Наука, 1978 г.
ISBN отсутствует
Кибернетика и логика: математико - логические аспекты становления идей кибернетики и развития вычислительной техники
Наука, 1978 г.
ISBN отсутствует
Многотомник
Глушков, В. М.
Кибернетика, вычислительная техника, информатика: избранные труды: в 3 т.
Наукова думка, 1990 г.
ISBN отсутствует
Глушков, В. М.
Кибернетика, вычислительная техника, информатика: избранные труды: в 3 т.
Наукова думка, 1990 г.
ISBN отсутствует
Доступно
1 из 4
Книга
Мозговой, М. В.
Классика программирования: алгоритмы, языки, автоматы, компиляторы: практический подход
Наука и техника, 2006 г.
ISBN 5-943872-24-8
Мозговой, М. В.
Классика программирования: алгоритмы, языки, автоматы, компиляторы: практический подход
Наука и техника, 2006 г.
ISBN 5-943872-24-8
Доступно
1 из 3
Книга
Бирюков, Б. В.
Кн.2. : В мире логики - математической и философской
2014 г.
ISBN 978-5-9710073-6-4
Бирюков, Б. В.
Кн.2. : В мире логики - математической и философской
2014 г.
ISBN 978-5-9710073-6-4
Доступно
1 из 1
Книга
Варшавский, В. И.
Коллективное поведение автоматов
Наука. Гл. ред. физ.-мат. лит., 1973 г.
ISBN отсутствует
Варшавский, В. И.
Коллективное поведение автоматов
Наука. Гл. ред. физ.-мат. лит., 1973 г.
ISBN отсутствует
Доступно
1 из 3
Доступно
1 из 3
Книга
Трахтенброт, Б. А.
Конечные автоматы: (поведение и синтез)
Наука. Гл. ред. физ.-мат. лит., 1970 г.
ISBN отсутствует
Трахтенброт, Б. А.
Конечные автоматы: (поведение и синтез)
Наука. Гл. ред. физ.-мат. лит., 1970 г.
ISBN отсутствует
Доступно
1 из 4
Книга
Иванов, Н. Н.
Конечные автоматы: эквивалентность и поведение
Наука. Гл. ред. физ.-мат. лит., 1984 г.
ISBN отсутствует
Иванов, Н. Н.
Конечные автоматы: эквивалентность и поведение
Наука. Гл. ред. физ.-мат. лит., 1984 г.
ISBN отсутствует
Доступно
1 из 30
Книга
Лупанов, О. Б.
Конспект лекций О.Б. Лупанова по курсу "Введение в математическую логику": учебное пособие для вузов
Изд-во Моск. ун-та, 2023 г.
ISBN 9785190118407
Лупанов, О. Б.
Конспект лекций О.Б. Лупанова по курсу "Введение в математическую логику": учебное пособие для вузов
Изд-во Моск. ун-та, 2023 г.
ISBN 9785190118407
Доступно
1 из 2
Книга
Новиков, П. С.
Конструктивная математическая логика с точки зрения классической
Наука. Гл. ред. физ.-мат. лит., 1977 г.
ISBN отсутствует
Новиков, П. С.
Конструктивная математическая логика с точки зрения классической
Наука. Гл. ред. физ.-мат. лит., 1977 г.
ISBN отсутствует
Доступно
1 из 3
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 3
Книга
Абрамов, С. А.
Лекции о сложности алгоритмов: учебное пособие для вузов
МЦНМО, 2020 г.
ISBN 9785443914640
Абрамов, С. А.
Лекции о сложности алгоритмов: учебное пособие для вузов
МЦНМО, 2020 г.
ISBN 9785443914640
Доступно
1 из 1
Книга
Лузин, Н. Н.
Лекции об аналитических множествах и их приложениях
ISBN отсутствует
Лузин, Н. Н.
Лекции об аналитических множествах и их приложениях
Серия: Б-ка русской науки
Гос. изд-во технико-теорет. лит., 1953 г.ISBN отсутствует
Доступно
1 из 32
Доступно
1 из 2
Книга
Соболев, В. И.
Лекции по дополнительным главам математического анализа
Наука. Гл. ред. физ.-мат. лит., 1968 г.
ISBN отсутствует
Соболев, В. И.
Лекции по дополнительным главам математического анализа
Наука. Гл. ред. физ.-мат. лит., 1968 г.
ISBN отсутствует
Доступно
1 из 2
Книга
Мощенский, В. А.
Лекции по математической логике: учеб. пособие для вузов
БГУ им. В. И. Ленина, 1973 г.
ISBN отсутствует
Мощенский, В. А.
Лекции по математической логике: учеб. пособие для вузов
БГУ им. В. И. Ленина, 1973 г.
ISBN отсутствует
Многотомник
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов
МЦНМО, 2002 г.
ISBN отсутствует
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов
МЦНМО, 2002 г.
ISBN отсутствует
Многотомник
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов
МЦНМО, 1999 г.
ISBN отсутствует
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов
МЦНМО, 1999 г.
ISBN отсутствует
Многотомник
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов
МЦНМО, 2008 г.
ISBN отсутствует
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов
МЦНМО, 2008 г.
ISBN отсутствует
Многотомник
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов
МЦНМО, 2012 г.
ISBN отсутствует
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов
МЦНМО, 2012 г.
ISBN отсутствует
Многотомник
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов
МЦНМО, 2017 г.
ISBN отсутствует
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов
МЦНМО, 2017 г.
ISBN отсутствует
Доступно
1 из 3
Доступно
1 из 1
Книга
Лыскова, В. Ю.
Логика в информатике: метод. пособие
ISBN 5-932081-05-8
Лыскова, В. Ю.
Логика в информатике: метод. пособие
Серия: Сер. "Информатика"
Лаборатория Базовых Знаний, 2001 г.ISBN 5-932081-05-8