Уилкинсон, Райнш. Справочник алгоритмов на языке АЛГОЛ : Линейная алгебра : пер. с англ. / Р. Уилкинсон ; ред. Ю. И. Топчеев ; пер.: С. П. Забродина, В. Г. Потемкина, П. И. Рудакова. - М. : Машиностроение, 1976. - 389 с. - Б. ц.. - Текст : непосредственный.
Аннотация: В книге приведены алгоритмы решения всех основных задач линейной алгебры. Соответствующие алгоритмы реализованы в виде процедур на алгоритмическом языке АЛГОЛ-60, сопровождаемых тестовыми задачами. Особый интерес для специалистов по теории управления представляют алгоритмы решения полной проблемы собственных значений для произвольных матриц.
Доп.точки доступа: Топчеев, Ю.И. \ред.\; Забродина, С.П. \пер.\; Потемкина, В.Г. \пер.\; Рудакова, П.И. \пер.\
АБ Свободных экз. нет Количество выдач: 0000000
Транспортные узлы : определение мощности устройств / ред.: К. Ю. Скалов, М. Н. Стефаненко, Н. Ф. Попова. - М. : Транспорт, 1985. - 200 с. - 0.55 р. - Текст : непосредственный.
Аннотация: В книге излагаются основные методики расчета мощности устройств железнодорожного, водного, промышленного и других видов транспорта в транспортных узлах. Приводится экономико-математические модели и алгоритмы расчета мощности транспортных и грузовых устройств.
Дмитренко, Иван Ермолаевич. Техническая диагностика и автоконтроль систем железнодорожной автоматики и телемеханики / И. Е. Дмитренко. - 2-е изд., перераб. и доп. - М. : Транспорт, 1986. - 141 с. - Библиогр.: с. 139-140 (21 назв.). - 0.45 р. - Текст : непосредственный. Содержание: Восстанавливаемость и основные методы поиска неисправностей в устройствах Определение контролируемых параметров в перегонных устройствах Теория и функциональные алгоритмы выбора контролируемых параметров в станционных устройствах Принципы построения диагностических датчиков Принципы построения и эффективность системы технического диагностирования Приложение 1. Схемы включения датчиков в устройствах частотной, импульсно- проводной АБ, АПС и релейной ПАБ системы ГТСС Приложение 2. Схемы включения датчиков в устройствах электропитания ЭЦ
Москвитина, Алла Алексеевна. Бейсик : учеб. пособие для ССУЗов / А. А. Москвитина, В. С. Новичков. - М. : Высш. шк., 1989. - 192 с. - (Алгоритмические языки в техникуме). - ISBN 5-06-000141-5 : . - Текст : непосредственный.
Сорокин, В. В. Задачи химических олимпиад : Принципы и алгоритмы решений / В. В. Сорокин, В. В. Загорский, И. В. Свитанько ; ред. Е. М. Соколовская. - М. : Изд-во МГУ, 1989. - 256 с. - ISBN 5-211-00410-8 : . - Текст : непосредственный. Содержание: Предисловие Введение Расчёты с использованием данных о составе и состоянии вещества Решение задач с составлением двух и более пропорций Определение формулы неизвестного вещества с использованием количественных данных Задачи на знание химических свойств и химическую эрудицию Задачи на распознавание веществ Задачи на получение и синтез новых веществ Задачи на проведение расчётов и качественный анализ Программа для решения расчётных задач по химии с помощью компьютера Примеры заданий международных химических олимпиад Литература
Пак, Мария. Алгоритмы в обучении химии : методические рекомендации / М. Пак. - М. : Просвещение, 1993. - 64 с. - ISBN 5-09-004510-0 : . - Текст : непосредственный.
Ефимов, Александр Васильевич. Надежность и диагностика систем электроснабжения железных дорог : учебник для студентов вузов железнодорожного транспорта / А. В. Ефимов, А. Г. Галкин ; рец. А. И. Гуков [и др.]. - Москва : УМК МПС России, 2000. - 512 с. on-line - Вид и объём ресурса: Электрон. текстовые дан. - Систем. требования: Internet Explorer 4.0.2 и выше. - ЭБ «УМЦ ЖДТ». - ISBN 5-89035-022-6 : Б. ц.. - Текст : электронный. Содержание: Основы теории надежности Эксплуатационная надежность устройств электроснабжения Стратегия технического обслуживания Диагностика Приложения
Рубрики: электрификация транспорта Кл.слова (ненормированные): ЭЛЕКТРОСНАБЖЕНИЕ ЖЕЛЕЗНЫХ ДОРОГ -- НАДЕЖНОСТЬ УСТРОЙСТВ -- ДИАГНОСТИКА Аннотация: Рассмотрены основы теории надежности, модели отказов, расчеты структурной и функциональной надежности систем, вопросы резервирования, эксплуатационная надежность и виды отказов устройств электроснабжения железных дорог. Описаны процессы деградации, износа и разрегулировок и их математические модели. Приведены стратегии технического обслуживания. Изложены основные положения диагностики, модели объектов и алгоритмы диагностирования. Описаны современные средства диагностирования, применяемые в системах электроснабжения железных дорог. В книге приведены примеры расчетов и программы для их решения на ЭВМ.
Для просмотра полного текста, пожалуйста, авторизируйтесь.
Доп.точки доступа: Галкин, Александр Геннадьевич; Гуков, А. И. \рец.\; Жарков, Ю. И. \рец.\; Кувичинский, А. Н. \рец.\
Свободных экз. нет Количество выдач: 0000000
Федоренко, Ю. Алгоритмы и программы на Turbo Pascal. Учебный курс / Ю. Федоренко. - СПб. : Питер, 2001. - 240 с. : ил. - ISBN 5-318-00102-5 : . - Текст : непосредственный.
Немнюгин, Сергей Андреевич. Turbo Pascal : практикум / С. А. Немнюгин. - 2-е изд. - [Б. м.] : Питер, 2003. - 268 с. : ил. - (Учебное пособие). - ISBN 5-94723-702-4 : 97.00 р. - Текст : непосредственный. Издательская программа 300 лучших учебников для высшей школы в честь 300-летия Санкт-Петербурга Содержание: Этапы разработки программы, алгоритмы, системы счисления Практическая работа в интегрированной среде Turbo Pascal Программирование основных конструкций языка Pascal Структурные типы данных и совместимость типов Функции, процедуры, модули Динамические структуры данных Объектно-ориентированное программирование Двумерная графика Трехмерная графика и анимация Рекурсия и другие вопросы Темы курсовых работ по программированию на языке Turbo Pascal : Приложение А Коды ошибок выполнения программы : Приложение Б Ресурсы Интернета для программиста на языке Pascal : Приложение В
Четвергов, Виталий Алексеевич. Надежность локомотивов : учебник для студентов вузов железнодорожного транспорта / В. А. Четвергов, А. Д. Пузанков ; под редакцией В. А. Четвергова ; рец. Е. В. Козаченко [и др.]. - Москва : Маршрут, 2003. - 415 с. on-line - Вид и объём ресурса: Электрон. текстовые дан. - (Высшее профессиональное образование). - Систем. требования: Internet Explorer 4.0.2 и выше. - ЭБ «УМЦ ЖДТ». - ISBN 5-89035-083-8 : Б. ц.. - Текст : электронный. Содержание: Введение . - С .3-4 Научно-технический прогресс и проблема надежности техники : глава 1. - С .5-23 Краткие сведения из теории вероятностей и математической статистики : глава 2. - С .24-55 Физические основы надежности : глава 3. - С .56-78 Количественные показатели надежности локомотивов : глава 4. - С .79-99 Модели отказов элементов конструкции локомотивов : глава 5. - С .100-128 Методы расчета и анализа структурной надежности локомотива, его узлов и деталей : глава 6. - С .129-149 Методы обеспечения требуемого уровня надежности механической части локомотива на этапе проектирования : глава 7. - С .150-205 Обеспечение расчетного уровня надежности при изготовлении локомотивов : глава 8. - С .206-245 Экономическая оценка оптимальной надежности локомотива на стадии проектирования : глава 9. - С .246-312 Анализ надежности локомотивов в эксплуатации : глава 10. - С .313-356 Совершенствование системы технического обслуживания и ремонта локомотивов для обеспечения их надежности в эксплуатации : глава 11. - С .357-403
Рубрики: Подвижной состав--Локомотивы--Надежность Кл.слова (ненормированные): СТАРЕНИЕ МАТЕРИАЛОВ -- ВИДЫ ОТКАЗОВ, КЛАССИФИКАЦИЯ -- ПОКАЗАТЕЛИ НАДЕЖНОСТИ -- ЭКОНОМИЧЕСКИЙ ЭФФЕКТ -- МЕЖРЕМОНТНЫЙ ПЕРИОД Аннотация: В учебнике изложены основные теоретические положения количественной оценки показателей надежности тягового подвижного состава, его узлов и деталей. Указаны основные пути повышения качества изготовления локомотивов, оптимизации их уровня надежности на стадии проектирования и изготовления. Приведены базовые алгоритмы совершенствования системы технического обслуживания и ремонта локомотивов путем оптимизации параметров их ремонтного цикла. Рассмотрены приемы обеспечения требуемого уровня надежности локомотивов в процессе эксплуатации и ремонтного обслуживания. Учебник предназначен для студентов вузов, будет полезен инженерно-техническим работникам, занимающимся эксплуатацией и ремонтом тягового подвижного состава, а также преподавателям и студентам техникумов и колледжей железнодорожного транспорта.
Для просмотра полного текста, пожалуйста, авторизируйтесь.
Доп.точки доступа: Пузанков, Александр Дмитриевич; Четвергов, Виталий Алексеевич (проф.) \ред.\; Козаченко, Е. В. \рец.\; Бородин, А. П. \рец.\; Азаренко, В. А. \рец.\
Свободных экз. нет Количество выдач: 0000000
Основы теории надежности(ОсТН1). Основы теории надежности(ОТН). Надежность подвижного состава(НадПодС1). Основы теории надежности(ОсТН4).
Напр.
Спец.
УП/Д
Фак.
Каф.Ч.
Сем.
ФО
Тип
23.03.03
ЭТТП.4_2019
ОСТН1/2
ФО
ЭЖД
2
Д/О
Осн
23.03.03
ЭТТП.4_2021
ФО
ЭЖД
5
Д/О
Осн
23.03.03
ЭТТП.4_2023
ОТН/1
ФО
ЭЖД
5
Д/О
Осн
190300.65
ПСЖ.3
НАДПОДС1/2
ФТС
ЭЖД
7
Д/О
Доп
23.05.03
ПСЖ.3Z
ОсТН4/6
ФЗ
ЭЖД
8
З/О
Осн
11.
629.4 С14
Сакало, Владимир Иванович. Контактные задачи железнодорожного транспорта : научное издание / В. И. Сакало, В. С. Коссов. - М. : Машиностроение, 2004. - 496 с. : ил. - ISBN 5-217-03211-1 : 330.00 р., 280 р. - Текст : непосредственный. Содержание: Герцевский контакт упругих тел Численные методы решения контактных задач Алгоритмы решения контактных задач методом конечных элементов Быстрые алгоритмы решения контактных задач Релаксационная схема метода конечных элементов Особенности решения контактных задач в железнодорожном транспорте Контактные напряжения в деталях колесных пар Расчет буксовых узлов Контакт колеса и рельса Решение контактных задач с учетом шероховатости поверхностей Износ поверхностей катания колеса и рельса
Немнюгин, Сергей Андреевич. Turbo Pascal. Программирование на языке высокого уровня : учебник для вузов / С. А. Немнюгин. - 2-е изд. - Санкт-Петербург : Питер, 2005. - 544 с. : ил. - ISBN 5-94723-509-9 : 164.00 р. - Текст : непосредственный. Содержание: Компьютеры, алгоритмы и языки программирования : глава 1. - С .14 Введение в Паскаль : глава 2. - С .55 Первые программы, ввод-вывод, функции : глава 3. - С .75 Процедуры, символьный и строковый типы : глава 4. - С .99 Массивы, множества. Целый, логический и вещественный типы : глава 5. - С .125 Работа с типами данных, файлы и записи : глава 6. - С .147 Указатели и работа с памятью : глава 7. - С .175 Операционная система MS-DOS и модуль Dos Турбо Паскаля : глава 8. - С .199 Элементы системного программирования на языке Паскаль : глава 9. - С .217 Основы программирования графики : глава 10. - С .249 Принципы программирования графики : глава 11. - С .284 Графика VGA, программирование трехмерных и динамических изображений : глава 12. - С .307 Рекурсия и рекурсивные алгоритмы : глава 13. - С .355 Программирование звука : глава 14. - С .381 Введение в объективно-ориентированное программирование : глава 15. - С .406 Турбо Паскаль для вычислений : глава 16. - С .426 Турбо Паскаль для вычислений. Интегралы и дифференциальные уравнения : глава 17. - С .457 Работа в интегрированной среде Турбо Паскаля : приложение А. - С .485 Список некоторых прерываний DOS и BIOS : приложение Б. - С .490 Ответы и решения : приложение В. - С .500 Паскаль: его реализации и "наследники" : приложение Г. - С .520 Литература : приложение Д. - С .526
Аннотация: Второе издание учебника расширено и дополнено новыми материалами и практическими примерами. В нем дается и подробное изложение основ программирования в системе Турбо Паскаль. Рассматриваются элементы системного и объектно-ориентированного программирования, а также программирование графики и звука. Книга содержит большое число исходных текстов программ с подробными комментариями, упражнения для самостоятельного решения и ответы к ним.
Для просмотра полного текста, пожалуйста, авторизируйтесь.
Экземпляры всего: 10 АБ (10) Свободны: АБ (10) Количество выдач: 3
Программирование(ПРОГ). Алгоритмы и структуры данных(АСД).
Напр.
Спец.
УП/Д
Фак.
Каф.Ч.
Сем.
ФО
Тип
09.03.01
ИВТ.1
ПРОГ/1
ФО
СОД
2
Д/О
Доп
09.03.01
ИВТ.1
АСД/1
ФО
СОД
3
Д/О
Доп
13.
657 К56
Ковалев, В. В. Финансовая отчетность. Анализ финансовой отчетности (основы балансоведения) : учебное пособие / В. В. Ковалев, Вит. В. Ковалев. - 2-е изд., испр. и доп. - Москва : Велбии : Проспект, 2005. - 432 с. - ISBN 5-482-00094-Х : 215.00 р. - Текст : непосредственный. Содержание: Финансовая отчетность как средство коммуникации Финансовая отчетность: состав, структура, системообразующие элементы Экономическая интерпретация основных статей финансовой отчетности Техника составления финансовой отчетности Консолидированная отчетность: сущность и процедуры Отчетность и пользователь: условности интерпретации Методы анализа отчетных данных Анализ отчетности в системе финансового анализа Индикаторы оценки экономического потенциала фирмы: алгоритмы расчета и интерпретация Индикаторы оценки результативности деятельности фирмы: алгоритмы расчета и интерпретация Балансоведение и микроэкономический анализ в исторической ретроспективе
Вержбицкий, Валентин Михайлович. Численные методы : Линейная алгебра и нелинейные уравнения : учеб. пособие для ВУЗов / В. М. Вержбицкий. - 2-е изд., испр. - М. : ОНИКС 21 век, 2005. - 432 с. : ил. - ISBN 5-329-01110-8 : 149.00 р. - Текст : непосредственный. Содержание: Предисловие Об учете погрешностей приближенных вычислений : Глава 1 Решение систем линейных алгебраических уравнений (прямые методы) : Глава 2 Итерационные методы решения линейных алгебраических систем и обращения матриц : Глава 3 Методы решения алгебраических проблем собственных значений : Глава 4 Ортогональное разложение матриц и его применения : Глава 5 Сингулярное разложение прямоугольных матриц : Глава 6 Методы решения нелинейных скалярных уравнений : Глава 7 Скалярная задача о неподвижной точке. Алгебраические уравнения : Глава 8 Методы решения систем нелинейных уравнений : Глава 9 Приложение 1. Краткие сведения о нормах векторов и матриц Приложение 2. Производные векторных функций Приложение 3. Образцы постановок лабораторных заданий Литература Предметный указатель Указатель обозначений и сокращений
Аннотация: В книге последовательно излагаются численные методы решения систем линейных алгебраических уравнений, обращения матриц, полной и частичной алгебраических проблем собственных значений; рассматриваются алгоритмы ортогонального и сингулярного разложения матриц, а также методы решения нелинейных скалярных уравнений и систем таких уравнений.
Для просмотра полного текста, пожалуйста, авторизируйтесь.
Голицына, Ольга Леонидовна. Программное обеспечение : учеб. пособие для ССУЗов / О. Л. Голицына, Т. Л. Партыка, И. И. Попов. - М. : ФОРУМ : ИНФРА-М, 2006. - 432 с. : ил. - (Профессиональное образование). - ISBN 5-8199-0210-6 (ФОРУМ). - ISBN 5-16-002451-4 (ИНФРА-М) : . - Текст : непосредственный. Содержание: Программное обеспечение: основные принципы и структура Операционные системы Программирование, языки программирования Прикладные программные продукты. Инструментальные средства конечного пользователя Программные оболочки информационных систем Программные средства коммуникации и удаленного доступа
Аннотация: Рассмотрены состав и структура программного обеспечения ЭВМ, в том числе — прикладное и системное программное обеспечение. Изложены основные принципы ПО (алгоритмы, логические функции, структура информации) и основные классы программных средств. Рассмотрены операционные системы, системы программирования, широкий спектр прикладных программных средств, в том числе текстовые, графические редакторы, средства обработки аудио- и видеоинформации, оболочки информационных систем, средства телекоммуникации. Для студентов экономических специальностей.
Для просмотра полного текста, пожалуйста, авторизируйтесь.
Доп.точки доступа: Партыка, Татьяна Леонидовна; Попов, Игорь Иванович
АБ Свободных экз. нет Количество выдач: 0000000
Ерофеев, Анатолий Александрович. Теория автоматического управления : учеб. пособие для ВУЗов / А. А. Ерофеев. - 3-е изд., стер. - СПб. : Политехника, 2008. - 302 с. - (Учебное пособие для ВУЗов). - ISBN 978-5-7325-0903-8 : 275.00 р. - Текст : непосредственный. Содержание: От автора Предисловие Основные понятия и общие принципы построения автоматических систем Математические основы теории автоматического управления Динамические свойства звеньев САУ и их характеристики Анализ одномерных САУ. Алгоритмические схемы САУ Стационарные динамические режимы САУ при случайных воздействиях Устойчивость САУ Качество процессов управления Коррекция свойств САУ Алгоритмы и программы управления в САУ Синтез и проектирование САУ Особые САУ Приложение Список литературы
Теория автоматического управления(ТАУ). Теория автоматического управления(ТАУ1). Теория автоматического управления(ТАУ2). Теория систем автоматического управления(ТСАУ1). Теория систем автоматического управления(ТСАУ2).
Напр.
Спец.
УП/Д
Фак.
Каф.Ч.
Сем.
ФО
Тип
23.05.05
СОД.1_2019
ТАУ/2
ФО
СОД
5
Д/О
Доп
23.05.05
СОД.2_2019
ТАУ/1
ФО
СОД
5
Д/О
Доп
23.05.05
СОД.1_2023
ФО
СОД
5
Д/О
Доп
23.05.05
СОД.2_2023
ФО
СОД
5
Д/О
Доп
09.03.01
ИВТ.1
ТАУ1/1
ФО
СОД
5
Д/О
Доп
23.05.03
ПСЖ.3Z
ТАУ2/1
ФЗ
СОД
8
З/О
Осн
190300.65
ПСЖ.2
ТСАУ1/1
ФТС
ЭЖД
9
Д/О
Осн
190300.65
ПСЖ.3
ТСАУ1/2
ФТС
ЭЖД
9
Д/О
Доп
23.05.03
ПСЖ.2
ТСАУ2/1
ФТС
ИрГУПС
9
Д/О
Доп
17.
621.8 Б 90
Булгаков, Алексей Григорьевич. Промышленные роботы. Кинематика, динамика, контроль и управление : монография / А. Г. Булгаков, В. А. Воробьев. - Москва : СОЛОН-Пресс, 2008. - 488 с. on-line - Вид и объём ресурса: Электрон. текстовые дан. - (Библиотека инженера). - Систем. требования: Internet Explorer 4.0.2 и выше. - Университетская библиотека online. - ISBN ISBN 978-5-91359-013-8 : Б. ц.. - Текст : электронный. Содержание: Особенность и эффективность роботизации в строительстве . - С .5-25 Манипуляционные системы строительных роботов . - С .26-77 Информационно-измерительные системы строительных роботов . - С .78-126 Планирование траекторий движения робота при выполнении операций . - С .127-175 Управление строительными роботами . - С .176-226 Роботизация и автоматизация земляных работ . - С .227-256 Роботизация установки и монтажа строительных блоков и элементов . - С .257-299 Автоматизация и роботизация бетонных работ . - С .300-324 Роботы и роботизированные комплексы для отделочных работ . - С .325-367 Автоматизация и роботизация работ в подземном строительстве . - С .368-425 Роботизация строительных операций . - С .426-469 Заключение . - С .470-472 Список литературы . - С .473-481
Рубрики: Робототехника Кл.слова (ненормированные): МАНИПУЛЯЦИОННЫЕ СИСТЕМЫ -- СТРОИТЕЛЬНЫЙ РОБОТ -- СЕНСОРНОЕ УСТРОЙСТВО -- ТОННЕЛИ -- СТРОИТЕЛЬНАЯ ТЕХНИКА -- МИНИ-КРАН -- КРАН-МАНИПУЛЯТОР -- ЭКСКАВАТОР -- БУЛЬДОЗЕР -- ПОГРУЗЧИК -- РОБОТЫ, УПРАВЛЕНИЕ -- РОБОТЫ, ПРОГРАММИРОВАНИЕ Аннотация: В монографии изложены теоретические основы адаптации промышленных роботов для целей строительства. Рассмотрены технологические особенности строительных процессов и задачи их роботизации, сформулированы требования к роботизации строительных процессов и представлена структурная организация роботов и РТК для автоматизации строительных процессов. Описаны манипуляционные системы строительных роботов, алгоритмы решения задач кинематики и динамики манипуляторов и приводы промышленных роботов строительного назначения. Особое внимание уделено информационно-измерительным системам строительных роботов. Рассмотрены задачи планирования траекторий движений роботов при выполнении строительных операций и особенности управления строительными роботами. Для инженерно-технических работников строительных, проектных и научных организаций, занимающихся вопросами механизации, роботизации и автоматизации в строительстве, а также для студентов и аспирантов вузов. В монографии изложены теоретические основы адаптации промышленных роботов для целей строительства. Рассмотрены технологические особенности строительных процессов и задачи их роботизации, сформулированы требования к роботизации строительных процессов и представлена структурная организация роботов и РТК для автоматизации строительных процессов. Описаны манипуляционные системы строительных роботов, алгоритмы решения задач кинематики и динамики манипуляторов и приводы промышленных роботов строительного назначения. Особое внимание уделено информационно-измерительным системам строительных роботов. Рассмотрены задачи планирования траекторий движений роботов при выполнении строительных операций и особенности управления строительными роботами. Для инженерно-технических работников строительных, проектных и научных организаций, занимающихся вопросами механизации, роботизации и автоматизации в строительстве, а также для студентов и аспирантов вузов.
Для просмотра полного текста, пожалуйста, авторизируйтесь.
Доп.точки доступа: Воробьев, Владимир Александрович
Свободных экз. нет Количество выдач: 0000000
Матлин, М. М. Роль интенсивно-информационных технологий обучения в организации лекционного процесса / М. М. Матлин, Н. Г. Дудкина. - Текст : непосредственный // Высшее образование в России : Научно-педагогический журнал Комитета по высшей школе Министерства Науки, высшей школы и технической политики РФ / М-во образования РФ. - М. : МГУП, 2009. - N2. - С. 155-157 : табл. - Библиогр. в конце ст.
Мельников, Б. Ф. О некоторых алгоритмах эквивалентного преобразования недетерминированных конечных автоматов / Б. Ф. Мельников, М. Р. Сайфуллина. - Текст : непосредственный // Известия ВУЗов. Сер, Математика. - 2009. - N 4. - С. 67-71. - Библиогр. в конце ст
. - ISSN 0021-3446
Рубрики: Автоматов теория Кл.слова (ненормированные): автоматы недетерминированные -- преобразование эквивалентное -- автомат расширенный -- НКА -- автоматы конечные Аннотация: В данной статье рассматриваются алгоритмы, позволяющие объединять несколько состояний недетерминированного конечного автомата в одно. Кроме алгоритмов объединения состояний, в настоящей статье рассмотрен еще один алгоритм эквивалентного преобразования недетерминированного конечного автомата, а именно, алгоритм добавления циклов. Вопросы, рассмотренные авторами, ориентированы на создание эффективных компьютерных программ
Доп.точки доступа: Сайфуллина, М. Р. Нет сведений об экземплярах (Источник в БД не найден)
Калимуллин, И. Ш. Соотношения между алгоритмическими сводимостями алгебраических систем / И. Ш. Калимуллин. - Текст : непосредственный // Изв. высш. учеб. заведений. Серия, Математика. - 2009. - N 6. - С. 71-73
. - ISSN 0021-3446
г. Красноярск, ул. Новая Заря, 2И
+7 (391) 248-16-44 (доб. 2118, 2033, 2034, 2035) 
51
Национальная электронная библиотека
Электронно-библиотечная система
Университетская библиотека ONLINE
Образовательная платформа Юрайт
Электронная Библиотека Учебно-методического центра по образованию на железнодорожном транспорте