Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> С Естествознание
----> С 1 - Математика
------> С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Печать списка
Доступно
1 из 1
Доступно
1 из 2
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
3 из 3
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
--> С Естествознание
----> С 1 - Математика
------> С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Рубрика
- Название:
- С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Печать списка
Связанные описания:
Доступно
1 из 1
Заказать 
На полку Доступно
1 из 2
Книга
Горбатов, Вячеслав Афанасьевич
Основы дискретной математики: Учеб. пособие для вузов по спец. "Прикл. математика"
Высшая школа, 1986 г.
ISBN отсутствует
Горбатов, Вячеслав Афанасьевич
Основы дискретной математики: Учеб. пособие для вузов по спец. "Прикл. математика"
Высшая школа, 1986 г.
ISBN отсутствует
Экз. чит. зала
Книга
Шурыгин, Виктор Афанасьевич
Основы конструктивного математического анализа
Эдиториал УРСС, 2004 г.
ISBN 5-354-00718-6
Шурыгин, Виктор Афанасьевич
Основы конструктивного математического анализа
Эдиториал УРСС, 2004 г.
ISBN 5-354-00718-6
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Книга
Рублев, Вадим Сергеевич
Основы теории алгоритмов: Учеб. пособие для вузов
Научный мир, 2008 г.
ISBN 978-5-915220-13-2
Рублев, Вадим Сергеевич
Основы теории алгоритмов: Учеб. пособие для вузов
Научный мир, 2008 г.
ISBN 978-5-915220-13-2
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Книга
Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: Сборник переводов
Мир, 1970 г.
ISBN отсутствует
Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: Сборник переводов
Мир, 1970 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Градштейн, И.С.
Прямая и обратная теоремы. Элементы алгебры логики
Наука, 1972 г.
ISBN отсутствует
Градштейн, И.С.
Прямая и обратная теоремы. Элементы алгебры логики
Наука, 1972 г.
ISBN отсутствует
Доступно
3 из 3
Книга
Градштейн, И.С.
Прямая и обратная теоремы. Элементы алгебры логики
Физматгиз, 1959 г.
ISBN отсутствует
Градштейн, И.С.
Прямая и обратная теоремы. Элементы алгебры логики
Физматгиз, 1959 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Сапаров, Мурад
Рекуррентные теоретико-графовые функции и алгоритмы их вычисления
Ылым, 1987 г.
ISBN отсутствует
Сапаров, Мурад
Рекуррентные теоретико-графовые функции и алгоритмы их вычисления
Ылым, 1987 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Арсланов, Марат Мирзаевич
Рекурсивно перечислимые множества и степени неразрешимости
Казанский ун-т, 1986 г.
ISBN отсутствует
Арсланов, Марат Мирзаевич
Рекурсивно перечислимые множества и степени неразрешимости
Казанский ун-т, 1986 г.
ISBN отсутствует
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Книга
Трахтенброт, Борис Авраамович
Сложность алгоритмов и вычислений: Спецкурс для студентов НГУ
[Б.и.], 1967 г.
ISBN отсутствует
Трахтенброт, Борис Авраамович
Сложность алгоритмов и вычислений: Спецкурс для студентов НГУ
[Б.и.], 1967 г.
ISBN отсутствует
Доступно
2 из 2
Доступно
1 из 1
Книга
Фресан, Хавьер
Сон разума. Математическая логика и ее парадоксы: пер. с исп.
ISBN 978-5-9774-0717-5
Фресан, Хавьер
Сон разума. Математическая логика и ее парадоксы: пер. с исп.
Серия: Мир математики
Де Агостини, 2014 г.ISBN 978-5-9774-0717-5
Доступно
1 из 1
Книга
Фридман, А.А.
Степени неразрешимости проблемы тождества для конечно-определенных групп
Наука, 1967 г.
ISBN отсутствует
Фридман, А.А.
Степени неразрешимости проблемы тождества для конечно-определенных групп
Наука, 1967 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Книга
Т.113. : Проблемы контруктивного направления в математике: Сборник работ
1970 г.
ISBN отсутствует
Т.113. : Проблемы контруктивного направления в математике: Сборник работ
1970 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Фан, Динь Зиеу
Т.114. : Некоторые вопросы конструктивного функционального анализа
1970 г.
ISBN отсутствует
Фан, Динь Зиеу
Т.114. : Некоторые вопросы конструктивного функционального анализа
1970 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Книга
Т.129. : Проблемы конструктивного направления в математике.6: Сборник работ
1973 г.
ISBN отсутствует
Т.129. : Проблемы конструктивного направления в математике.6: Сборник работ
1973 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Т.132. : Международная конференция по теории чисел (1971; Москва): Труды...
1973 г.
ISBN отсутствует
Т.132. : Международная конференция по теории чисел (1971; Москва): Труды...
1973 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Т.168. : Алгебра, математическая логика, теория чисел, топология: Сборник обзорных статей.I. К 50-летию Института
1984 г.
ISBN отсутствует
Т.168. : Алгебра, математическая логика, теория чисел, топология: Сборник обзорных статей.I. К 50-летию Института
1984 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1