Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
Печать списка
Доступно
1 из 1
Экз. чит. зала
Экз. чит. зала
Доступно
3 из 3
Доступно
1 из 1
Доступно
2 из 2
Доступно
3 из 3
Доступно
5 из 5
Нет экз.
Доступно
3 из 4
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 1
Доступно
2 из 3
Доступно
1 из 10
--> математика
----> математическая логика
Рубрика
- Название:
- математическая логика
- См. также:
- 22.12 основания М. л. 87.45
Печать списка
Связанные описания:
Доступно
1 из 1
Книга
Фалевич, Борис Яковлевич
Теория алгоритмов: Учеб.пособие для вузов по направлению "Информатика и вычисл. техника"
ISBN 5-217-03249-9
Фалевич, Борис Яковлевич
Теория алгоритмов: Учеб.пособие для вузов по направлению "Информатика и вычисл. техника"
Серия: Для вузов:В
Машиностроение, 2004 г.ISBN 5-217-03249-9
Заказать 
На полку Экз. чит. зала
Книга
Крупский, Владимир Николаевич
Теория алгоритмов: учебное пособие для вузов по направлениям "Информатика и вычислительная техника", "Информационные системы и технологии"
Academia, 2009 г.
ISBN 978-5-7695-5293-9
Крупский, Владимир Николаевич
Теория алгоритмов: учебное пособие для вузов по направлениям "Информатика и вычислительная техника", "Информационные системы и технологии"
Academia, 2009 г.
ISBN 978-5-7695-5293-9
Экз. чит. зала
Книга
Крупский, Владимир Николаевич
Теория алгоритмов. Введение в сложность вычислений: учебное пособие для ВУЗов
ISBN 978-5-534-04817-9
Крупский, Владимир Николаевич
Теория алгоритмов. Введение в сложность вычислений: учебное пособие для ВУЗов
Серия: Высшее образование
Юрайт, 2020 г.ISBN 978-5-534-04817-9
Доступно
3 из 3
Книга
Успенский, Владимир Андреевич
Теория алгоритмов: основные открытия и приложения
ISBN отсутствует
Успенский, Владимир Андреевич
Теория алгоритмов: основные открытия и приложения
Серия: Библиотечка программиста
Наука, 1987 г.ISBN отсутствует
Доступно
1 из 1
Доступно
2 из 2
Книга
Теория моделей и алгебраическая геометрия: О доказат. Э. Хрущовского гипотезы Морделла-Ленга : сб. ст. под ред. Э. Бускаран
МЦНМО, 2008 г.
ISBN 987-5-94057-125-4
Теория моделей и алгебраическая геометрия: О доказат. Э. Хрущовского гипотезы Морделла-Ленга : сб. ст. под ред. Э. Бускаран
МЦНМО, 2008 г.
ISBN 987-5-94057-125-4
Доступно
3 из 3
Доступно
5 из 5
Нет экз.
Электронный ресурс
Брюшинкин, Владимир Никифорович
Теория поиска вывода. Происхождение и философские приложения: Монография
БФУ им. И.Канта, 2012 г.
ISBN 978-5-9971-0222-7
Брюшинкин, Владимир Никифорович
Теория поиска вывода. Происхождение и философские приложения: Монография
БФУ им. И.Канта, 2012 г.
ISBN 978-5-9971-0222-7
Электронный ресурс (аналит. описание)
Когабаев, Нурлан Талгатович
Теория проективных плоскостей полна относительно спектров степеней и эффективных размерностей
б.г.
ISBN отсутствует
Когабаев, Нурлан Талгатович
Теория проективных плоскостей полна относительно спектров степеней и эффективных размерностей
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Шестаков, Алексей Иванович
Тернарные дифференцирования Йордановых супералгебр
б.г.
ISBN отсутствует
Шестаков, Алексей Иванович
Тернарные дифференцирования Йордановых супералгебр
б.г.
ISBN отсутствует
Книга (аналит. описание)
Майхилл, Джон
Типы рекурсивной эквивалентности и комбинаторные функции
б.г.
ISBN отсутствует
Майхилл, Джон
Типы рекурсивной эквивалентности и комбинаторные функции
б.г.
ISBN отсутствует
Доступно
3 из 4
Книга
Размыслов, Юрий Питиримович
Тождества алгебр и их представлений
ISBN 5-02-013917-3
Размыслов, Юрий Питиримович
Тождества алгебр и их представлений
Серия: Современная алгебра
Наука, Физматлит, 1989 г.ISBN 5-02-013917-3
Электронный ресурс (аналит. описание)
Палютин, Евгений Андреевич
Тотально p-стабильные абелевы группы
б.г.
ISBN отсутствует
Палютин, Евгений Андреевич
Тотально p-стабильные абелевы группы
б.г.
ISBN отсутствует
Экз. чит. зала
Книга
Труды Математического института им. В. А. Стеклова. Т. 133: математическая логика, теория алгоритмов и теория множеств: сборник статей
Наука, 1973 г.
ISBN отсутствует
Труды Математического института им. В. А. Стеклова. Т. 133: математическая логика, теория алгоритмов и теория множеств: сборник статей
Наука, 1973 г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Труды Новикова П. С.: Библиографический список (1933-1974)
2017 г.
ISBN отсутствует
Труды Новикова П. С.: Библиографический список (1933-1974)
2017 г.
ISBN отсутствует
Экз. чит. зала
Книга
Успенский, Владимир Андреевич
Труды по нематематике. Т. 1: С приложение семиотических посланий А. Н. Колмогорова к авторам и его друзьям : В 2 т.
ОГИ, 2002 г.
ISBN 5-94282-086-4, 5-94282-087-2
Успенский, Владимир Андреевич
Труды по нематематике. Т. 1: С приложение семиотических посланий А. Н. Колмогорова к авторам и его друзьям : В 2 т.
ОГИ, 2002 г.
ISBN 5-94282-086-4, 5-94282-087-2
Доступно
1 из 1
Книга
Успенский, Владимир Андреевич
Труды по нематематике. Т. 2: С приложением семиотических посланий А. Н. Колмогорова к авторам и его друзьям : В 2 т.
ОГИ, 2002 г.
ISBN 5-94282-086-4, 5-94282-088-0
Успенский, Владимир Андреевич
Труды по нематематике. Т. 2: С приложением семиотических посланий А. Н. Колмогорова к авторам и его друзьям : В 2 т.
ОГИ, 2002 г.
ISBN 5-94282-086-4, 5-94282-088-0
Электронный ресурс (аналит. описание)
Максимова, Лариса Львовна
Узнаваемые и различимые логики и многообразия
б.г.
ISBN отсутствует
Максимова, Лариса Львовна
Узнаваемые и различимые логики и многообразия
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Шевляков, Артем Николаевич
Универсальная алгебраическая геометрия с отношением ≠
б.г.
ISBN отсутствует
Шевляков, Артем Николаевич
Универсальная алгебраическая геометрия с отношением ≠
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Мищенко, А. А.
Универсальные инварианты для классов абелевых групп
б.г.
ISBN отсутствует
Мищенко, А. А.
Универсальные инварианты для классов абелевых групп
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Файзрахманов, Марат Хайдарович
Универсальные обобщённо вычислимые нумерации и гипериммунность
б.г.
ISBN отсутствует
Файзрахманов, Марат Хайдарович
Универсальные обобщённо вычислимые нумерации и гипериммунность
б.г.
ISBN отсутствует
Книга (аналит. описание)
Щегольков, Евгений Алексеевич
Униформизация множеств некоторых классов
б.г.
ISBN отсутствует
Щегольков, Евгений Алексеевич
Униформизация множеств некоторых классов
б.г.
ISBN отсутствует
Доступно
2 из 3
Книга
Щегольков, Евгений Алексеевич
Упражнения и задачи по курсу математической логики
МГПИ им. В. И. Ленина, 1971 г.
ISBN отсутствует
Щегольков, Евгений Алексеевич
Упражнения и задачи по курсу математической логики
МГПИ им. В. И. Ленина, 1971 г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Шевляков, Артем Николаевич
Уравнения над вполне простыми полугруппами
б.г.
ISBN отсутствует
Шевляков, Артем Николаевич
Уравнения над вполне простыми полугруппами
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Модабери, П.
Условия компактности в универсальной алгебраической геометрии
б.г.
ISBN отсутствует
Модабери, П.
Условия компактности в универсальной алгебраической геометрии
б.г.
ISBN отсутствует
Доступно
1 из 10
Книга
Никольская, Инна Львовна
Учимся рассуждать и доказывать: Книга для учащихся 6-10 кл. сред. шк.
Просвещение, 1989 г.
ISBN отсутствует
Никольская, Инна Львовна
Учимся рассуждать и доказывать: Книга для учащихся 6-10 кл. сред. шк.
Просвещение, 1989 г.
ISBN отсутствует