Полное описание
Математическая логика и теория алгоритмов : выставочные материалы / Сост. Д. В. Ефимов. - Сыктывкар : СЛИ, 2012. - 99 с. - Сост. указ. на обороте тит. л. - Библиогр.: с. 99. - 40 экз. - ISBN 978-5-9239-0352-2. - Текст : непосредственный.
Рубрики: Математическая логика
Алгоритмы
Доп. точки доступа: Ефимов, Д.В.\сост.\
Сыктывкарский лесной ин-т. Кафедра высшей математики
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-12/89416)
Шифр в сводном ЭК: 135479419d1c5f68d732d0d2b65577e2
Математическая логика и теория алгоритмов : выставочные материалы / Сост. Д. В. Ефимов, 2012. - 99 с. - Текст : непосредственный. Терехов В.А. Нейросетевые системы управления / В. А. Терехов, Д. В. Ефимов, И. Ю. Тюкин, 2002. - 479 с. - Текст : непосредственный. Ефимов Д.В. Робастное и адаптивное управление колебательными режимами нелинейных систем : автореф. дис. .. д-ра техн. наук: 05.11.16 / Д. В. Ефимов, 2006. - 40 с. - Текст : непосредственный. Терехов В.А. Нейросетевые системы управления : Учеб. пособие / В. А. Терехов, Д. В. Ефимов, И. Ю. Тюкин, 2002. - 183 с. - Текст : непосредственный. Терехов В.А. Искусственные нейронные сети и их применение с системах автоматического управления : Учеб. пособие / В. А. Терехов, Д. В. Ефимов, И. Ю. Тюкин, 1997. - 63 с. - Текст : непосредственный. Ефимов Д.В. Синтез адаптивных нейросетевых систем управления классом нелинейных динамических объектов : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.01 / Д. В. Ефимов, 2001. - 16 с. - Текст : непосредственный. Ефимов Д.В. Робастное и адаптивное управление нелинейными колебаниями / Д. В. Ефимов, 2005. - 320 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Математическая логика и теория алгоритмов : выставочные материалы / Сост. Д. В. Ефимов, 2012. - 99 с. - Текст : непосредственный. Судоплатов С.В. Математическая логика и теория алгоритмов : учебное пособие / С. В. Судоплатов, Е. В. Овчинникова, 2008. - 224 с. - Текст : непосредственный. Романов В.Ф. Математическая логика и теория алгоритмов / В. Ф. Романов, 2003. - 23 с. - Текст : непосредственный. Галиев Ш.И. Математическая логика и теория алгоритмов / Ш. И. Галиев, 2004. - 333 с. - Текст : непосредственный. Хусаинов А.А. Математическая логика и теория алгоритмов / А. А. Хусаинов, Н. Н. Михайлова, 2005. - 96 с. - Текст : непосредственный. Орехов Ю.В. Математическая логика и теория алгоритмов : выставочные материалы / Ю. В. Орехов, Э. Ю. Орехов, 2013. - 243 с. - Текст : непосредственный. Гурова Л.М. Математическая логика и теория алгоритмов / Л. М. Гурова, Л. М. Шурова, Е. В. Зайцева, 2006. - 262 с. (Введено оглавление). - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Математическая логика и теория алгоритмов : выставочные материалы / Сост. Д. В. Ефимов, 2012. - 99 с. - Текст : непосредственный. Труды. Т. 4 : Серия: математика, физика, 2002. - 137 с. - Текст : непосредственный. Труды. Т. 3, 2002. - 419 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Абаимов Р.В. Диагностирование технического состояния транспортных и транспортно-технологических машин и оборудования : учеб. пособие / Р. В. Абаимов, П. А. Малащук, 2015. - 86 с. - Текст : непосредственный. Щербакова Т.П. Тепломассообмен : учеб. пособие / Т. П. Щербакова, Т. Л. Леканова, Е. Г. Казакова, 2015. - 60 с. - Текст : непосредственный. Налогообложение предприятий : учеб. пособие / Сост. С. И. Чужмарова, 2012. - 190 с. - Текст : непосредственный. Экология энергетики : учеб. пособие (лаборатор. практикум) / Сост. Е. И. Паршина, 2012. - 215 с. - Текст : непосредственный. Труды. Т. 2 : Серия: математика,физика, 2000. - 102 с. - Текст : непосредственный. Современные материалы и технологии в дорожном, промышленном и гражданском строительстве в условиях Российского Севера : второй регион. семинар-совещ. (Сыктывкар, 30-31 марта 2005 г.): сб. материалов / Сыктывкарский лесной ин-т, 2006. - 107 с. - Текст : непосредственный. Глоссарий терминов менеджмента организаций и регионального менеджмента : Для студентов всех форм обучения спец. 061100 - Менеджмент организации, квалификация: менеджер / Сыктывкарский лесной ин-т, 2004. - 55 с. - Текст : непосредственный. Полина И.Н. Техническая термодинамика : учеб. пособие / И. Н. Полина, С. Г. Ефимова, 2014. - 186 с. - Текст : непосредственный. Релейная защита : учеб. пособие / сост. Г. П. Шумилова, Л. Л. Ширяева, 2011. - 115 с. - Текст : непосредственный. Бабиков Б.В. Гидротехнические мелиорации (осушение лесных земель) : учеб. пособие / Б. В. Бабиков, В. В. Пахучий, 2014. - 158 с. - Текст : непосредственный. Казакова Е.Г. Установки очистки сточных вод и промышленных газов : учеб. пособие / Е. Г. Казакова, Т. Л. Леканова, 2014. - 211 с. - Текст : непосредственный. Еремеева Л.Э. Интермодальные и мультимодальные перевозки : учеб. пособие / Л. Э. Еремеева, 2014. - 131 с. - Текст : непосредственный. Еремеева Л.Э. Основы транспортно-экспедиторского обслуживания : учеб. пособие / Л. Э. Еремеева, 2014. - 147 с. - Текст : непосредственный. Показать все результаты Мир математики : в 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
