Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
Печать списка
Нет экз.
Нет экз.
Нет экз.
Нет экз.
Доступно
2 из 2
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Доступно
2 из 3
Доступно
2 из 2
Экз. чит. зала
Доступно
2 из 3
Экз. чит. зала
Доступно
1 из 1
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 1
Экз. чит. зала
Экз. чит. зала
Нет экз.
Доступно
1 из 1
--> математика
----> математическая логика
Рубрика
- Название:
- математическая логика
- См. также:
- 22.12 основания М. л. 87.45
Печать списка
Связанные описания:
Нет экз.
Электронный ресурс
Глухов, Михаил Михайлович
Математическая логика. Дискретные функции. Теория алгоритмов: учебное пособие для вузов
Лань, 2022 г.
ISBN 978-5-8114-1344-7
Глухов, Михаил Михайлович
Математическая логика. Дискретные функции. Теория алгоритмов: учебное пособие для вузов
Лань, 2022 г.
ISBN 978-5-8114-1344-7
Нет экз.
Электронный ресурс
Глухов, Михаил Михайлович
Математическая логика. Дискретные функции. Теория алгоритмов: учебное пособие для вузов
Лань, 2021 г.
ISBN 978-5-8114-1344-7
Глухов, Михаил Михайлович
Математическая логика. Дискретные функции. Теория алгоритмов: учебное пособие для вузов
Лань, 2021 г.
ISBN 978-5-8114-1344-7
Нет экз.
Электронный ресурс
Лихтарников, Леонид Моисеевич
Математическая логика. Курс лекций. Задачник-практикум и решения: учебное пособие
Лань, 2021 г.
ISBN 978-5-8114-0082-9
Лихтарников, Леонид Моисеевич
Математическая логика. Курс лекций. Задачник-практикум и решения: учебное пособие
Лань, 2021 г.
ISBN 978-5-8114-0082-9
Нет экз.
Электронный ресурс
Лихтарников, Леонид Моисеевич
Математическая логика. Курс лекций. Задачник-практикум и решения: учебное пособие
Лань, 2022 г.
ISBN 978-5-8114-0082-9
Лихтарников, Леонид Моисеевич
Математическая логика. Курс лекций. Задачник-практикум и решения: учебное пособие
Лань, 2022 г.
ISBN 978-5-8114-0082-9
Доступно
2 из 2
Экз. чит. зала
Книга
Тимофеева, Ирина Леонидовна
Математическая логика. Ч. 1: Курс лекций, Учебное пособие для вузов по специальности 032100 - математика
Прометей, 2003 г.
ISBN 5-94845-064-3
Тимофеева, Ирина Леонидовна
Математическая логика. Ч. 1: Курс лекций, Учебное пособие для вузов по специальности 032100 - математика
Прометей, 2003 г.
ISBN 5-94845-064-3
Экз. чит. зала
Книга
Тимофеева, Ирина Леонидовна
Математическая логика. Ч. 2: Курс лекций , Учебное пособие для вузов по специальности 032100 - математика
Прометей, 2003 г.
ISBN 5-94845-064-3
Тимофеева, Ирина Леонидовна
Математическая логика. Ч. 2: Курс лекций , Учебное пособие для вузов по специальности 032100 - математика
Прометей, 2003 г.
ISBN 5-94845-064-3
Экз. чит. зала
Электронный ресурс
Тимофеева, Ирина Леонидовна
Математическая логика. Ч. 2: Курс лекций , Учебное пособие для вузов по специальности 032100 - математика
Прометей, 2003 г.
ISBN 5-94845-064-3
Тимофеева, Ирина Леонидовна
Математическая логика. Ч. 2: Курс лекций , Учебное пособие для вузов по специальности 032100 - математика
Прометей, 2003 г.
ISBN 5-94845-064-3
Экз. чит. зала
Книга
Пентус, Анна Евгеньевна
Математическая теория формальных языков : [Учеб. пособие]
Интернет-Университет информационных технологий, Бином. Лаборатория знаний, 2006 г.
ISBN 5-94774-512-7
Пентус, Анна Евгеньевна
Математическая теория формальных языков : [Учеб. пособие]
Интернет-Университет информационных технологий, Бином. Лаборатория знаний, 2006 г.
ISBN 5-94774-512-7
Доступно
2 из 3
Книга
Гарднер, Мартин
Математические новеллы
ISBN 5-03-003339-4
Гарднер, Мартин
Математические новеллы
Серия: Математическая мозаика
Мир, 2000 г.ISBN 5-03-003339-4
Доступно
2 из 2
Книга
Новак, Вилем
Математические принципы нечеткой логики: Пер. с англ.
Физматлит, 2006 г.
ISBN 5-9221-0399-7
Новак, Вилем
Математические принципы нечеткой логики: Пер. с англ.
Физматлит, 2006 г.
ISBN 5-9221-0399-7
Экз. чит. зала
Книга
Мордкович, Александр Григорьевич
Математический анализ: Учеб. для техникумов по спец. "Прикл. математика"
Высшая школа, 1990 г.
ISBN 5-06-001008-2
Мордкович, Александр Григорьевич
Математический анализ: Учеб. для техникумов по спец. "Прикл. математика"
Высшая школа, 1990 г.
ISBN 5-06-001008-2
Доступно
2 из 3
Книга
Мордкович, Александр Григорьевич
Математический анализ: Учеб.пособие для пед.вузов по специальности математика
Вербум-М, 2000 г.
ISBN 5-8391-0010-2
Мордкович, Александр Григорьевич
Математический анализ: Учеб.пособие для пед.вузов по специальности математика
Вербум-М, 2000 г.
ISBN 5-8391-0010-2
Экз. чит. зала
Книга
Математическое моделирование. Процессы в нелинейных средах: Сборник статей
Наука, 1986 г.
ISBN отсутствует
Математическое моделирование. Процессы в нелинейных средах: Сборник статей
Наука, 1986 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Депман, Иван Яковлевич
Метод математической индукции: Пособие для учителя
Учпедгиз, 1957 г.
ISBN отсутствует
Депман, Иван Яковлевич
Метод математической индукции: Пособие для учителя
Учпедгиз, 1957 г.
ISBN отсутствует
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Книга
Соминский, Илья Самуилович
Метод математической индукции
государственное издательство технико-теоретической литературы, 1952 г.
ISBN отсутствует
Соминский, Илья Самуилович
Метод математической индукции
государственное издательство технико-теоретической литературы, 1952 г.
ISBN отсутствует
Доступно
1 из 1
Экз. чит. зала
Экз. чит. зала
Книга
Столл, Роберт Р.
Множества. Логика. Аксиоматические теории
ISBN отсутствует
Столл, Роберт Р.
Множества. Логика. Аксиоматические теории
Серия: Математическое просвещение
Просвещение, 1968 г.ISBN отсутствует
Нет экз.
Электронный ресурс
Кузьмич, Роман Иванович
Модификации метода логического анализа данных для задач классификации: Монография
СФУ, 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 отсутствует