Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
Печать списка
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
2 из 5
Доступно
4 из 5
Доступно
1 из 1
Доступно
1 из 1
Нет экз.
Доступно
3 из 4
Доступно
3 из 3
Доступно
6 из 7
Доступно
1 из 1
Доступно
6 из 6
Доступно
1 из 1
Экз. чит. зала
Экз. чит. зала
--> математика
----> математическая логика
Рубрика
- Название:
- математическая логика
- См. также:
- 22.12 основания М. л. 87.45
Печать списка
Связанные описания:
![](http://ecat.mpgu.info/Opac/app/webroot/img//progress.gif)
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Порошенко, Евгений Николаевич
Об элементарной эквивалентности частично коммутативных колец и алгебр Ли
б.г.
ISBN отсутствует
Порошенко, Евгений Николаевич
Об элементарной эквивалентности частично коммутативных колец и алгебр Ли
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Бадаев, Серикжан Агыбаевич
Обобщённо вычислимые универсальные нумерации
б.г.
ISBN отсутствует
Бадаев, Серикжан Агыбаевич
Обобщённо вычислимые универсальные нумерации
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Мирзоев, Махмашариф Сайфович
Обучающие и контролирующие программы по теме уточнения понятия алгоритма с помощью машины Тьюринга
б.г.
ISBN отсутствует
Мирзоев, Махмашариф Сайфович
Обучающие и контролирующие программы по теме уточнения понятия алгоритма с помощью машины Тьюринга
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/7.gif)
Книга (аналит. описание)
Мирзоев, Махмашариф Сайфович
Обучающие и контролирующие программы по теме уточнения понятия алгоритма с помощью машины Тьюринга
б.г.
ISBN отсутствует
Мирзоев, Махмашариф Сайфович
Обучающие и контролирующие программы по теме уточнения понятия алгоритма с помощью машины Тьюринга
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/44.gif)
Доступно
1 из 1
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Д'аквино, П.
Одно замечание об ^-насыщенных o-минимальных обогащениях вещественно замкнутых полей
б.г.
ISBN отсутствует
Д'аквино, П.
Одно замечание об ^-насыщенных o-минимальных обогащениях вещественно замкнутых полей
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Колесников, Павел Сергеевич
Однородные операторы усреднения на полупростых алгебрах Ли
б.г.
ISBN отсутствует
Колесников, Павел Сергеевич
Однородные операторы усреднения на полупростых алгебрах Ли
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
Коляда, Михаил Георгиевич
Окно в удивительный мир информатики
ISBN 966-7104-40-0
Коляда, Михаил Георгиевич
Окно в удивительный мир информатики
Серия: Для школьников
Сталкер, 1997 г.ISBN 966-7104-40-0
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Пинус, Александр Георгиевич
Определимые функции универсальных алгебр и определимая эквивалентность алгебр
б.г.
ISBN отсутствует
Пинус, Александр Георгиевич
Определимые функции универсальных алгебр и определимая эквивалентность алгебр
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Димитров, Р. Д.
Орбиты максимальных векторных пространств
б.г.
ISBN отсутствует
Димитров, Р. Д.
Орбиты максимальных векторных пространств
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/7.gif)
Книга (аналит. описание)
Яновская, Софья Александровна
Основания математики и математическая логика
б.г.
ISBN отсутствует
Яновская, Софья Александровна
Основания математики и математическая логика
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
2 из 5
Книга
Деза, Елена Ивановна
Основы дискретной математики: упражнения и задачи, учебно-методическое пособие
МПГУ, 2006 г.
ISBN отсутствует
Деза, Елена Ивановна
Основы дискретной математики: упражнения и задачи, учебно-методическое пособие
МПГУ, 2006 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
4 из 5
Книга
Деза, Елена Ивановна
Основы дискретной математики: Учеб.-метод. пособие : Учеб. пособие для вузов по специальности 032100 "Математика"
МПГУ, 2007 г.
ISBN отсутствует
Деза, Елена Ивановна
Основы дискретной математики: Учеб.-метод. пособие : Учеб. пособие для вузов по специальности 032100 "Математика"
МПГУ, 2007 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
Основы кибернетики. Математические основы кибернетики: Для вузов по специальности "Автоматизир. системы управления"
Высшая школа, 1974 г.
ISBN отсутствует
Основы кибернетики. Математические основы кибернетики: Для вузов по специальности "Автоматизир. системы управления"
Высшая школа, 1974 г.
ISBN отсутствует
![](/absocover/1115096.jpg)
Доступно
1 из 1
Книга
Иванчук, Наталья Васильевна
Основы математической обработки информации. Часть 1: Лекционный и практический материал: Учебное пособие
МаГУ, 2020 г.
ISBN отсутствует
Иванчук, Наталья Васильевна
Основы математической обработки информации. Часть 1: Лекционный и практический материал: Учебное пособие
МаГУ, 2020 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/30.gif)
Нет экз.
Электронный ресурс
Основы начального курса математики. Элементы математической логики: Учебно-методическое пособие для студентов, обучающихся по направлению подготовки педагогическое образование профиля «Начальное
ТувГУ, 2018 г.
ISBN отсутствует
Основы начального курса математики. Элементы математической логики: Учебно-методическое пособие для студентов, обучающихся по направлению подготовки педагогическое образование профиля «Начальное
ТувГУ, 2018 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
3 из 4
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
3 из 3
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
6 из 7
Книга
Молодший, Владимир Николаевич
Очерки по вопросам обоснования математики: Пособие для учителей математики
Учпедгиз, 1958 г.
ISBN отсутствует
Молодший, Владимир Николаевич
Очерки по вопросам обоснования математики: Пособие для учителей математики
Учпедгиз, 1958 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
Очерки развития математики в СССР [1917-1977] : Теорет. математика. Прикл. вопр. математики
Наукова думка, 1983 г.
ISBN отсутствует
Очерки развития математики в СССР [1917-1977] : Теорет. математика. Прикл. вопр. математики
Наукова думка, 1983 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
6 из 6
Книга
Депман, Иван Яковлевич
Первое знакомство с математической логикой
б. и., 1963 г.
ISBN отсутствует
Депман, Иван Яковлевич
Первое знакомство с математической логикой
б. и., 1963 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
Лихтарников, Леонид Моисеевич
Первое знакомство с математической логикой: Кн. для начинающих изучать мат. логику и преподавателей
Лань, 1997 г.
ISBN 5-86617-043-4
Лихтарников, Леонид Моисеевич
Первое знакомство с математической логикой: Кн. для начинающих изучать мат. логику и преподавателей
Лань, 1997 г.
ISBN 5-86617-043-4
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Байкалов, Антон Андреевич
Пересечение сопряжённых разрешимых подгрупп в симметрических группах
б.г.
ISBN отсутствует
Байкалов, Антон Андреевич
Пересечение сопряжённых разрешимых подгрупп в симметрических группах
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Лыткина, Д. В.
Периодические группы, насыщенные конечными простыми группами типов U3 и L3
б.г.
ISBN отсутствует
Лыткина, Д. В.
Периодические группы, насыщенные конечными простыми группами типов U3 и L3
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/6.gif)
Статья
Каракозов, Сергей Дмитриевич
Петр Новиков - выдающийся математик в выдающемся университете
б.г.
ISBN отсутствует
Каракозов, Сергей Дмитриевич
Петр Новиков - выдающийся математик в выдающемся университете
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Птахов, Денис Олегович
Полигоны С (P,1)-стабильной теорией
б.г.
ISBN отсутствует
Птахов, Денис Олегович
Полигоны С (P,1)-стабильной теорией
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Гречкосеева, Мария Александровна
Порядки элементов конечных почти простых групп
б.г.
ISBN отсутствует
Гречкосеева, Мария Александровна
Порядки элементов конечных почти простых групп
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
Книга
Мерзон, Анатолий Евгеньевич
Пособие по математике для студентов факультетов начальных классов
ISBN 5-89112-053-4, 5-89395-099-2
Мерзон, Анатолий Евгеньевич
Пособие по математике для студентов факультетов начальных классов
Серия: Библиотека педагога-практика
Ин-т практ. психологии, МОДЭК, 1998 г.ISBN 5-89112-053-4, 5-89395-099-2
![](/Opac/app/webroot/img/doctypes/30.gif)
Экз. чит. зала