Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
Печать списка
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
2 из 5
Доступно
4 из 5
Доступно
1 из 1
Доступно
1 из 1
Нет экз.
Доступно
3 из 4
Доступно
3 из 3
Доступно
6 из 7
Доступно
1 из 1
Доступно
6 из 6
Доступно
1 из 1
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 1
Экз. чит. зала
--> математика
----> математическая логика
Рубрика
- Название:
- математическая логика
- См. также:
- 22.12 основания М. л. 87.45
Печать списка
Связанные описания:
Книга (аналит. описание)
Мирзоев, Махмашариф Сайфович
Обучающие и контролирующие программы по теме уточнения понятия алгоритма с помощью машины Тьюринга
б.г.
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 отсутствует
Книга (аналит. описание)
Яновская, Софья Александровна
Основания математики и математическая логика
б.г.
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 отсутствует
Доступно
6 из 6
Книга
Депман, Иван Яковлевич
Первое знакомство с математической логикой
б. и., 1963 г.
ISBN отсутствует
Депман, Иван Яковлевич
Первое знакомство с математической логикой
б. и., 1963 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Лихтарников, Леонид Моисеевич
Первое знакомство с математической логикой: Кн. для начинающих изучать мат. логику и преподавателей
Лань, 1997 г.
ISBN 5-86617-043-4
Лихтарников, Леонид Моисеевич
Первое знакомство с математической логикой: Кн. для начинающих изучать мат. логику и преподавателей
Лань, 1997 г.
ISBN 5-86617-043-4
Электронный ресурс (аналит. описание)
Байкалов, Антон Андреевич
Пересечение сопряжённых разрешимых подгрупп в симметрических группах
б.г.
ISBN отсутствует
Байкалов, Антон Андреевич
Пересечение сопряжённых разрешимых подгрупп в симметрических группах
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Лыткина, Д. В.
Периодические группы, насыщенные конечными простыми группами типов U3 и L3
б.г.
ISBN отсутствует
Лыткина, Д. В.
Периодические группы, насыщенные конечными простыми группами типов U3 и L3
б.г.
ISBN отсутствует
Статья
Каракозов, Сергей Дмитриевич
Петр Новиков - выдающийся математик в выдающемся университете
б.г.
ISBN отсутствует
Каракозов, Сергей Дмитриевич
Петр Новиков - выдающийся математик в выдающемся университете
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Птахов, Денис Олегович
Полигоны С (P,1)-стабильной теорией
б.г.
ISBN отсутствует
Птахов, Денис Олегович
Полигоны С (P,1)-стабильной теорией
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Гречкосеева, Мария Александровна
Порядки элементов конечных почти простых групп
б.г.
ISBN отсутствует
Гречкосеева, Мария Александровна
Порядки элементов конечных почти простых групп
б.г.
ISBN отсутствует
Экз. чит. зала
Книга
Мерзон, Анатолий Евгеньевич
Пособие по математике для студентов факультетов начальных классов
ISBN 5-89112-053-4, 5-89395-099-2
Мерзон, Анатолий Евгеньевич
Пособие по математике для студентов факультетов начальных классов
Серия: Библиотека педагога-практика
Ин-т практ. психологии, МОДЭК, 1998 г.ISBN 5-89112-053-4, 5-89395-099-2
Экз. чит. зала
Доступно
1 из 1
Электронный ресурс (аналит. описание)
Васильев, Александр Викторович
Почти распознаваемость по спек¬тру простых исключительных групп Лиева типа
б.г.
ISBN отсутствует
Васильев, Александр Викторович
Почти распознаваемость по спек¬тру простых исключительных групп Лиева типа
б.г.
ISBN отсутствует
Экз. чит. зала