Приложение
для AndroidПолное описание
Задачи по математической логике и теории алгоритмов : учебное пособие / Ю. В. Елисеева [и др.] ; Московский государственный технологический университет "СТАНКИН" (ФГБОУ ВО "МГТУ "СТАНКИН"). - Москва : Янус-К, 2017. - 80 с. - Библиогр.: с. 68 (8 назв.). - 300 экз. - ISBN 978-5-8037-0725-7 : 200 р. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.03.19 | 510(076.1) | |
| 27.03.45 |
Рубрики:
Математическая логика -- Учебники и пособия
Алгоритмы -- Учебники и пособия
Доп. точки доступа:
Елисеева, Ю.В.
Красикова, Е.М.
Костылев, В.Г.
Уварова, Л.А.
Московский государственный технологический университет "СТАНКИН"
Имеются экземпляры в отделах: всего 2 : ХРЦ (2)
Свободны: ХРЦ (2)
Задачи по математической логике и теории алгоритмов : учебное пособие / Ю. В. Елисеева [и др.], 2017. - 80 с.Ривкин А.В. Учет контактной жесткости затянутых стыков при моделировании точности расточных станков : [монография] / А. В. Ривкин, 2017. - 126 с.Техническое творчество молодёжи : научно-практический образовательный журнал / Московский государственный технологический университет "СТАНКИН". - Журнал выходит с 2000г. - Текст : непосредственный.Основы твердотельного моделирования в системе T-FLEX CAD 3D : учебное пособие / В. А. Гончарова [и др.], 2018. - 127 с. - Текст : непосредственный.Чеканин А.В. Прикладная механика : учебное пособие / А. В. Чеканин, 2018. - 80 с.Исследование, расчет параметров и конструирование зубчато-ременных передач : монография / М. О. Арбузов [и др.], 2018. - 164 с. - Текст : непосредственный.Интегрированные CAD/CAM системы и управление станками с ЧПУ. Управление станками и CAM-системы : учебное пособие / А. Н. Соболев [и др.], 2018. - 235 с.Механика и управление : учебное пособие / А. В. Ривкин [и др.], 2018. - 138 с.Поливанов А.Ю. Микропроцессорная техника в мехатронике и робототехнике : учебное пособие / А. Ю. Поливанов, 2018. - 103 с.Филатов В.В. Моделирование электрических цепей : учебное пособие / В. В. Филатов, М. В. Чумаева, 2018. - 231 с.Шарц А.А. Спектральное представление сигналов и элементы Фурье-анализа : учебное пособие / А. А. Шарц, 2018. - 53 с.Петросян Н.С. Элементы теории функций комплексной переменной : учебное пособие / Н. С. Петросян, Н. Б. Малышева, Е. А. Девятерикова, 2018. - 103 с.Девятерикова Е.А. Дифференциальные уравнения с частными производными. Задачи и упражнения : учебное пособие / Е. А. Девятерикова, Н. С. Петросян, 2018. - 57 с.Обеспечение безопасности воздушной среды рабочей зоны производственного помещения : учебное пособие / Е. В. Бутримова [и др.], 2018. - 67 с. - Текст : непосредственный.Повышение эффективности проектирования и изготовления элементов многоконтактных соединений деталей машин : монография / А. Я. Некрасов [и др.], 2018. - 148 с.Основы технологии машиностроения : практические занятия и лабораторные работы : учебное пособие / В. А. Тимирязев [и др.] ; под общей редакцией В. А. Тимирязева, 2018. - 155 с.Шинкевич И.А. Экономический анализ деятельности предприятия : учебное пособие / И. А. Шинкевич, 2018. - 102 с.Бубнова Т.В. Решение дифференциальных уравнений : учебное пособие / Т. В. Бубнова, Ю. А. Виноградова, А. Г. Господинова, 2018. - 79 с.Основные аспекты гуманизации высшего технического образования в условиях цифровой экономики : коллективная монография / Т. Ю. Павельева [и др.] ; [под редакцией С. Б. Шитова], 2018. - 94 с. - Текст : непосредственный.Копылов С.А. Управление рисками при осуществлении внебюджетной деятельности образовательной организации : монография / С. А. Копылов, Д. М. Копылова, А. А. Харин, 2018. - 66 с. - Текст : непосредственный.
Показать все результатыАхтямов Р.Б. Сложностные свойства индексных множеств : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.06 / Р. Б. Ахтямов, 1991. - 16 с. - Текст : непосредственный.Федоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Заурбеков С.С. Оценки алгоритмической сложности некоторых семантических классов предложений : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. С. Заурбеков, 1991. - 10 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Белякин Н.В. Теория вычислений с оракулами и рекурсивных иерархий : Автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:01.01.06 / Н. В. Белякин, 1992. - 23 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Чашкин А.В. О сложности булевых матриц : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Чашкин, 1994. - 12 с. - Текст : непосредственный.Белеградек О.В. Теория моделей унитреугольных и экзистенциально замкнутых групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / О. В. Белеградек, 1995. - 32 с. - Текст : непосредственный.Хомич В.И. Проблема отделимости в пропозициональных исчислениях : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / В. И. Хомич, 1995. - 27 с. - Текст : непосредственный.Машурян А.С. Исследование рекурсивных схем на конечных моделях некоторых нетрадиционных арифметических теорий : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / А. С. Машурян, 1995. - 14 с. - Текст : непосредственный.Верещагин Н.К. Релятивизуемость в структурной теории сложности вычислений : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Н. К. Верещагин, 1995. - 25 с. - Текст : непосредственный.
Показать все результатыЛавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И.А.Лавров,Л.Л.Максимова, 1995. - 255 c. - Текст : непосредственный.Никольская И.Л. Знакомство с математической логикой : Учеб.-метод. пособие / И.Л.Никольская, 1998. - 128 с. - Текст : непосредственный.Кузьмин О.В. Логические задачи : Учеб. пособие / О.В.Кузьмин, 1999. - 204 с. - Текст : непосредственный.Кусраев А.Г. Нерешенные нестандартные задачи / А.Г.Кусраев,С.С.Кутателадзе, 2000. - 19 с. - Текст : непосредственный.Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И.А.Лавров,Л.Л.Максимова, 2001. - 255 с. - Текст : непосредственный.Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И.А.Лавров,Л.Л.Максимова, 2002. - 255 с. - Текст : непосредственный.Романов В.Ф. Математическая логика и теория алгоритмов : Задачник / В.Ф.Романов, 2003. - 23 с. - Текст : непосредственный.Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И.А.Лавров,Л.Л.Максимова, 2004. - 255 с. - Текст : непосредственный.Самойленко А.П. Математическая логика и теория алгоритмов в примерах и задачах : Учеб. пособие / А.П.Самойленко,О.А.Усенко;Под ред. Л.Ф.Беловой, 2004. - 258 с. - Текст : непосредственный.Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие для студентов высш. учеб. заведений / В.И. Игошин, 2005. - 303 с. - Текст : непосредственный.Комбинаторные методы решения логических задач : Учеб. пособие / О. В. Кузьмин, 2006. - 189 с. - Текст : непосредственный.Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие / В. И. Игошин, 2007. - 303 с. - Текст : непосредственный.Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 2006. - 255 с. - Текст : непосредственный.Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : учебное пособие / М. М. Глухов [и др.], 2008. - 111 с. - Текст : непосредственный.Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие / В. И. Игошин, 2008. - 303 с. - Текст : непосредственный.Математическая логика и теория алгоритмов в примерах и задачах : Учеб. пособие для студентов специальностей 210100(220201), 072000 (200503), 210200 / Ю. И. Галушкина, 2009. - 112 с. - Текст : непосредственный.Кравченко А.В. Сборник задач по математической логике (исчисления предикатов, теория моделей, теория вычислимости) : учеб. пособие / А. В. Кравченко, О. В. Кудинов, 2014. - 75 с.Задачник-практикум по математической логике и дискретной математике : учеб. пособие / Е. В. Малютина [и др.], 2015. - 102 с.Ашаев И.В. Дискретная математика и математическая логика в задачах государственных экзаменов по математике в ОмГУ : учеб. пособие / И. В. Ашаев, Ю. М. Ашаева, 2016. - 121 с. - Текст : непосредственный.Задачи по математической логике и теории алгоритмов : учебное пособие / Ю. В. Елисеева [и др.], 2017. - 80 с.
Показать все результатыЗаказ фрагмента документа ₽