Электронный каталог МПГУ -Книги в рубрике: - Absopac

Поиск :

Личный кабинет :

Электронный каталог: Книги в рубрике:

Рубрики
--> математика
----> математическая логика

Рубрика

Название:: математическая логика
См. также:: 22.12 основания М. л. 87.45

Печать списка

Связанные описания:

Отобрать для печати: страницу | инверсия | сброс | печать(0)

<< назад | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | вперед >>

Доступно
1 из 1

Диссертация
Тимофеева, Ирина Леонидовна
Методическая система обучения студентов педагогических вузов математической логике на основе теор...: Дис...д-ра пед.наук:Спец.13.00.02-теория и методика обучения и воспитания (математика)
2006 г.
ISBN отсутствует

Заказать

На полку

Экз. чит. зала

Книга
Бизам, Д.
Многоцветная логика: 175 логических задач
Мир, 1978 г.
ISBN отсутствует

На полку

Экз. чит. зала

Книга
Столл, Роберт Р.
Множества. Логика. Аксиоматические теории

Серия: Математическое просвещение

Просвещение, 1968 г.
ISBN отсутствует

На полку

Доступно
8 из 8

Книга
Фейс, Роберт
Модальная логика

Серия: Математическая логика и основания математики

Наука, 1974 г.
ISBN отсутствует

Заказать

На полку

Нет экз.

Электронный ресурс
Кузьмич, Роман Иванович
Модификации метода логического анализа данных для задач классификации: Монография
СФУ, 2018 г.
ISBN 978-5-7638-3698-1

полный текст

На полку

Электронный ресурс (аналит. описание)
Гейн, Александр Георгиевич
Модулярность и дистрибутивность 3-порождённых решёток со специальными элементами среди порождающих
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Манзаева, Номина Чингизовна
Наследуемость свойства Dπ надгруппами π-холловых подгрупп в случае, когда 2∈π
б.г.
ISBN отсутствует

полный текст

На полку

Доступно
1 из 1

Книга
Правиц, Даг
Натуральный вывод: Теоретико-доказательственное исследование:[Пер.]
Лори, 1997 г.
ISBN 5-85582-026-2

Заказать

На полку

Книга (аналит. описание)
Хохлов, Сергей Валерьевич
Независимость правил вывода в предикатных системах натурального вывода
б.г.
ISBN отсутствует

На полку

Электронный ресурс (аналит. описание)
Хохлов, Сергей Валерьевич
Независимость правил вывода в предикатных системах натурального вывода
б.г.
ISBN отсутствует

полный текст

На полку

Доступно
1 из 1

Книга

Неклассические логики: [Сборник научных трудов]

Серия: Математические исследования/АН МССР, Ин-т математики с ВЦ

Штиинца, 1987 г.
ISBN отсутствует

Заказать

На полку

Статья
Тимофеева, Ирина Леонидовна
Некоторые замечания о методе доказательства от противного
б.г.
ISBN отсутствует

На полку

Книга (аналит. описание)
Шенфилд, Джозеф Р.
Некоторые приложения степеней
б.г.
ISBN отсутствует

На полку

Книга (аналит. описание)
Кейслер, Г. Дж.
Некоторые применения теории моделей к теории множеств
б.г.
ISBN отсутствует

На полку

Книга (аналит. описание)
Цинман, Леонид Львович
Некоторые примеры и теоремы из теории рекурсивных функций
б.г.
ISBN отсутствует

На полку

Книга (аналит. описание)
Тарский, Альфред
Некоторые проблемы и результаты, связанные с основаниями теории множеств
б.г.
ISBN отсутствует

На полку

Электронный ресурс (аналит. описание)
Морозов, Андрей Сергеевич
Непредставимость некоторых структур анализа в наследственно конечных надстройках
б.г.
ISBN отсутствует

полный текст

На полку

Доступно
1 из 1

Книга
Волгин, Леонид Иванович
Непрерывная логика. Теория и применения
Infinite-valued logic. Theory and applications
1990 г.
ISBN отсутствует

Заказать

На полку

Электронный ресурс (аналит. описание)
Хухро, Евгений Иванович
Неразрешимая длина конечных групп
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Боков, Григорий Владимирович
Неразрешимое итеративное пропозициональное исчисление
б.г.
ISBN отсутствует

полный текст

На полку

Книга (аналит. описание)
Робинсон, Джулия Холл
Неразрешимость показательных диофантовых уравнений
б.г.
ISBN отсутствует

На полку

Электронный ресурс (аналит. описание)
Мазуров, Виктор Данилович
Нераспознаваемость конечной простой группы 3D 4(2) по спектру
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Лукьянова, Елена Викторовна
Несколько замечаний к формулировке и доказательству Леммы о коллинеарных векторах
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
Несколько замечаний об изложении метода математической индукции в школьных учебниках по математике
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Батыршин, Ильнур Ильдарович
Несократимые, сингулярные и смежные степени
б.г.
ISBN отсутствует

полный текст

На полку

Доступно
1 из 1

Диссертация
Кулешов, Николай Иосифович
Нормальное строение и дополняемость подгрупп в конечных группах: Диссертация канд. физ.-мат. наук , Специальность 01.01.06 - математическая логика, алгебра и теория чисел
1995 г.
ISBN отсутствует

Заказать

На полку

Электронный ресурс (аналит. описание)
Локшин, Александр Александрович
Нужно ли преподавать детям логику, или почему подсознание отделено от сознания?
б.г.
ISBN отсутствует

полный текст

На полку

Доступно
1 из 2

Книга
Шень, Александр Ханиевич
О "математической строгости" и школьном курсе математики
МЦНМО, 2006 г.
ISBN 5-94057-254-5

Заказать

На полку

Электронный ресурс (аналит. описание)
Лыткина, Дарья Викторовна
О {2, 3}-группах, не содержащих элементов порядка 6
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Ершов, Юрий Леонидович
О D-ранге топологического пространства
б.г.
ISBN отсутствует

полный текст

На полку