Полное описание
Дьячкина, И. П.
Рубрики: Математическая логика
Алгоритмы
Доп. точки доступа: Плотникова, Н.В.
Сарычева, И.А.
Череповецкий гос. ун-т
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-15/29595)
Шифр в сводном ЭК: cfa33638428e56e606965129c18d1060
Плотникова Н.В. Вычислительная математика / Н. В. Плотникова, И. В. Чернецкая, 2004. - 58 с. - Текст : непосредственный. Плотникова Н.В. Алгоритмы анализа и синтеза квазистационарных стохастических систем методами выпуклого программирования : специальность 05.13.14 "" : автореферат диссертации на соискание ученой степени канд.техн.наук / Н. В. Плотникова, 2000. - 20 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Крымский В.В. Дезактивация радиоактивных отходов : монография / В. В. Крымский, В. Ф. Балакирев, Н. В. Плотникова ; Ред. Л. А. Смирнов, 2018. - 69, [1] с. - Текст : непосредственный. Павловская, О. О. Теория автоматического управления : учеб. пособие. Ч. 1 : Линейные системы, 2004. - 75 с. - Текст : непосредственный. Дьячкина И.П. Дискретная математика. Математическая логика и теория алгоритмов : учеб. пособие / И. П. Дьячкина, Н. В. Плотникова, И. А. Сарычева; [науч. ред. А. В. Толстиков], 2015. - 198 с. - Текст : непосредственный. Плотникова Н.В. Гибкие автоматизированные производства : Учеб. пособие / Н.В.Плотникова, 1996. - 93 с. - Текст : непосредственный. Плотникова Н.В. Основы патентоведения : Учеб. пособие / Н.В. Плотникова, 2003. - 77 с. - Текст : непосредственный. Плотникова Н.В. Расчет следящей системы двустороннего действия : Учеб. пособие / Н.В.Плотникова, 1998. - 29 с. - Текст : непосредственный. Плотникова Н.В. Проектирование роботов : Учеб.пособие / Н.В.Плотникова, 1998. - 30 с. - Текст : непосредственный. Сарычева И.А. Метод и алгоритмы обработки информации для оценки механических характеристик холоднокатаных углеродистых сталей : автореф. дис. .. канд. техн. наук: 05.13.01 / И. А. Сарычева, 2012. - 19 с. - Текст : непосредственный. Плотникова Н.В. Изучение динамики вторичных корпускулярных потоков для медико-географического районирования курортов и районов экологического туризма : автореф. дис. .. канд. биол. наук: 05.13.01 / Н. В. Плотникова, 2008. - 21 с. - Текст : непосредственный. Автоматизация и управление. Многоуровневая система образования : Учеб. пособие / В.С.Жабреев,Н.В.Плотникова,Т.К.Подлинева,М.Н.Устюгов, 2000. - 83 с. - Текст : непосредственный. Системный анализ и управление. Многоуровневая система образования : Учеб.пособие / В.С.Жабреев,Н.В.Плотникова,Т.К.Подлинева,М.Н.Устюгов, 2000. - 80 с. - Текст : непосредственный. Плотникова Н.В. Совершенствование государственного финансового контроля за осуществлением валютных операций : автореф. дис. .. канд. экон. наук: 08.00.10 / Н. В. Плотникова, 2010. - 21 с. - Текст : непосредственный. Показать все результаты Вестник Череповецкого государственного университета : Науч. журн. Экономические, естественные и технические науки / Череповецкий гос. ун-т. - Журнал выходит с 2002г. - Текст : непосредственный. Габелая Д.И. Математические модели и совершенствование технологии непрерывной разливки стали : монография / Д. И. Габелая, Ю. В. Грибкова, З. К. Кабаков, 2016. - 182 с. - Текст : непосредственный. Виноградова Л.Н. Системное программирование : выставочные материалы / Л. Н. Виноградова, 2016. - 207 с. - Текст : непосредственный. Егоренкова С.В. Системы менеджмента безопасности труда : выставочные материалы / С. В. Егоренкова, Г. А. Егоренков, П. М. Быков, 2016. - 162 с. - Текст : непосредственный. Грызлов В.С. Компетентностно-модульный подход в высшем техническом образовании : монография / В. С. Грызлов, 2015. - 208 с. - Текст : непосредственный. Селивановских В.В. Структуры и алгоритмы обработки данных : выставочные материалы / В. В. Селивановских, К. М. Пышницкий, 2016. - 96 с. - Текст : непосредственный. Современные информационные технологии. Теория и практика : материалы временных коллективов, 2017. - 270 с. - Текст : непосредственный. Инновационное развитие территорий : материалы временных коллективов / Череповецкий гос. ун-т, 2017. - 184 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Современные информационные технологии. Теория и практика : материалы II Всерос. науч.-практ. конф. в рамах ИТ-форума "ICITY 2015: Информатизация пром. города", 19 нояб. 2015 г., Череповец / Череповец. гос. ун-т, 2016. - 221 с. - Текст : непосредственный. Технология и оборудование сталеплавильного и прокатного производства : Всерос. сб. науч. тр. / Череповец. гос. ун-т. Вып. 1, 1997. - 155 с. - Текст : непосредственный. Научно-технический прогресс в черной металлургии : материалы II Междунар. науч.-техн. конф., 7-9 окт. 2015 г. / Череповец. гос. ун-т, ПАО "СЕВЕРСТАЛЬ", 2015. - 280 с. - Текст : непосредственный. Инновационное развитие территорий : материалы III Междунар. науч.-практ. конф., 25-27 февр. 2015 г., Череповец / Череповец. гос. ун-т, 2015. - 166 с. - Текст : непосредственный. Современные информационные технологии. Теория и практика : материалы I Всерос. науч.-практ. конф., 20 нояб. 2014 г., Череповец / Череповец. гос. ун-т, 2015. - 247 с. - Текст : непосредственный. Дьячкина И.П. Дискретная математика. Математическая логика и теория алгоритмов : учеб. пособие / И. П. Дьячкина, Н. В. Плотникова, И. А. Сарычева; [науч. ред. А. В. Толстиков], 2015. - 198 с. - Текст : непосредственный. Калько О.А. Физическая химия. Лабораторный практикум : учеб. пособие / О. А. Калько, Ю. С. Кузнецова, О. В. Ульянова, 2015. - 118 с. - Текст : непосредственный. Леонов П.Г. Средства автоматизации и управления. Измерение электрических величин : учеб. пособие / П. Г. Леонов, А. Л. Смыслова, С. А. Пойгина, 2015. - 142 с. - Текст : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 2006. - 255 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. Вейль Г. Математическое мышление : монография / Г. Вейль, 1989. - 400 с. - Текст : непосредственный. International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный. Проблемы онто-гносеологического обоснования математики и естественных наук : сборник / Ред. Е. И. Арепьев, 2008. - 203 с. - Текст : непосредственный. Szumakowicz E. Natura poznania matematycznego / E. Szumakowicz, 1994. - 151 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 с. - Текст : непосредственный. Гейтинг А. Интуиционизм. Введение / А. Гейтинг, 2010. - 164 с. - Текст : непосредственный. Окстоби Дж. Мера и категория / Дж. Окстоби, 2008. - 157 с. - Текст : непосредственный. Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. Шалыто А.А. Логическое управление. Методы аппаратной и программной реализации алгоритмов / А. А. Шалыто, 2000. - 780 с. - Текст : непосредственный. HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный. Труды Института системного программирования. Т. 12 : Методы синтеза и анализа алгоритмов, 2006. - 122 с. - Текст : непосредственный. Триханов А.В. Алгоритмизация и микропрограммирование операций ЭВМ (множества, графы, кубы, кубические покрытия) / А. В. Триханов, 1995. - 107 c. - Текст : непосредственный. Фоккинк У. Распределенные алгоритмы: интуитивный подход / У. Фоккинк ; Пер. К. Русецкий, 2017. - 269 с. - Текст : непосредственный. Воеводин, Валентин Васильевич. Информационная структура алгоритмов / В. В. Воеводин, 1997. - 139 с. - Текст : непосредственный. Кирнос В.Н. Информатика II. Основы алгоритмизации и программирования на языке C++ : методический материал / В. Н. Кирнос, 2013. - 158 с. - Текст : непосредственный. Ульянов М.В. Классификация и методы сравнительного анализа вычислительных алгоритмов / М. В. Ульянов, 2004. - 211 с. - Текст : непосредственный. Рахманова И.О. Информатика: основы алгоритмизации и программирования : учебное пособие / И. О. Рахманова, 2007. - 116 с. - Текст : непосредственный. Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный. Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 2006. - 255 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. Вейль Г. Математическое мышление : монография / Г. Вейль, 1989. - 400 с. - Текст : непосредственный. International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный. Проблемы онто-гносеологического обоснования математики и естественных наук : сборник / Ред. Е. И. Арепьев, 2008. - 203 с. - Текст : непосредственный. Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный. Szumakowicz E. Natura poznania matematycznego / E. Szumakowicz, 1994. - 151 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 с. - Текст : непосредственный. Гейтинг А. Интуиционизм. Введение / А. Гейтинг, 2010. - 164 с. - Текст : непосредственный. Окстоби Дж. Мера и категория / Дж. Окстоби, 2008. - 157 с. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
