Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
Печать списка
Доступно
4 из 4
Доступно
5 из 5
--> математика
----> математическая логика
Рубрика
- Название:
- математическая логика
- См. также:
- 22.12 основания М. л. 87.45
Печать списка
Связанные описания:
Электронный ресурс (аналит. описание)
Будкин, Александр Иванович
О доминионах разрешимых групп
б.г.
ISBN отсутствует
Будкин, Александр Иванович
О доминионах разрешимых групп
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
О допустимых правилах заключения в системах натурального вывода
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
О допустимых правилах заключения в системах натурального вывода
б.г.
ISBN отсутствует
Книга (аналит. описание)
Тимофеева, Ирина Леонидовна
О допустимых правилах заключения в системах натурального вывода
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
О допустимых правилах заключения в системах натурального вывода
б.г.
ISBN отсутствует
Доступно
4 из 4
Доступно
5 из 5
Редкое издание
О квадратуре круга: С приложением истории вопроса, сост. Ф. Рудио, профессора Цирюхского политехникума
Mathesis, 1911 г.
ISBN отсутствует
О квадратуре круга: С приложением истории вопроса, сост. Ф. Рудио, профессора Цирюхского политехникума
Mathesis, 1911 г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Ву, Чженьфень
О количестве силовских подгрупп в специальных линейных группах степени 2
б.г.
ISBN отсутствует
Ву, Чженьфень
О количестве силовских подгрупп в специальных линейных группах степени 2
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Бутурлакин, Александр Александрович
О конструктивном распознавании конечных простых групп по порядкам их элементов
б.г.
ISBN отсутствует
Бутурлакин, Александр Александрович
О конструктивном распознавании конечных простых групп по порядкам их элементов
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
О косвенных правилах естественного вывода в курсе математической логики и косвенных методах дока...
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
О косвенных правилах естественного вывода в курсе математической логики и косвенных методах дока...
б.г.
ISBN отсутствует
Книга (аналит. описание)
Игошин, Владимир Иванович
О курсе "Числовые системы" для будущих учителей математики
б.г.
ISBN отсутствует
Игошин, Владимир Иванович
О курсе "Числовые системы" для будущих учителей математики
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
О логических эвристических средствах построения доказательств
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
О логических эвристических средствах построения доказательств
б.г.
ISBN отсутствует
Книга (аналит. описание)
Лукьянова, Елена Викторовна
О логической структуре одного из утверждений курса геометрии
б.г.
ISBN отсутствует
Лукьянова, Елена Викторовна
О логической структуре одного из утверждений курса геометрии
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Макаренков, Юрий Алексеевич
О методических особенностях преподавания курсов теории алгоритмов и математической логики в педвузе
б.г.
ISBN отсутствует
Макаренков, Юрий Алексеевич
О методических особенностях преподавания курсов теории алгоритмов и математической логики в педвузе
б.г.
ISBN отсутствует
Книга (аналит. описание)
Гетманова, Александра Денисовна
О многозначной логике Поста
б.г.
ISBN отсутствует
Гетманова, Александра Денисовна
О многозначной логике Поста
б.г.
ISBN отсутствует
Книга (аналит. описание)
Гиленко, Наум Давидович
О научной и педагогической деятельности Петра Сергеевича Новикова
б.г.
ISBN отсутствует
Гиленко, Наум Давидович
О научной и педагогической деятельности Петра Сергеевича Новикова
б.г.
ISBN отсутствует
Книга (аналит. описание)
Варпаховский, Федор Леонидович
О нереализуемости дизъюнкции нереализуемых формул логики высказываний
б.г.
ISBN отсутствует
Варпаховский, Федор Леонидович
О нереализуемости дизъюнкции нереализуемых формул логики высказываний
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Мекей, Абиш
О представлении некоторых конечных колец матрицами над коммутативными кольцами
б.г.
ISBN отсутствует
Мекей, Абиш
О представлении некоторых конечных колец матрицами над коммутативными кольцами
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Вараксин, С. В.
О представлении свободных M-групп автоморфизмами линейно упорядоченных множеств
б.г.
ISBN отсутствует
Вараксин, С. В.
О представлении свободных M-групп автоморфизмами линейно упорядоченных множеств
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Вараксин, С. В.
О представлении свободных M-произведений M-групп автоморфизмами линейно упорядоченных множеств
б.г.
ISBN отсутствует
Вараксин, С. В.
О представлении свободных M-произведений M-групп автоморфизмами линейно упорядоченных множеств
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Игошин, В. И.
О применении математической логики при доказательстве обратных теорем
б.г.
ISBN отсутствует
Игошин, В. И.
О применении математической логики при доказательстве обратных теорем
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
О проблемах систематизации логических норм математического языка
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
О проблемах систематизации логических норм математического языка
б.г.
ISBN отсутствует
Книга (аналит. описание)
Тимофеева, Ирина Леонидовна
О проблемах систематизации логических норм математического языка
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
О проблемах систематизации логических норм математического языка
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Гладских, Дарья Сергеевна
О проблемах формирования компетенций в области программирования у бакалавров IT-направления
б.г.
ISBN отсутствует
Гладских, Дарья Сергеевна
О проблемах формирования компетенций в области программирования у бакалавров IT-направления
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Когабаев, Нурлан Талгатович
О проблеме вложимости вычислимых проективных плоскостей
б.г.
ISBN отсутствует
Когабаев, Нурлан Талгатович
О проблеме вложимости вычислимых проективных плоскостей
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Дудкин, Федор Анатольевич
О проблеме изоморфизма обобщённых групп баумслага-солитера с одним мобильным ребром
б.г.
ISBN отсутствует
Дудкин, Федор Анатольевич
О проблеме изоморфизма обобщённых групп баумслага-солитера с одним мобильным ребром
б.г.
ISBN отсутствует
Книга (аналит. описание)
Бонди, И. Л.
О проблеме разрешения для некоторых формально-логических исчислений
б.г.
ISBN отсутствует
Бонди, И. Л.
О проблеме разрешения для некоторых формально-логических исчислений
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Вдовин, Евгений Петрович
О пронормальности холловых подгрупп в своём нормальном замыкании
б.г.
ISBN отсутствует
Вдовин, Евгений Петрович
О пронормальности холловых подгрупп в своём нормальном замыкании
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Ли, Берндт
О П-свойстве и П-нормальности подгрупп конечных групп. II
б.г.
ISBN отсутствует
Ли, Берндт
О П-свойстве и П-нормальности подгрупп конечных групп. II
б.г.
ISBN отсутствует
Книга (аналит. описание)
Адян, Сергей Иванович
О работах П. С. Новикова и его учеников по алгоритмическим вопросам алгебры
б.г.
ISBN отсутствует
Адян, Сергей Иванович
О работах П. С. Новикова и его учеников по алгоритмическим вопросам алгебры
б.г.
ISBN отсутствует
Книга (аналит. описание)
Сергеева, Ирина Евгеньевна
О различных определениях линейного вывода в исчислении предикатов
б.г.
ISBN отсутствует
Сергеева, Ирина Евгеньевна
О различных определениях линейного вывода в исчислении предикатов
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Романьков, Виталий Анатольевич
О разрешимости уравнений в классах разрешимых групп и алгебр Ли
б.г.
ISBN отсутствует
Романьков, Виталий Анатольевич
О разрешимости уравнений в классах разрешимых групп и алгебр Ли
б.г.
ISBN отсутствует