Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
Печать списка
Доступно
1 из 1
Экз. чит. зала
Экз. чит. зала
Доступно
8 из 8
Нет экз.
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
--> математика
----> математическая логика
Рубрика
- Название:
- математическая логика
- См. также:
- 22.12 основания М. л. 87.45
Печать списка
Связанные описания:
Доступно
1 из 1
Экз. чит. зала
Экз. чит. зала
Книга
Столл, Роберт Р.
Множества. Логика. Аксиоматические теории
ISBN отсутствует
Столл, Роберт Р.
Множества. Логика. Аксиоматические теории
Серия: Математическое просвещение
Просвещение, 1968 г.ISBN отсутствует
Доступно
8 из 8
Нет экз.
Электронный ресурс
Кузьмич, Роман Иванович
Модификации метода логического анализа данных для задач классификации: Монография
СФУ, 2018 г.
ISBN 978-5-7638-3698-1
Кузьмич, Роман Иванович
Модификации метода логического анализа данных для задач классификации: Монография
СФУ, 2018 г.
ISBN 978-5-7638-3698-1
Электронный ресурс (аналит. описание)
Гейн, Александр Георгиевич
Модулярность и дистрибутивность 3-порождённых решёток со специальными элементами среди порождающих
б.г.
ISBN отсутствует
Гейн, Александр Георгиевич
Модулярность и дистрибутивность 3-порождённых решёток со специальными элементами среди порождающих
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Манзаева, Номина Чингизовна
Наследуемость свойства Dπ надгруппами π-холловых подгрупп в случае, когда 2∈π
б.г.
ISBN отсутствует
Манзаева, Номина Чингизовна
Наследуемость свойства Dπ надгруппами π-холловых подгрупп в случае, когда 2∈π
б.г.
ISBN отсутствует
Доступно
1 из 1
Книга
Правиц, Даг
Натуральный вывод: Теоретико-доказательственное исследование:[Пер.]
Лори, 1997 г.
ISBN 5-85582-026-2
Правиц, Даг
Натуральный вывод: Теоретико-доказательственное исследование:[Пер.]
Лори, 1997 г.
ISBN 5-85582-026-2
Книга (аналит. описание)
Хохлов, Сергей Валерьевич
Независимость правил вывода в предикатных системах натурального вывода
б.г.
ISBN отсутствует
Хохлов, Сергей Валерьевич
Независимость правил вывода в предикатных системах натурального вывода
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Хохлов, Сергей Валерьевич
Независимость правил вывода в предикатных системах натурального вывода
б.г.
ISBN отсутствует
Хохлов, Сергей Валерьевич
Независимость правил вывода в предикатных системах натурального вывода
б.г.
ISBN отсутствует
Доступно
1 из 1
Статья
Тимофеева, Ирина Леонидовна
Некоторые замечания о методе доказательства от противного
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
Некоторые замечания о методе доказательства от противного
б.г.
ISBN отсутствует
Книга (аналит. описание)
Кейслер, Г. Дж.
Некоторые применения теории моделей к теории множеств
б.г.
ISBN отсутствует
Кейслер, Г. Дж.
Некоторые применения теории моделей к теории множеств
б.г.
ISBN отсутствует
Книга (аналит. описание)
Цинман, Леонид Львович
Некоторые примеры и теоремы из теории рекурсивных функций
б.г.
ISBN отсутствует
Цинман, Леонид Львович
Некоторые примеры и теоремы из теории рекурсивных функций
б.г.
ISBN отсутствует
Книга (аналит. описание)
Тарский, Альфред
Некоторые проблемы и результаты, связанные с основаниями теории множеств
б.г.
ISBN отсутствует
Тарский, Альфред
Некоторые проблемы и результаты, связанные с основаниями теории множеств
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Морозов, Андрей Сергеевич
Непредставимость некоторых структур анализа в наследственно конечных надстройках
б.г.
ISBN отсутствует
Морозов, Андрей Сергеевич
Непредставимость некоторых структур анализа в наследственно конечных надстройках
б.г.
ISBN отсутствует
Доступно
1 из 1
Книга
Волгин, Леонид Иванович
Непрерывная логика. Теория и применения
Infinite-valued logic. Theory and applications
1990 г.
ISBN отсутствует
Волгин, Леонид Иванович
Непрерывная логика. Теория и применения
Infinite-valued logic. Theory and applications
1990 г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Хухро, Евгений Иванович
Неразрешимая длина конечных групп
б.г.
ISBN отсутствует
Хухро, Евгений Иванович
Неразрешимая длина конечных групп
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Боков, Григорий Владимирович
Неразрешимое итеративное пропозициональное исчисление
б.г.
ISBN отсутствует
Боков, Григорий Владимирович
Неразрешимое итеративное пропозициональное исчисление
б.г.
ISBN отсутствует
Книга (аналит. описание)
Робинсон, Джулия Холл
Неразрешимость показательных диофантовых уравнений
б.г.
ISBN отсутствует
Робинсон, Джулия Холл
Неразрешимость показательных диофантовых уравнений
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Мазуров, Виктор Данилович
Нераспознаваемость конечной простой группы 3D 4(2) по спектру
б.г.
ISBN отсутствует
Мазуров, Виктор Данилович
Нераспознаваемость конечной простой группы 3D 4(2) по спектру
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Лукьянова, Елена Викторовна
Несколько замечаний к формулировке и доказательству Леммы о коллинеарных векторах
б.г.
ISBN отсутствует
Лукьянова, Елена Викторовна
Несколько замечаний к формулировке и доказательству Леммы о коллинеарных векторах
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
Несколько замечаний об изложении метода математической индукции в школьных учебниках по математике
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
Несколько замечаний об изложении метода математической индукции в школьных учебниках по математике
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Батыршин, Ильнур Ильдарович
Несократимые, сингулярные и смежные степени
б.г.
ISBN отсутствует
Батыршин, Ильнур Ильдарович
Несократимые, сингулярные и смежные степени
б.г.
ISBN отсутствует
Доступно
1 из 1
Электронный ресурс (аналит. описание)
Локшин, Александр Александрович
Нужно ли преподавать детям логику, или почему подсознание отделено от сознания?
б.г.
ISBN отсутствует
Локшин, Александр Александрович
Нужно ли преподавать детям логику, или почему подсознание отделено от сознания?
б.г.
ISBN отсутствует
Доступно
1 из 2
Книга
Шень, Александр Ханиевич
О "математической строгости" и школьном курсе математики
МЦНМО, 2006 г.
ISBN 5-94057-254-5
Шень, Александр Ханиевич
О "математической строгости" и школьном курсе математики
МЦНМО, 2006 г.
ISBN 5-94057-254-5
Электронный ресурс (аналит. описание)
Лыткина, Дарья Викторовна
О {2, 3}-группах, не содержащих элементов порядка 6
б.г.
ISBN отсутствует
Лыткина, Дарья Викторовна
О {2, 3}-группах, не содержащих элементов порядка 6
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Ершов, Юрий Леонидович
О D-ранге топологического пространства
б.г.
ISBN отсутствует
Ершов, Юрий Леонидович
О D-ранге топологического пространства
б.г.
ISBN отсутствует
Заказать
На полку