Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
Печать списка
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Экз. чит. зала
Доступно
2 из 5
Доступно
4 из 5
Доступно
1 из 1
Доступно
1 из 1
Нет экз.
Доступно
3 из 4
Доступно
3 из 3
Доступно
6 из 7
Доступно
1 из 1
--> математика
----> математическая логика
Рубрика
- Название:
- математическая логика
- См. также:
- 22.12 основания М. л. 87.45
Печать списка
Связанные описания:
Электронный ресурс (аналит. описание)
Шевляков, Артем Николаевич
Об объединении решений систем уравнений в полугруппах с конечным идеалом
б.г.
ISBN отсутствует
Шевляков, Артем Николаевич
Об объединении решений систем уравнений в полугруппах с конечным идеалом
б.г.
ISBN отсутствует
На полку
Электронный ресурс (аналит. описание)
Морозов, Андрей Сергеевич
Об одном достаточном условии непредставимости структур в наследственно конечных надстройках
б.г.
ISBN отсутствует
Морозов, Андрей Сергеевич
Об одном достаточном условии непредставимости структур в наследственно конечных надстройках
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Сабинина, Л. Л.
Об одном изотопически инвариантном свойстве автоморфных луп Муфанг
б.г.
ISBN отсутствует
Сабинина, Л. Л.
Об одном изотопически инвариантном свойстве автоморфных луп Муфанг
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Бардаков, В. Г.
Об одном представлении виртуальных кос автоморфизмами
б.г.
ISBN отсутствует
Бардаков, В. Г.
Об одном представлении виртуальных кос автоморфизмами
б.г.
ISBN отсутствует
Книга (аналит. описание)
Успенская, Марина Борисовна
Об одном формальном языке, включающем теоретико-множественные операторы
б.г.
ISBN отсутствует
Успенская, Марина Борисовна
Об одном формальном языке, включающем теоретико-множественные операторы
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Касымов, Надимулла Хабибуллаевич
Об определимости линейных порядков над негативными эквивалентностями
б.г.
ISBN отсутствует
Касымов, Надимулла Хабибуллаевич
Об определимости линейных порядков над негативными эквивалентностями
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Порошенко, Евгений Николаевич
Об универсальной эквивалентности частично коммутативных алгебр Ли
б.г.
ISBN отсутствует
Порошенко, Евгений Николаевич
Об универсальной эквивалентности частично коммутативных алгебр Ли
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Александрова, Светлана Анатольевна
Об униформизации в надстройках над некоторыми расширениями r
б.г.
ISBN отсутствует
Александрова, Светлана Анатольевна
Об униформизации в надстройках над некоторыми расширениями r
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Порошенко, Евгений Николаевич
Об элементарной эквивалентности частично коммутативных колец и алгебр Ли
б.г.
ISBN отсутствует
Порошенко, Евгений Николаевич
Об элементарной эквивалентности частично коммутативных колец и алгебр Ли
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Бадаев, Серикжан Агыбаевич
Обобщённо вычислимые универсальные нумерации
б.г.
ISBN отсутствует
Бадаев, Серикжан Агыбаевич
Обобщённо вычислимые универсальные нумерации
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Мирзоев, Махмашариф Сайфович
Обучающие и контролирующие программы по теме уточнения понятия алгоритма с помощью машины Тьюринга
б.г.
ISBN отсутствует
Мирзоев, Махмашариф Сайфович
Обучающие и контролирующие программы по теме уточнения понятия алгоритма с помощью машины Тьюринга
б.г.
ISBN отсутствует
Книга (аналит. описание)
Мирзоев, Махмашариф Сайфович
Обучающие и контролирующие программы по теме уточнения понятия алгоритма с помощью машины Тьюринга
б.г.
ISBN отсутствует
Мирзоев, Махмашариф Сайфович
Обучающие и контролирующие программы по теме уточнения понятия алгоритма с помощью машины Тьюринга
б.г.
ISBN отсутствует
Доступно
1 из 1
Заказать
Электронный ресурс (аналит. описание)
Д'аквино, П.
Одно замечание об ^-насыщенных o-минимальных обогащениях вещественно замкнутых полей
б.г.
ISBN отсутствует
Д'аквино, П.
Одно замечание об ^-насыщенных o-минимальных обогащениях вещественно замкнутых полей
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Колесников, Павел Сергеевич
Однородные операторы усреднения на полупростых алгебрах Ли
б.г.
ISBN отсутствует
Колесников, Павел Сергеевич
Однородные операторы усреднения на полупростых алгебрах Ли
б.г.
ISBN отсутствует
Доступно
1 из 1
Книга
Коляда, Михаил Георгиевич
Окно в удивительный мир информатики
ISBN 966-7104-40-0
Коляда, Михаил Георгиевич
Окно в удивительный мир информатики
Серия: Для школьников
Сталкер, 1997 г.ISBN 966-7104-40-0
Электронный ресурс (аналит. описание)
Пинус, Александр Георгиевич
Определимые функции универсальных алгебр и определимая эквивалентность алгебр
б.г.
ISBN отсутствует
Пинус, Александр Георгиевич
Определимые функции универсальных алгебр и определимая эквивалентность алгебр
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Димитров, Р. Д.
Орбиты максимальных векторных пространств
б.г.
ISBN отсутствует
Димитров, Р. Д.
Орбиты максимальных векторных пространств
б.г.
ISBN отсутствует
Экз. чит. зала
Книга
Гильберт, Давид
Основания математики: логические исчисления и формализация арифметики
Наука, 1979 г.
ISBN отсутствует
Гильберт, Давид
Основания математики: логические исчисления и формализация арифметики
Наука, 1979 г.
ISBN отсутствует
Книга (аналит. описание)
Яновская, Софья Александровна
Основания математики и математическая логика
б.г.
ISBN отсутствует
Яновская, Софья Александровна
Основания математики и математическая логика
б.г.
ISBN отсутствует
Экз. чит. зала
Доступно
2 из 5
Книга
Деза, Елена Ивановна
Основы дискретной математики: упражнения и задачи, учебно-методическое пособие
МПГУ, 2006 г.
ISBN отсутствует
Деза, Елена Ивановна
Основы дискретной математики: упражнения и задачи, учебно-методическое пособие
МПГУ, 2006 г.
ISBN отсутствует
Доступно
4 из 5
Книга
Деза, Елена Ивановна
Основы дискретной математики: Учеб.-метод. пособие : Учеб. пособие для вузов по специальности 032100 "Математика"
МПГУ, 2007 г.
ISBN отсутствует
Деза, Елена Ивановна
Основы дискретной математики: Учеб.-метод. пособие : Учеб. пособие для вузов по специальности 032100 "Математика"
МПГУ, 2007 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Основы кибернетики. Математические основы кибернетики: Для вузов по специальности "Автоматизир. системы управления"
Высшая школа, 1974 г.
ISBN отсутствует
Основы кибернетики. Математические основы кибернетики: Для вузов по специальности "Автоматизир. системы управления"
Высшая школа, 1974 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Иванчук, Наталья Васильевна
Основы математической обработки информации. Часть 1: Лекционный и практический материал: Учебное пособие
МаГУ, 2020 г.
ISBN отсутствует
Иванчук, Наталья Васильевна
Основы математической обработки информации. Часть 1: Лекционный и практический материал: Учебное пособие
МаГУ, 2020 г.
ISBN отсутствует
Нет экз.
Электронный ресурс
Основы начального курса математики. Элементы математической логики: Учебно-методическое пособие для студентов, обучающихся по направлению подготовки педагогическое образование профиля «Начальное об...
ТувГУ, 2018 г.
ISBN отсутствует
Основы начального курса математики. Элементы математической логики: Учебно-методическое пособие для студентов, обучающихся по направлению подготовки педагогическое образование профиля «Начальное об...
ТувГУ, 2018 г.
ISBN отсутствует
Доступно
3 из 4
Доступно
3 из 3
Доступно
6 из 7
Книга
Молодший, Владимир Николаевич
Очерки по вопросам обоснования математики: Пособие для учителей математики
Учпедгиз, 1958 г.
ISBN отсутствует
Молодший, Владимир Николаевич
Очерки по вопросам обоснования математики: Пособие для учителей математики
Учпедгиз, 1958 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Очерки развития математики в СССР [1917-1977] : Теорет. математика. Прикл. вопр. математики
Наукова думка, 1983 г.
ISBN отсутствует
Очерки развития математики в СССР [1917-1977] : Теорет. математика. Прикл. вопр. математики
Наукова думка, 1983 г.
ISBN отсутствует