Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> ГАСНТИ 27.03
Печать списка
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
3 из 3
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 2
Доступно
3 из 3
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
3 из 3
Доступно
3 из 3
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 3
Доступно
4 из 4
Доступно
5 из 7
Доступно
3 из 3
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
3 из 3
Доступно
2 из 2
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
3 из 3
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Доступно
5 из 5
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
18 из 20
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
3 из 4
Доступно
1 из 1
--> ГАСНТИ 27.03
Рубрика
- Название:
- ГАСНТИ 27.03
Печать списка
Связанные описания:
Заказать 
На полку Доступно
1 из 1
Книга
DeGroot, D.
Logic Programming. Function, Relations, and Equations
Prentice Hall, 1986 г.
ISBN отсутствует
DeGroot, D.
Logic Programming. Function, Relations, and Equations
Prentice Hall, 1986 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Люксембург, А. А.
Автоматизированное построение математических теорий
ISBN 5-354-01005-5
Люксембург, А. А.
Автоматизированное построение математических теорий
Серия: Relata Refero
Эдиториал УРСС, 2005 г.ISBN 5-354-01005-5
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Книга
Волгин, Л. И.
Алгебраические логики: элементы теории, взаимоотношения, реляторная схемотехника
УлГТУ, 2005 г.
ISBN 5-89146-558-2
Волгин, Л. И.
Алгебраические логики: элементы теории, взаимоотношения, реляторная схемотехника
УлГТУ, 2005 г.
ISBN 5-89146-558-2
Доступно
3 из 3
Доступно
1 из 1
Книга
Левин, В. И.
Бесконечнозначная логика в задачах кибернетики
Радио и связь, 1982 г.
ISBN отсутствует
Левин, В. И.
Бесконечнозначная логика в задачах кибернетики
Радио и связь, 1982 г.
ISBN отсутствует
Доступно
2 из 2
Книга
Глушков, В. М.
Введение в кибернетику
Эдиториал УРСС, Эдиториал УРСС, 2024 г.
ISBN 978-5-9519-4222-7
Глушков, В. М.
Введение в кибернетику
Эдиториал УРСС, Эдиториал УРСС, 2024 г.
ISBN 978-5-9519-4222-7
Доступно
1 из 1
Книга
Тарский, А
Введение в логику и методологию дедуктивных наук
Изд-во иностранной лит., 1948 г.
ISBN отсутствует
Тарский, А
Введение в логику и методологию дедуктивных наук
Изд-во иностранной лит., 1948 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 2
Книга
Гладкий, А. В.
Введение в современную логику: [учебное пособие]
Эдиториал УРСС, 2022 г.
ISBN 978-5-9519-2807-8
Гладкий, А. В.
Введение в современную логику: [учебное пособие]
Эдиториал УРСС, 2022 г.
ISBN 978-5-9519-2807-8
Доступно
3 из 3
Доступно
1 из 1
Доступно
1 из 1
Книга
Кларк, мл., Э. М.
Верификация моделей программ: Model Checking
МЦНМО, 2002 г.
ISBN 5-940570-54-2
Кларк, мл., Э. М.
Верификация моделей программ: Model Checking
МЦНМО, 2002 г.
ISBN 5-940570-54-2
Доступно
2 из 2
Доступно
1 из 1
Книга
Тихомиров, В. М.
Выпуклый анализ и его приложения
ISBN 5-940570-11-9
Тихомиров, В. М.
Выпуклый анализ и его приложения
Серия: Современная математика
МЦНМО, 2001 г.ISBN 5-940570-11-9
Доступно
3 из 3
Книга
Магарил-Ильяев, Г. Г.
Выпуклый анализ и его приложения
Эдиториал УРСС, 2000 г.
ISBN 5-8360-0114-6
Магарил-Ильяев, Г. Г.
Выпуклый анализ и его приложения
Эдиториал УРСС, 2000 г.
ISBN 5-8360-0114-6
Доступно
3 из 3
Экз. чит. зала
Книга
Вычислительные системы. Сборник научных трудов. Вып.146. Логика и семантическое программирование: Сборник статей
1992 г.
ISBN 5-7623-0417-5
Вычислительные системы. Сборник научных трудов. Вып.146. Логика и семантическое программирование: Сборник статей
1992 г.
ISBN 5-7623-0417-5
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Книга
Кузнецова, И. С
Гносеологические проблемы математического знания
Изд-во ЛГУ, 1984 г.
ISBN отсутствует
Кузнецова, И. С
Гносеологические проблемы математического знания
Изд-во ЛГУ, 1984 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Гастев, Ю. А.
Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования
ISBN 978-5-397-00585-2
Гастев, Ю. А.
Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования
Серия: Из истории логики XX века
Эдиториал УРСС, 2009 г.ISBN 978-5-397-00585-2
Доступно
2 из 3
Книга
Макоха, А. Н.
Дискретная математика: учебное пособие по направлению подготовки бакалавров и магистров 511600 "Прикладные математика и физика"
Физматлит, 2005 г.
ISBN 5-922106-30-9
Макоха, А. Н.
Дискретная математика: учебное пособие по направлению подготовки бакалавров и магистров 511600 "Прикладные математика и физика"
Физматлит, 2005 г.
ISBN 5-922106-30-9
Доступно
4 из 4
Доступно
5 из 7
Книга
Акимов, О. Е.
Дискретная математика: логика, группы, графы, фракталы
Акимова, 2005 г.
ISBN отсутствует
Акимов, О. Е.
Дискретная математика: логика, группы, графы, фракталы
Акимова, 2005 г.
ISBN отсутствует
Доступно
3 из 3
Доступно
2 из 2
Книга
Закономерности развития современной математики. Методологические аспекты
Наука, 1987 г.
ISBN отсутствует
Закономерности развития современной математики. Методологические аспекты
Наука, 1987 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Лихтарников, Л. М.
Занимательные логические задачи: Для учащихся начальной школы
Лань-Пресс, 1996 г.
ISBN 5-86617-029-9
Лихтарников, Л. М.
Занимательные логические задачи: Для учащихся начальной школы
Лань-Пресс, 1996 г.
ISBN 5-86617-029-9
Доступно
1 из 1
Книга
Колобов, А. М
Избранные главы высшей математики. Ч.3.Методы математической физики (дифференциальные уравнения в...
Высшая школа, 1971 г.
ISBN отсутствует
Колобов, А. М
Избранные главы высшей математики. Ч.3.Методы математической физики (дифференциальные уравнения в...
Высшая школа, 1971 г.
ISBN отсутствует
Доступно
3 из 3
Книга
Вейль, Г.
Избранные труды. Математика. Теоретическая физика
ISBN отсутствует
Вейль, Г.
Избранные труды. Математика. Теоретическая физика
Серия: Классики науки
Наука, 1984 г.ISBN отсутствует
Доступно
2 из 2
Книга
Кутергин, В. А.
Инженерные теории с конструктивной точки зрения. Множество геометрий и множество моделей искусств...: монография
Лань-Пресс, 2015 г.
ISBN 978-5-8114-1879-4
Кутергин, В. А.
Инженерные теории с конструктивной точки зрения. Множество геометрий и множество моделей искусств...: монография
Лань-Пресс, 2015 г.
ISBN 978-5-8114-1879-4
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 1
Книга
Назаров, Д. М.
Интеллектуальные системы: основы теории нечетких множеств: учебное пособие для студентов вузов, обучающихся по инженерно-техническим направлениям
ISBN 978-5-534-07496-3
Назаров, Д. М.
Интеллектуальные системы: основы теории нечетких множеств: учебное пособие для студентов вузов, обучающихся по инженерно-техническим направлениям
Серия: Высшее образование
Юрайт, 2020 г.ISBN 978-5-534-07496-3
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Книга
Исследования по конструктивной математике и математической логике. VIII
Наука, 1979 г.
ISBN отсутствует
Исследования по конструктивной математике и математической логике. VIII
Наука, 1979 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Книга
Исследования по теории алгорифмов и математической логике: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
Исследования по теории алгорифмов и математической логике: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Книга
Имре, Ш.
Квантовые вычисления и связь. Инженерный подход
Физматлит, 2008 г.
ISBN 978-5-922109-93-2
Имре, Ш.
Квантовые вычисления и связь. Инженерный подход
Физматлит, 2008 г.
ISBN 978-5-922109-93-2
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Книга
Кибернетический сборник. Новая серия. Выпуск 5: сборник переводов
Мир, 1968 г.
ISBN отсутствует
Кибернетический сборник. Новая серия. Выпуск 5: сборник переводов
Мир, 1968 г.
ISBN отсутствует
Доступно
3 из 3
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Книга
Континуальные алгебраические логики , исчисления и нейроматематика в науке, технике и экономике (...: труды
УлГТУ, 2002 г.
ISBN отсутствует
Континуальные алгебраические логики , исчисления и нейроматематика в науке, технике и экономике (...: труды
УлГТУ, 2002 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Континуальные алгебраические логики, исчисления и нейроматематика в науке , технике и экономике" ...: Труды
УлГТУ, 2002 г.
ISBN отсутствует
Континуальные алгебраические логики, исчисления и нейроматематика в науке , технике и экономике" ...: Труды
УлГТУ, 2002 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Континуальные алгебраические логики, исчисления и нейроматематика в науке , технике и экономике" ...: Труды
УлГТУ, 2002 г.
ISBN отсутствует
Континуальные алгебраические логики, исчисления и нейроматематика в науке , технике и экономике" ...: Труды
УлГТУ, 2002 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Континуальные алгебраические логики, исчисления и нейроматематика в науке, технике и экономике. (...: Труды
УлГТУ, 2002 г.
ISBN отсутствует
Континуальные алгебраические логики, исчисления и нейроматематика в науке, технике и экономике. (...: Труды
УлГТУ, 2002 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Континуальные логико-алгебраические исчисления и нейроматематика в науке , технике, экономике" (У...: Труды
УлГТУ, 2001 г.
ISBN отсутствует
Континуальные логико-алгебраические исчисления и нейроматематика в науке , технике, экономике" (У...: Труды
УлГТУ, 2001 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Континуальные логико-алгебраические исчисления и нейроматематика в науке, технике и экономике (Ул...: труды
УлГТУ, 2001 г.
ISBN отсутствует
Континуальные логико-алгебраические исчисления и нейроматематика в науке, технике и экономике (Ул...: труды
УлГТУ, 2001 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Континуальные логико-алгебраические исчисления и нейроматематика в науке, технике и экономике (Ул...: труды
УлГТУ, 2001 г.
ISBN отсутствует
Континуальные логико-алгебраические исчисления и нейроматематика в науке, технике и экономике (Ул...: труды
УлГТУ, 2001 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Континуальные логико-алгебраические исчисления и нейроматематика в науке, технике и экономике (Ул...: труды
УлГТУ, 2001 г.
ISBN отсутствует
Континуальные логико-алгебраические исчисления и нейроматематика в науке, технике и экономике (Ул...: труды
УлГТУ, 2001 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Книга
Успенский, В. А.
Лекции о вычислимых функциях
Гос. изд-во физико-математической литературы, 1960 г.
ISBN отсутствует
Успенский, В. А.
Лекции о вычислимых функциях
Гос. изд-во физико-математической литературы, 1960 г.
ISBN отсутствует
Доступно
2 из 2
Доступно
1 из 1
Экз. чит. зала
Книга
Волгин, Л. И.
Логика исчисления иммитансов многоэлементных электрических двухполюсников: Две лекции по курсу "Радиотехнические цепи и сигналы"
УлГТУ, 1998 г.
ISBN отсутствует
Волгин, Л. И.
Логика исчисления иммитансов многоэлементных электрических двухполюсников: Две лекции по курсу "Радиотехнические цепи и сигналы"
УлГТУ, 1998 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Теребилов, О. Ф.
Логика математического мышления
Изд-во Ленингр. ун-та, 1987 г.
ISBN отсутствует
Теребилов, О. Ф.
Логика математического мышления
Изд-во Ленингр. ун-та, 1987 г.
ISBN отсутствует
Доступно
5 из 5
Доступно
1 из 1
Доступно
1 из 1
Книга
Волгин, Л. И.
Логические основы математической теории надежности: три лекции по курсу "Математическая теория надежности"
УлГТУ, 2005 г.
ISBN отсутствует
Волгин, Л. И.
Логические основы математической теории надежности: три лекции по курсу "Математическая теория надежности"
УлГТУ, 2005 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Драбкина, М. Е
Логические упражнения по элементарной математике: учебное пособие для студентов матем. факультетов педагогических вузов
Высшая школа, 1965 г.
ISBN отсутствует
Драбкина, М. Е
Логические упражнения по элементарной математике: учебное пособие для студентов матем. факультетов педагогических вузов
Высшая школа, 1965 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
2 из 2
Книга
Попов, В. А.
Математика в социогуманитарной сфере: учебное пособие для студентов вузов направления подготовки " Культурология"
Лань, 2021 г.
ISBN 978-5-8114-2205-0
Попов, В. А.
Математика в социогуманитарной сфере: учебное пособие для студентов вузов направления подготовки " Культурология"
Лань, 2021 г.
ISBN 978-5-8114-2205-0
Доступно
18 из 20
Книга
Куликова, Т. А.
Математика золотого сечения: учебное пособие
Изд-во МЭИ, 2018 г.
ISBN 978-5-7046-1940-6
Куликова, Т. А.
Математика золотого сечения: учебное пособие
Изд-во МЭИ, 2018 г.
ISBN 978-5-7046-1940-6
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
3 из 4
Доступно
1 из 1