Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика = 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
Доступно
1 из 3
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Рубрика
- Название:
- математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Печать списка
Связанные описания:
Статья
Геращенко, И. П.
Инвестиционный анализ в условиях неопределенности бизнес-окружения
б.г.
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
Доступно
1 из 3
Книга
Фреге, Г.
Логика и логическая семантика
ISBN 978-5-397-04924-5
Фреге, Г.
Логика и логическая семантика
Серия: Сер. "Классики науки"
УРСС, Книжный дом "Либроком", 2015 г.ISBN 978-5-397-04924-5