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