Электронный каталог

Книга
Абрамов, Сергей Алексеевич
Лекции о сложности алгоритмов: Учеб. пособие для вузов по специальности и направлению "Приклад. математика и информатика" и по направлению "Информ. технологии"

Доступно
1 из 2

МЦНМО, 2009 г.
ISBN 978-5-94057-433-0

Доступно
1 из 1

Книга
Мощенский, Владимир Андреевич
Лекции по математической логике: Учебное пособие для вузов
Изд-во БГУ, 1973 г.
ISBN отсутствует

Доступно
1 из 1

Книга
Мощенский, Владимир Андреевич
Лекции по математической логике: Учебное пособие для студентов первого курса
Изд-во БГУ, 1971 г.
ISBN отсутствует

Доступно
1 из 1

Книга
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 1: Начала теории множеств

МЦНМО, 2017 г.
ISBN 978-5-4439-0943-1

Доступно
1 из 1

Книга
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 2: Языки исчисления

МЦНМО, 2017 г.
ISBN 978-5-4439-0944-8

Экз. чит. зала

Книга
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 3: Вычислимые функции

МЦНМО, 2012 г.
ISBN 978-5-4439-0014-8

Электронный ресурс (аналит. описание)
Байсалов, Ержан Рахметтоллаевич
Линейно минимальные йордановы алгебры характеристики, отличной от 2
б.г.
ISBN отсутствует

Доступно
1 из 1

Книга
Лыскова, Вероника Юрьевна
Логика в информатике: [Пособие]

Серия: Информатика в школе

Информатика и образование, 1999 г.
ISBN 5-900618-13-7

Доступно
3 из 3

Книга
Лыскова, Вероника Юрьевна
Логика в информатике: Методическое пособие

Серия: Информатика

Лаборатория Базовых Знаний, 2001 г.
ISBN 5-93208-105-8

Доступно
1 из 1

Книга
Ковальски, Роберт
Логика в решении проблем

Серия: Проблемы искусственного интеллекта

Физматлит, 1990 г.
ISBN 5-02-014148-8

Книга (аналит. описание)
Аншаков, Олег Матвеевич
Логика Д. А. Бочвара и анализ теоретико-множественных парадоксов сверток
б.г.
ISBN отсутствует

Доступно
2 из 2

Книга
Грассман, Герман
Логика и философия математики: Избр.

Серия: Памятники философской мысли

Наука, 2008 г.
ISBN 978-5-02-033858-6

Экз. чит. зала

Книга
Хилтон, Алиса Мери
Логика и цепи переключения: Сокр. пер. с англ.

Серия: Библиотека по автоматике

Госэнергоиздат, 1962 г.
ISBN отсутствует

Доступно
1 из 1

Книга
Грэй, Питер
Логика, алгебра и базы данных
Машиностроение, 1989 г.
ISBN 5-217-00178-X

Экз. чит. зала

Книга
Лексаченко, Валентин Александрович
Логика. Множества. Вероятность
Вузовская книга, 2001 г.
ISBN 5-89522-134-3

Доступно
3 из 3

Книга
Карпенко, Александр Степанович
Логики Лукасевича и простые числа
Наука, 2000 г.
ISBN 5-02-013048-6

Доступно
1 из 2

Книга
Кэрролл, Льюис
Логическая игра

Серия: Библиотечка Квант

Наука, 1991 г.
ISBN 5-02-014220-4

Электронный ресурс (аналит. описание)

Логическая подготовка будущих учителей математики: виртуальная выставка
2016 г.
ISBN отсутствует

Книга (аналит. описание)
Матросов, Виктор Леонидович
Логическая подготовка будущих учителей математики: традиции и инновации
б.г.
ISBN отсутствует

Электронный ресурс (аналит. описание)
Матросов, Виктор Леонидович
Логическая подготовка будущих учителей математики: традиции и инновации
б.г.
ISBN отсутствует

Электронный ресурс (аналит. описание)

Логическая подготовка учителя математики в высшей школе: Библиографический список (1959-2014)
2016 г.
ISBN отсутствует

Экз. чит. зала

Книга
Раскина, Инесса Владимировна
Логические задачи

Серия: Школьные математические кружки

МЦНМО, 2018 г.
ISBN 978-5-4439-2683-4

Доступно
1 из 3

Книга
Богомолова, Ольга Борисовна
Логические задачи

Серия: Задачник

Бином. Лаборатория знаний, 2009 г.
ISBN 978-5-9963-0082-2

Экз. чит. зала

Книга

Логические и логико-математическиуе исчисления. 2: Сб. работ

Серия: Труды Математического института им. В. А. Стеклова

Наука. Ленингр. отд-ние, 1972 г.
ISBN отсутствует