Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика
----> основания математики и математическая логика
Печать списка
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 2
Доступно
3 из 3
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
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
Доступно
2 из 3
Доступно
4 из 4
Доступно
2 из 3
Доступно
5 из 7
Доступно
3 из 3
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 2
Доступно
2 из 2
Доступно
3 из 3
Доступно
2 из 2
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
3 из 3
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
--> Математика
----> основания математики и математическая логика
Рубрика
- Название:
- основания математики и математическая логика
Печать списка
Связанные описания:
Заказать 
На полку Доступно
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
Доступно
1 из 1
Доступно
2 из 2
Книга
Глушков, В. М.
Введение в кибернетику
Эдиториал УРСС, Эдиториал УРСС, 2024 г.
ISBN 978-5-9519-4222-7
Глушков, В. М.
Введение в кибернетику
Эдиториал УРСС, Эдиториал УРСС, 2024 г.
ISBN 978-5-9519-4222-7
Доступно
1 из 1
Книга
Тарский, А
Введение в логику и методологию дедуктивных наук
Изд-во иностранной лит., 1948 г.
ISBN отсутствует
Тарский, А
Введение в логику и методологию дедуктивных наук
Изд-во иностранной лит., 1948 г.
ISBN отсутствует
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 2
Книга
Гладкий, А. В.
Введение в современную логику: [учебное пособие]
Эдиториал УРСС, 2022 г.
ISBN 978-5-9519-2807-8
Гладкий, А. В.
Введение в современную логику: [учебное пособие]
Эдиториал УРСС, 2022 г.
ISBN 978-5-9519-2807-8
Доступно
3 из 3
Доступно
1 из 1
Книга
Кларк, мл., Э. М.
Верификация моделей программ: Model Checking
МЦНМО, 2002 г.
ISBN 5-940570-54-2
Кларк, мл., Э. М.
Верификация моделей программ: Model Checking
МЦНМО, 2002 г.
ISBN 5-940570-54-2
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып. 5: сборник статей
Фан, 1966 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып. 5: сборник статей
Фан, 1966 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.10: сборник статей
Фан, 1967 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.10: сборник статей
Фан, 1967 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.11: сборник статей
Фан, 1967 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.11: сборник статей
Фан, 1967 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.12: сборник статей
Фан, 1967 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.12: сборник статей
Фан, 1967 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.13: сборник статей
Фан, 1967 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.13: сборник статей
Фан, 1967 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.14: сборник статей
Фан, 1968 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.14: сборник статей
Фан, 1968 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.15: сборник статей
Фан, 1968 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.15: сборник статей
Фан, 1968 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.16: сборник статей
Фан, 1968 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.16: сборник статей
Фан, 1968 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.17: сборник статей
Фан, 1968 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.17: сборник статей
Фан, 1968 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.19: сборник статей
Фан, 1968 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.19: сборник статей
Фан, 1968 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.20: сборник статей
Фан, 1968 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.20: сборник статей
Фан, 1968 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.21 Методы проектирования крупных газовых мес...
Фан, 1968 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.21 Методы проектирования крупных газовых мес...
Фан, 1968 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.22: сборник статей
Фан, 1968 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.22: сборник статей
Фан, 1968 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.23: сборник статей
Фан, 1968 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.23: сборник статей
Фан, 1968 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.24: сборник статей
Фан, 1969 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.24: сборник статей
Фан, 1969 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.25: сборник статей
Фан, 1969 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.25: сборник статей
Фан, 1969 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.26: сборник статей
Фан, 1969 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.26: сборник статей
Фан, 1969 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.27 Многоресурсная система сетевого планирова...
Фан, 1969 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.27 Многоресурсная система сетевого планирова...
Фан, 1969 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.29: сборник статей
Фан, 1969 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.29: сборник статей
Фан, 1969 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.31: сборник статей
Фан, 1969 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.31: сборник статей
Фан, 1969 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.34 Решение на ЭВМ прикладных задач кабельной...
Фан, 1970 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.34 Решение на ЭВМ прикладных задач кабельной...
Фан, 1970 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.35: сборник статей
Редакционно-издательский совет АН УзССР, 1970 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.35: сборник статей
Редакционно-издательский совет АН УзССР, 1970 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.36: сборник статей
Редакционно-издательский совет АН УзССР, 1970 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.36: сборник статей
Редакционно-издательский совет АН УзССР, 1970 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.37: сборник статей
Редакционно-издательский совет АН УзССР, 1970 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.37: сборник статей
Редакционно-издательский совет АН УзССР, 1970 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.6: сборник статей
Фан, 1967 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.6: сборник статей
Фан, 1967 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.7: сборник статей
Фан, 1967 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.7: сборник статей
Фан, 1967 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной математики. Вып.9: сборник статей
Фан, 1967 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной математики. Вып.9: сборник статей
Фан, 1967 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики и вычислительной техники. Вып.8: сборник статей
Фан, 1967 г.
ISBN отсутствует
Вопросы кибернетики и вычислительной техники. Вып.8: сборник статей
Фан, 1967 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы разработки и применения математических методов и ЭВМ: сборник статей
Ин-т кибернетики АН УССР, 1979 г.
ISBN отсутствует
Вопросы разработки и применения математических методов и ЭВМ: сборник статей
Ин-т кибернетики АН УССР, 1979 г.
ISBN отсутствует
Доступно
2 из 2
Экз. чит. зала
Книга
Вычислительные системы. Сборник научных трудов. Вып.146. Логика и семантическое программирование: Сборник статей
1992 г.
ISBN 5-7623-0417-5
Вычислительные системы. Сборник научных трудов. Вып.146. Логика и семантическое программирование: Сборник статей
1992 г.
ISBN 5-7623-0417-5
Доступно
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
Доступно
2 из 3
Книга
Аляев, Ю. А.
Дискретная математика и математическая логика: учебник для вузов по специальности "Прикладная информатика (по областям)" и другим экономическим специальностям
Финансы и статистика, 2006 г.
ISBN 5-279-03045-7
Аляев, Ю. А.
Дискретная математика и математическая логика: учебник для вузов по специальности "Прикладная информатика (по областям)" и другим экономическим специальностям
Финансы и статистика, 2006 г.
ISBN 5-279-03045-7
Доступно
5 из 7
Книга
Акимов, О. Е.
Дискретная математика: логика, группы, графы, фракталы
Акимова, 2005 г.
ISBN отсутствует
Акимов, О. Е.
Дискретная математика: логика, группы, графы, фракталы
Акимова, 2005 г.
ISBN отсутствует
Доступно
3 из 3
Доступно
1 из 1
Книга
Лихтарников, Л. М.
Занимательные логические задачи: Для учащихся начальной школы
Лань-Пресс, 1996 г.
ISBN 5-86617-029-9
Лихтарников, Л. М.
Занимательные логические задачи: Для учащихся начальной школы
Лань-Пресс, 1996 г.
ISBN 5-86617-029-9
Доступно
2 из 2
Доступно
2 из 2
Доступно
2 из 2
Книга
Избранные задачи из журнала " American mathematical monthly". Задачи и олимпиады: [Сборник]
Мир, 1977 г.
ISBN отсутствует
Избранные задачи из журнала " American mathematical monthly". Задачи и олимпиады: [Сборник]
Мир, 1977 г.
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
Книга
Исследования по конструктивной математике и математической логике. VIII
Наука, 1979 г.
ISBN отсутствует
Исследования по конструктивной математике и математической логике. VIII
Наука, 1979 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Исследования по теории алгорифмов и математической логике: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
Исследования по теории алгорифмов и математической логике: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Книга
Имре, Ш.
Квантовые вычисления и связь. Инженерный подход
Физматлит, 2008 г.
ISBN 978-5-922109-93-2
Имре, Ш.
Квантовые вычисления и связь. Инженерный подход
Физматлит, 2008 г.
ISBN 978-5-922109-93-2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Книга
Кибернетический сборник. Новая серия. Выпуск 5: сборник переводов
Мир, 1968 г.
ISBN отсутствует
Кибернетический сборник. Новая серия. Выпуск 5: сборник переводов
Мир, 1968 г.
ISBN отсутствует
Доступно
3 из 3
Доступно
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
Книга
Успенский, В. А.
Лекции о вычислимых функциях
Гос. изд-во физико-математической литературы, 1960 г.
ISBN отсутствует
Успенский, В. А.
Лекции о вычислимых функциях
Гос. изд-во физико-математической литературы, 1960 г.
ISBN отсутствует
Доступно
2 из 2
Книга
Босс, В.
Лекции по математике. Т.16. Теория множеств: От Кантора до Коэна: учебное пособие
Эдиториал УРСС, 2011 г.
ISBN 978-5-397-02162-3
Босс, В.
Лекции по математике. Т.16. Теория множеств: От Кантора до Коэна: учебное пособие
Эдиториал УРСС, 2011 г.
ISBN 978-5-397-02162-3