Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
Печать списка
Доступно
1 из 9
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
4 из 19
Экз. чит. зала
Доступно
2 из 2
Нет экз.
Доступно
1 из 2
--> математика
----> математическая логика
Рубрика
- Название:
- математическая логика
- См. также:
- 22.12 основания М. л. 87.45
Печать списка
Связанные описания:
![](http://ecat.mpgu.info/Opac/app/webroot/img//progress.gif)
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 9
Книга
Матросов, Виктор Леонидович
Информатика: Учеб.-метод.комплект по специальности 030100
ISBN 5-89349-462-8, 5-02-002959-9
Матросов, Виктор Леонидович
Информатика: Учеб.-метод.комплект по специальности 030100
Серия: Педагогический университет
Флинта, Наука, 2002 г.ISBN 5-89349-462-8, 5-02-002959-9
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 2
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
2 из 2
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
Исследования по теории алгоритмов и математической логике. Т. 1: Сборник работ
ВЦ АН СССР, 1973 г.
ISBN отсутствует
Исследования по теории алгоритмов и математической логике. Т. 1: Сборник работ
ВЦ АН СССР, 1973 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
Исследования по теории алгоритмов и математической логике. Т. 2: Сборник работ
ВЦ АН СССР, 1976 г.
ISBN отсутствует
Исследования по теории алгоритмов и математической логике. Т. 2: Сборник работ
ВЦ АН СССР, 1976 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
2 из 2
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 2
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
Столяр, Абрам Аронович
Как математика ум в порядок приводит
Вышэйшая школа, 1982 г.
ISBN отсутствует
Столяр, Абрам Аронович
Как математика ум в порядок приводит
Вышэйшая школа, 1982 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
Столяр, Абрам Аронович
Как математика ум в порядок приводит
Вышэйшая школа, 1991 г.
ISBN 5-339-00587-9
Столяр, Абрам Аронович
Как математика ум в порядок приводит
Вышэйшая школа, 1991 г.
ISBN 5-339-00587-9
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Тусупов, Джамалбек Алиаскарович
Категоричность и сложность отношений над алгебраическими структурами
б.г.
ISBN отсутствует
Тусупов, Джамалбек Алиаскарович
Категоричность и сложность отношений над алгебраическими структурами
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
Кванторные обороты и обороты с кванторным смыслом в обучении математике
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
Кванторные обороты и обороты с кванторным смыслом в обучении математике
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Швидефски, Марина Владмировна
Класс ограниченных решёток не является аксиоматизируемым
б.г.
ISBN отсутствует
Швидефски, Марина Владмировна
Класс ограниченных решёток не является аксиоматизируемым
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/35.gif)
Экз. чит. зала
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Насыбуллов, Тимур Ринатович
Классы скрученной сопряжённости в группах Шевалле
б.г.
ISBN отсутствует
Насыбуллов, Тимур Ринатович
Классы скрученной сопряжённости в группах Шевалле
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Херрманн, К.
Кольца частных конечных AW*-алгебр. представление и алгебраическая аппроксимация
б.г.
ISBN отсутствует
Херрманн, К.
Кольца частных конечных AW*-алгебр. представление и алгебраическая аппроксимация
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
4 из 19
Книга
Кузьмин, Олег Викторович
Комбинаторные методы решения логических задач: Учеб. пособие для вузов по направлениям и специальностям в обл. математики
Дрофа, 2006 г.
ISBN 5-7107-8579-2
Кузьмин, Олег Викторович
Комбинаторные методы решения логических задач: Учеб. пособие для вузов по направлениям и специальностям в обл. математики
Дрофа, 2006 г.
ISBN 5-7107-8579-2
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Порошенко, Евгений Николаевич
Коммутаторная ширина элементов свободной метабелевой алгебры Ли
б.г.
ISBN отсутствует
Порошенко, Евгений Николаевич
Коммутаторная ширина элементов свободной метабелевой алгебры Ли
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
Комплекс логико-ориентированных задач как средство формирования логической грамотности будущих уч...
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
Комплекс логико-ориентированных задач как средство формирования логической грамотности будущих уч...
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Кондратьев, А. С.
Конечные группы с заданными свойствами их графов простых чисел
б.г.
ISBN отсутствует
Кондратьев, А. С.
Конечные группы с заданными свойствами их графов простых чисел
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Пчелинцев, Сергей Валентинович
Константы частных дифференцирований и примитивные операции
б.г.
ISBN отсутствует
Пчелинцев, Сергей Валентинович
Константы частных дифференцирований и примитивные операции
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
Книга
Новиков, Петр Сергеевич
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
Новиков, Петр Сергеевич
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
2 из 2
Книга
Драгалин, Альберт Григорьевич
Конструктивная теория доказательств и нестандартный анализ: [Сб.]
УРСС, 2003 г.
ISBN 5-354-00387-3
Драгалин, Альберт Григорьевич
Конструктивная теория доказательств и нестандартный анализ: [Сб.]
УРСС, 2003 г.
ISBN 5-354-00387-3
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
Концепция обучения доказательству учащихся средней школы с использованием средств естественного в...
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
Концепция обучения доказательству учащихся средней школы с использованием средств естественного в...
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Афанасьева, Светлана Григорьевна
Координатная группа аффинного пространства над жёсткой метабелевой про-Р-группой
б.г.
ISBN отсутствует
Афанасьева, Светлана Григорьевна
Координатная группа аффинного пространства над жёсткой метабелевой про-Р-группой
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Микаелян, Ваагн Гамлетович
Критерий Шмелькина и многообразия, порождённые сплетениями конечных групп
б.г.
ISBN отсутствует
Микаелян, Ваагн Гамлетович
Критерий Шмелькина и многообразия, порождённые сплетениями конечных групп
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Игошин, Владимир Иванович
Курс математической логики для будущих учителей математики и информатики с точки зрения теории ал...
б.г.
ISBN отсутствует
Игошин, Владимир Иванович
Курс математической логики для будущих учителей математики и информатики с точки зрения теории ал...
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/30.gif)
Нет экз.
Электронный ресурс
Авдеюк, Оксана Алексеевна
Лекции и практикум по основам дискретной математики и математической логике: Учебно-методическое пособие
ВолгГТУ, 2019 г.
ISBN 978-5-9948-3251-6
Авдеюк, Оксана Алексеевна
Лекции и практикум по основам дискретной математики и математической логике: Учебно-методическое пособие
ВолгГТУ, 2019 г.
ISBN 978-5-9948-3251-6
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 2