Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
Печать списка
Доступно
3 из 3
Нет экз.
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
3 из 3
Доступно
1 из 1
Доступно
2 из 2
Экз. чит. зала
Доступно
1 из 1
Экз. чит. зала
Доступно
3 из 3
Доступно
1 из 2
Экз. чит. зала
Доступно
1 из 3
Экз. чит. зала
Доступно
1 из 2
--> математика
----> математическая логика
Рубрика
- Название:
- математическая логика
- См. также:
- 22.12 основания М. л. 87.45
Печать списка
Связанные описания:
Электронный ресурс (аналит. описание)
Афанасьева, Светлана Григорьевна
Координатная группа аффинного пространства над жёсткой метабелевой про-Р-группой
б.г.
ISBN отсутствует
Афанасьева, Светлана Григорьевна
Координатная группа аффинного пространства над жёсткой метабелевой про-Р-группой
б.г.
ISBN отсутствует
На полку
Электронный ресурс (аналит. описание)
Микаелян, Ваагн Гамлетович
Критерий Шмелькина и многообразия, порождённые сплетениями конечных групп
б.г.
ISBN отсутствует
Микаелян, Ваагн Гамлетович
Критерий Шмелькина и многообразия, порождённые сплетениями конечных групп
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Игошин, Владимир Иванович
Курс математической логики для будущих учителей математики и информатики с точки зрения теории ал...
б.г.
ISBN отсутствует
Игошин, Владимир Иванович
Курс математической логики для будущих учителей математики и информатики с точки зрения теории ал...
б.г.
ISBN отсутствует
Доступно
3 из 3
Книга
Барендрегт, Хендрик Питер
Ламбда-исчисление: Его синтаксис и семантика: Пер. с англ.
Мир, 1985 г.
ISBN отсутствует
Барендрегт, Хендрик Питер
Ламбда-исчисление: Его синтаксис и семантика: Пер. с англ.
Мир, 1985 г.
ISBN отсутствует
Заказать Нет экз.
Электронный ресурс
Авдеюк, Оксана Алексеевна
Лекции и практикум по основам дискретной математики и математической логике: Учебно-методическое пособие
ВолгГТУ, 2019 г.
ISBN 978-5-9948-3251-6
Авдеюк, Оксана Алексеевна
Лекции и практикум по основам дискретной математики и математической логике: Учебно-методическое пособие
ВолгГТУ, 2019 г.
ISBN 978-5-9948-3251-6
Доступно
1 из 2
Доступно
1 из 1
Книга
Мощенский, Владимир Андреевич
Лекции по математической логике: Учебное пособие для вузов
Изд-во БГУ, 1973 г.
ISBN отсутствует
Мощенский, Владимир Андреевич
Лекции по математической логике: Учебное пособие для вузов
Изд-во БГУ, 1973 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Мощенский, Владимир Андреевич
Лекции по математической логике: Учебное пособие для студентов первого курса
Изд-во БГУ, 1971 г.
ISBN отсутствует
Мощенский, Владимир Андреевич
Лекции по математической логике: Учебное пособие для студентов первого курса
Изд-во БГУ, 1971 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 1: Начала теории множеств
ISBN 978-5-4439-0943-1
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 1: Начала теории множеств
Серия: Современные лекционные курсы
МЦНМО, 2017 г.ISBN 978-5-4439-0943-1
Доступно
1 из 1
Книга
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 2: Языки исчисления
ISBN 978-5-4439-0944-8
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 2: Языки исчисления
Серия: Современные лекционные курсы
МЦНМО, 2017 г.ISBN 978-5-4439-0944-8
Доступно
1 из 1
Книга
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 3: Вычислимые функции
ISBN 978-5-4439-0014-8
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 3: Вычислимые функции
Серия: Современные лекционные курсы
МЦНМО, 2012 г.ISBN 978-5-4439-0014-8
Электронный ресурс (аналит. описание)
Байсалов, Ержан Рахметтоллаевич
Линейно минимальные йордановы алгебры характеристики, отличной от 2
б.г.
ISBN отсутствует
Байсалов, Ержан Рахметтоллаевич
Линейно минимальные йордановы алгебры характеристики, отличной от 2
б.г.
ISBN отсутствует
Доступно
1 из 1
Книга
Лыскова, Вероника Юрьевна
Логика в информатике: [Пособие]
ISBN 5-900618-13-7
Лыскова, Вероника Юрьевна
Логика в информатике: [Пособие]
Серия: Информатика в школе
Информатика и образование, 1999 г.ISBN 5-900618-13-7
Доступно
3 из 3
Книга
Лыскова, Вероника Юрьевна
Логика в информатике: Методическое пособие
ISBN 5-93208-105-8
Лыскова, Вероника Юрьевна
Логика в информатике: Методическое пособие
Серия: Информатика
Лаборатория Базовых Знаний, 2001 г.ISBN 5-93208-105-8
Доступно
1 из 1
Книга (аналит. описание)
Аншаков, Олег Матвеевич
Логика Д. А. Бочвара и анализ теоретико-множественных парадоксов сверток
б.г.
ISBN отсутствует
Аншаков, Олег Матвеевич
Логика Д. А. Бочвара и анализ теоретико-множественных парадоксов сверток
б.г.
ISBN отсутствует
Доступно
2 из 2
Книга
Грассман, Герман
Логика и философия математики: Избр.
ISBN 978-5-02-033858-6
Грассман, Герман
Логика и философия математики: Избр.
Серия: Памятники философской мысли
Наука, 2008 г.ISBN 978-5-02-033858-6
Экз. чит. зала
Книга
Хилтон, Алиса Мери
Логика и цепи переключения: Сокр. пер. с англ.
ISBN отсутствует
Хилтон, Алиса Мери
Логика и цепи переключения: Сокр. пер. с англ.
Серия: Библиотека по автоматике
Госэнергоиздат, 1962 г.ISBN отсутствует
Доступно
1 из 1
Экз. чит. зала
Книга
Лексаченко, Валентин Александрович
Логика. Множества. Вероятность
Вузовская книга, 2001 г.
ISBN 5-89522-134-3
Лексаченко, Валентин Александрович
Логика. Множества. Вероятность
Вузовская книга, 2001 г.
ISBN 5-89522-134-3
Доступно
3 из 3
Книга
Карпенко, Александр Степанович
Логики Лукасевича и простые числа
Наука, 2000 г.
ISBN 5-02-013048-6
Карпенко, Александр Степанович
Логики Лукасевича и простые числа
Наука, 2000 г.
ISBN 5-02-013048-6
Доступно
1 из 2
Электронный ресурс (аналит. описание)
Логическая подготовка будущих учителей математики: виртуальная выставка
2016 г.
ISBN отсутствует
Логическая подготовка будущих учителей математики: виртуальная выставка
2016 г.
ISBN отсутствует
Книга (аналит. описание)
Матросов, Виктор Леонидович
Логическая подготовка будущих учителей математики: традиции и инновации
б.г.
ISBN отсутствует
Матросов, Виктор Леонидович
Логическая подготовка будущих учителей математики: традиции и инновации
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Матросов, Виктор Леонидович
Логическая подготовка будущих учителей математики: традиции и инновации
б.г.
ISBN отсутствует
Матросов, Виктор Леонидович
Логическая подготовка будущих учителей математики: традиции и инновации
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Логическая подготовка учителя математики в высшей школе: Библиографический список (1959-2014)
2016 г.
ISBN отсутствует
Логическая подготовка учителя математики в высшей школе: Библиографический список (1959-2014)
2016 г.
ISBN отсутствует
Экз. чит. зала
Доступно
1 из 3
Книга
Богомолова, Ольга Борисовна
Логические задачи
ISBN 978-5-9963-0082-2
Богомолова, Ольга Борисовна
Логические задачи
Серия: Задачник
Бином. Лаборатория знаний, 2009 г.ISBN 978-5-9963-0082-2
Экз. чит. зала
Книга
Логические и логико-математическиуе исчисления. 2: Сб. работ
Наука. Ленингр. отд-ние, 1972 г.
ISBN отсутствует
Логические и логико-математическиуе исчисления. 2: Сб. работ
Наука. Ленингр. отд-ние, 1972 г.
ISBN отсутствует
Доступно
1 из 2
Книга
Логические исследования: Сборник статей
ISBN отсутствует
Логические исследования: Сборник статей
Серия: АН СССР, Ин-т философии
Изд-во АН СССР, 1959 г.ISBN отсутствует