Полное описание
Задачи по математической логике и теории алгоритмов : учебное пособие / Ю. В. Елисеева [и др.] ; Московский государственный технологический университет "СТАНКИН" (ФГБОУ ВО "МГТУ "СТАНКИН"). - Москва : Янус-К, 2017. - 80 с. - Библиогр.: с. 68 (8 назв.). - 300 экз. - Текст : непосредственный.
ГРНТИ УДК 27.03.19 510(076.1) 27.03.17
Рубрики: Математическая логика -- Учебники и пособия
Алгоритмы -- Учебники и пособия
Доп. точки доступа: Елисеева, Ю.В.
Красикова, Е.М.
Костылев, В.Г.
Уварова, Л.А.
Московский государственный технологический университет "СТАНКИН"
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-17/52246)
Шифр в сводном ЭК: adfa6e968cf59f71d3f0d7960fef98b3
Кадымов В.А. Дифференциальное исчисление функций одной и нескольких независимых переменных : выставочные материалы / В. А. Кадымов, О. К. Иванова, Е. А. Яновская ; Ред. Л. А. Уварова, 2015. - 79 с. - Текст : непосредственный. Кадымов В.А. Интегральное исчисление функций одной и нескольких независимых переменных : выставочные материалы / В. А. Кадымов, О. К. Иванова, Е. А. Яновская ; Ред. Л. А. Уварова, 2015. - 87 с. - Текст : непосредственный. Прикладная математика. Вводный курс / Л. А. Уварова, Е. Л. Карташева, В. Г. Костылев, 1999. - 325 с. - Текст : непосредственный. Кадымов В.А. Числовые и функциональные ряды и их применение. Ряды Фурье : выставочные материалы / В. А. Кадымов, О. К. Иванова, Е. А. Яновская ; Ред. Л. А. Уварова, 2017. - 110 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Иванова О.К. Обыкновенные дифференциальные уравнения : учебное пособие / О. К. Иванова, Н. В. Иванова, Е. А. Яновская; под редакцией Уваровой Л. А., 2019. - 111 с. - Текст : непосредственный. Линейная алгебра с задачами и приложениями : учебное пособие / В. А. Кадымов, О. К. Иванова, Н. В. Иванова, Е. А. Яновская; под редакцией Л. А. Уварова, 2019. - 127 с. - Текст : непосредственный. Васильева Л.Ю. Моделирование мезо- и нанообъектов в различных средах и полях / Л. Ю. Васильева, Л. А. Уварова, Е. Ю. Романова, 2010. - 201 с. - Текст : непосредственный. Васильева Л.Ю. Некоторые проблемы нанотехнологий. Исследования и моделирование наносистем: нанокомплексов, кластеров и наночастиц : учеб. пособие / Л. Ю. Васильева, Л. А. Уварова, Е. Ю. Романова, 2015. - 153 с. - Текст : непосредственный. Математическое обеспечение моделирования процессов пластического деформирования. Дифференциальное и интегральное исчисление : учебное пособие для студентов вузов / Е. Н. Сосенушкин [и др.]; ред. Л. А. Уварова, 2018. - 127 с. - Текст : непосредственный. Задачи по математической логике и теории алгоритмов : учебное пособие / Ю. В. Елисеева [и др.], 2017. - 80 с. - Текст : непосредственный. Елисеева Ю.В. Сравнительный индекс в математическом моделировании колебаний дискретных симплектических систем / Ю. В. Елисеева, 2011. - 354 с. - Текст : непосредственный. Задачи повышенной сложности по математике : учеб. пособие абитуриентам, поступающих в технические вузы / Моск. гос. технолог. ун-т "СТАНКИН", Каф. приклад. математики, 2015. - 79 с. - Текст : непосредственный. Кадымов В.А. Обыкновенные дифференциальные уравнения. Методы решения : учеб. пособие / В. А. Кадымов, О. К. Иванова, Е. А. Яновская; под ред. Л. А. Уваровой, 2016. - 90 с. - Текст : непосредственный. Федянин В.К. TE-polarized surface waves in nonlinear medium with absorption / В.К.Федянин,Л.А.Уварова, 1994. - 8 p. - Текст : непосредственный. Елисеева Ю.В. Моделирование логистических бизнес-процессов в кластере промышленности строительных материалов: на примере Воронежской области : автореф. дис. .. канд. экон. наук: 08.00.05 / Ю. В. Елисеева, 2016. - 25 с. - Текст : непосредственный. Бармакова Т.В. Поверхностные эффекты кривизны и их влияние на процессы массопереноса / Т. В. Бармакова, Л. А. Уварова, Н. М. Малютина, 2016. - 177 с. - Текст : непосредственный. Показать все результаты Техническое творчество молодёжи : научно-практический образовательный журнал / Московский государственный технологический университет "СТАНКИН". - Журнал выходит с 2000г. - Текст : непосредственный. Чеканин А.В. Прикладная механика : учебное пособие / А. В. Чеканин, 2018. - 80 с. - Текст : непосредственный. Поливанов А.Ю. Микропроцессорная техника в мехатронике и робототехнике : учебное пособие / А. Ю. Поливанов, 2018. - 103 с. - Текст : непосредственный. Филатов В.В. Моделирование электрических цепей : учебное пособие / В. В. Филатов, М. В. Чумаева, 2018. - 231 с. - Текст : непосредственный. Девятерикова Е.А. Дифференциальные уравнения с частными производными. Задачи и упражнения : учебное пособие / Е. А. Девятерикова, Н. С. Петросян, 2018. - 57 с. - Текст : непосредственный. Повышение эффективности проектирования и изготовления элементов многоконтактных соединений деталей машин : монография / А. Я. Некрасов [и др.], 2018. - 148 с. - Текст : непосредственный. Основы технологии машиностроения : практические занятия и лабораторные работы: учебное пособие / В. А. Тимирязев [и др.]; под общей редакцией В. А. Тимирязева, 2018. - 155 с. - Текст : непосредственный. Петросян Н.С. Элементы теории функций комплексной переменной : учебное пособие / Н. С. Петросян, Н. Б. Малышева, Е. А. Девятерикова, 2018. - 103 с. - Текст : непосредственный. Обеспечение безопасности воздушной среды рабочей зоны производственного помещения : учебное пособие / Е. В. Бутримова [и др.], 2018. - 67 с. - Текст : непосредственный. Основные аспекты гуманизации высшего технического образования в условиях цифровой экономики : коллективная монография / Т. Ю. Павельева [и др.]; [под редакцией С. Б. Шитова], 2018. - 94 с. - Текст : непосредственный. Соболев А.Н. Кинетостатический анализ механизмов : учебное пособие / А. Н. Соболев, А. Я. Некрасов, М. О. Арбузов, 2019. - 91 с. - Текст : непосредственный. Ефромеева Е.В. Избранные главы алгебры и анализа : учебное пособие / Е. В. Ефромеева, 2019. - 136 с. - Текст : непосредственный. Иванова О.К. Обыкновенные дифференциальные уравнения : учебное пособие / О. К. Иванова, Н. В. Иванова, Е. А. Яновская; под редакцией Уваровой Л. А., 2019. - 111 с. - Текст : непосредственный. Тимирязев В.А. Основы технологии машиностроения : учебник / В. А. Тимирязев, В. Ю. Новиков, А. Г. Схиртладзе; под редакцией В. А. Тимирязева, 2019. - 395 с. - Текст : непосредственный. Бубнова Т.В. Пособие для подготовки к экзамену по математике профильного уровня / Т. В. Бубнова, Ю. А. Виноградова, А. Г. Господинова, 2019. - 91 с. - Текст : непосредственный. Новиков В.Ю. Проектирование технологической оснастки машиностроительных производств : учебное пособие / В. Ю. Новиков, В. А. Тимирязев, А. Г. Схиртладзе, 2017. - 383 с. - Текст : непосредственный. Тимирязев В.А. Технология машиностроения : учебник / В. А. Тимирязев, В. Ю. Новиков, А. Г. Схиртладзе; под редакцией В. А. Тимирязева, 2019. - 547 с. - Текст : непосредственный. Коршунова Е.Д. Организационно-экономический механизм управления развитием производственного стартапа / Е. Д. Коршунова, С. Д. Смирнов, 2019. - 120 с. - Текст : непосредственный. Высокоэффективные технологии и оборудование обработки материалов : учебное пособие / А. А. Зеленский, А. В. Исаев, В. Р. Купцов, М. А. Шевченко, 2019. - 259 с. - Текст : непосредственный. Линейная алгебра с задачами и приложениями : учебное пособие / В. А. Кадымов, О. К. Иванова, Н. В. Иванова, Е. А. Яновская; под редакцией Л. А. Уварова, 2019. - 127 с. - Текст : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный. HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный. Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Волченков С.Г. Методы построения эффективных алгоритмов / С. Г. Волченков, Ю. В. Богомолов, 2004. - 125 с. - Текст : непосредственный. Алексеев В.Е. Графы. Модели вычислений. Структуры данных / В. Е. Алексеев, В. А. Таланов, 2005. - 307 с. - Текст : непосредственный. Никольская И.Л. Знакомство с математической логикой / И. Л. Никольская, 1998. - 128 с. - Текст : непосредственный. Подзоров С.Ю. Верхние полурешетки арифметических нумераций в арифметических m-степеней : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / С. Ю. Подзоров, 2010. - 18 с. - Текст : непосредственный. Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный. Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный. Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный. Показать все результаты Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 2006. - 255 с. - Текст : непосредственный. Никольская И.Л. Знакомство с математической логикой / И. Л. Никольская, 1998. - 128 с. - Текст : непосредственный. Кусраев А.Г. Нерешенные нестандартные задачи / А. Г. Кусраев, С. С. Кутателадзе, 2000. - 19 с. - Текст : непосредственный. Романов В.Ф. Математическая логика и теория алгоритмов / В. Ф. Романов, 2003. - 23 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие для студентов высш. учеб. заведений / В.И. Игошин, 2005. - 303 с. - Текст : непосредственный. Задачи по математической логике и теории алгоритмов : учебное пособие / Ю. В. Елисеева [и др.], 2017. - 80 с. - Текст : непосредственный. Глухов М. М. Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : учебное пособие / М. М. Глухов [и др.], 2008. - 111 с. - Текст : непосредственный. Кузьмин О.В. Комбинаторные методы решения логических задач : Учеб. пособие / О. В. Кузьмин, 2006. - 189 с. - Текст : непосредственный. Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И.А.Лавров,Л.Л.Максимова, 2002. - 255 с. - Текст : непосредственный. Галушкина Ю.И. Математическая логика и теория алгоритмов в примерах и задачах : Учеб. пособие для студентов специальностей 210100(220201), 072000 (200503), 210200 / Ю. И. Галушкина, 2009. - 112 с. - Текст : непосредственный. Кузьмин О.В. Логические задачи : Учеб. пособие / О.В.Кузьмин, 1999. - 204 с. - Текст : непосредственный. Кравченко А.В. Сборник задач по математической логике (исчисления предикатов, теория моделей, теория вычислимости) : учеб. пособие / А. В. Кравченко, О. В. Кудинов, 2014. - 75 с. - Текст : непосредственный. Ашаев И.В. Дискретная математика и математическая логика в задачах государственных экзаменов по математике в ОмГУ : учеб. пособие / И. В. Ашаев, Ю. М. Ашаева, 2016. - 121 с. - Текст : непосредственный. Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие / В. И. Игошин, 2008. - 303 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
