В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории..
Нет в наличии
Настоящий том "Лекций" посвящен теории множеств в диапазоне от наивной трактовки проблематики до ее современного (аксиоматического) состояния. Наряду с..
Нет в наличии
Данное пособие содержит обширную коллекцию упражнений и задач по всем классическим разделам арифметики и теории чисел (теория делимости, простые и составные..
Нет в наличии
В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка..
Нет в наличии
Эта книга написана признанным авторитетом в области компьютерных алгоритмов - профессором информатики Томасом Корменом, чей труд "Алгоритмы. Построение и..
Нет в наличии
В учебном пособии изложены основные постулаты теории нечетких множеств, а также описаны технологии их использования при формализации различных экономических..
Нет в наличии
Учебник представляет собой готовое решение для методического обеспечения дисциплины "Математическая логика и теория алгоритмов". В учебник включены лекции,..
Нет в наличии
Брошюра посвящена асимптотическим свойствам диаграмм Юнга - картинок на клетчатой бумаге, изображающих разбиение натурального числа в сумму нескольких..
Нет в наличии
Книга представляет собой подробную современную монографию по аналитической теории чисел. Начиная изложение с классических методов и результатов, авторы..
Нет в наличии
Настоящая книга содержит строгое систематическое изложение основ теории некоторых специальных чисел натурального ряда: фигурных чисел, чисел Мерсенна и..
Нет в наличии