| № | Дата |
Автор |
Заглавие |
|---|
|
1992 |
Крот, Александр Михайлович (доктор технических наук ; род. 1960) |
К вопросу о реализации быстрых алгоритмов собственных преобразований операторов свертки в поле действительных чисел / А. М. Крот, М. Н. Долгих |
|
1987 |
Блох, Абрам Шлемович (доктор технических наук) |
Граф-схемы и алгоритмы : учебное пособие для физико-математических факультетов педагогических институтов / А. Ш. Блох |
|
1993 |
Соловьев, Валерий Дмитриевич |
Абстрактная теория вычислимости: программистский подход |
|
2004 |
Шурыгин, Виктор Афанасьевич |
Основы конструктивного математического анализа / В.А.Шурыгин |
|
2009 |
Поттосина, Светлана Анатольевна |
Основы дискретной математики и теории алгоритмов : практикум для студентов специальности "Информационные системы и технологии в экономике" всех форм обучения / С. А. Поттосина, Т. Г. Пинчук ; Министерство образования Республики Беларусь, Учреждение образования "Белорусский государственный университет информатики и радиоэлектроники", Кафедра экономической информатики |
|
2003 |
|
Computability and models : perspectives East a. West / [ed. by] S. Barry Cooper, Sergey S. Goncharov |
|
2007 |
Тюленев-Лисовик, Леонид Петрович (род. 1948) |
Теория трансдьюсеров : [монография] / Л.П. Лисовик. — Т. 3. Кн. 6, Функции и аппликативные системы |
|
2008 |
Матрос, Дмитрий Шаевич (доктор педагогических наук ; 1946—2011) |
Теория алгоритмов : учебник для студентов высших учебных заведений, обучающихся по специальности 050202.65(030100) - информатика / Д. Ш. Матрос, Г. Б. Поднебесова |
|
2009 |
Гаврюшкин, Александр Николаевич |
Вычислимые модели Эренфойхтовых теорий : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Гаврюшкин Александр Николаевич ; [Новосибирский государственный университет] |
|
2009 |
Зубков, Максим Витальевич |
Вычислимые линейные порядки и η-представимость : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Зубков Максим Витальевич ; [ГОУ ВПО "Казанский государственный университет им. В. И. Ульянова-Ленина"] |
|
2010 |
Соболев, Михаил Сергеевич |
Моделирование многокомпонентных систем при помощи взаимодействующих Х-машин : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.18 / Соболев Михаил Сергеевич ; [Московский физико-технический институт (государственный университет)] |
|
1981 |
Мощенский, Владимир Андреевич (кандидат физико-математических наук ; род. 1938) |
О существенной сложности тьюринговых вычислений : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Математическая кибернетика / Мощенский Владимир Андреевич ; Вычислительный центр АН СССР |
|
2016 |
Марчук, Маргарита Игоревна |
Определимость и индексные множества моделей автоустойчивых относительно сильных конструктивизаций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Марчук Маргарита Игоревна ; [Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук ] |
|
2016 |
Зайнетдинов, Дамир Хабирович |
Предельно монотонная сводимость и ее структурные свойства : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Зайнетдинов Дамир Хабирович ; [Казанский (Приволжский) федеральный университет] |
|
2008 |
Первышев, Константин Вячеславович |
Иерархии по времени для некоторых классов эвристик, алгоритмов с подсказкой, криптографических примитивов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17 / Первышев Константин Вячеславович ; Санкт-Петербургский государственный университет |
|
2006 |
Тюленев-Лисовик, Леонид Петрович (род. 1948) |
Формальные языки и трансдьюсеры / Л. П. Лисовик. — Т. 2, кн. 1: Вычисления над размеченными деревьями |
|
2009 |
Румянцев, Андрей Юрьевич |
О колмогорской сложности конечных подпоследовательностей в последовательности нулей и единиц : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Румянцев Андрей Юрьевич ; Московский государственный университет им. М. В. Ломоносова |
|
2011 |
Файзрахманов, Марат Хайдарович |
Тьюринговые скачки в иерархии Ершова : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Файзрахманов Марат Хайдарович ; [Федеральное государственное автономное образовательное учреждение высшего профессионального образования "Казанский (Приволжский) федеральный университет"] |
|
2013 |
Пузаренко, Вадим Григорьевич (кандидат физико-математических наук) |
Натуральные числа и обобщенная вычислимость : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 01.01.06 Мтематическая логика, алгебра и теория чисел / Пузаренко Вадим Григорьевич ; [Институт математики им. С. Л. Соболева Сибирского отделения РАН] |
|
2014 |
Цветков, Игорь Анатольевич (доктор технических наук ; род. 1961) |
Обращающие и удваивающие самопополняемые алгорифмы / И. А. Цветков |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ