Полное описание
Избранные вопросы теории алгоритмов : учебно-методическое пособие / Сахалинский государственный университет ; составители: О. О. Меркулова [и др.]. - Южно-Сахалинск : СахГУ, 2018. - 111 с. : ил. - Библиогр.: с. 110-111. - 500 экз. - ISBN 978-5-88811-577-0. - Текст : непосредственный.
Рубрики: Алгоритмы
Доп. точки доступа: Меркулова, О.О.\сост.\
Сахалинский государственный университет (Южно-Сахалинск)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ж2-18/68275)
Шифр в сводном ЭК: dc1e1722a55e5c817127726c57d82b52
Методические рекомендации по проведению анализа финансово-хозяйственной деятельности организаций при прохождении производственной практики : учебно-методическое пособие / Т. В. Базиль [и др.], 2018. - 183 с. - Текст : непосредственный. Осипов Г.С. Матричные модели линейной алгебры в экономике : учебно-методическое пособие / Г. С. Осипов, Н. С. Вашакидзе, Г. В. Филиппова, 2018. - 35 с. - Текст : непосредственный. Осипов Г.С. Модели аналитической геометрии в экономике : учебно-методическое пособие / Г. С. Осипов, Н. С. Вашакидзе, Г. В. Филиппова, 2018. - 51 с. - Текст : непосредственный. Стратегия социально-экономического развития территории : учебное пособие / Т. В. Базиль [и др.], 2017. - 241 с. - Текст : непосредственный. Безопасность жизнедеятельности: современные вызовы, наука, образование, практика : материалы VIII Межрегиональной научно-практической конференции с международным участием, 23-24 ноября 2017 г., г. Южно-Сахалинск: сборник научных статей / Сахалинский государственный университет, 2018. - 167 с. - Текст : непосредственный. Повышение тягово-сцепных свойств мобильных энергетических средств в транспортно-технологическом обеспечении АПК Дальневосточного федерального округа : монография / С. В. Щитов [и др.], 2017. - 175 с. - Текст : непосредственный. Безопасность жизнедеятельности: наука, образование, практика : материалы VII Межрегиональной научно-практической конференции с международным участием, 23-24 ноября 2016 г., Южно-Сахалинск: сборник научных статей / Сахалинский государственный университет, 2017. - 287 с. - Текст : непосредственный. Ученые записки Сахалинского государственного университета : журнал / Сахалинский государственный университет (Южно-Сахалинск). - Журнал выходит с 2000г. - Текст : непосредственный. Максимов В.П. Электроснабжение : лабораторный практикум для студентов направления "Электроэнергетика и электротехника" / Максимов В. П., Некрасов М. А., 2018. - 67, [1] с. - Текст : непосредственный. Избранные вопросы теории алгоритмов : учебно-методическое пособие / Сахалинский государственный университет, 2018. - 111 с. - Текст : непосредственный. Денисова, Я. В. Химия в нефтегазовом деле : учебно-методическое пособие : [в 2-х частях]. Ч. 2 : Коллоидная химия, 2019. - 67 с. - Текст : непосредственный. Денисова, Я. В. Химия в нефтегазовом деле : учебно-методическое пособие : [в 2-х частях]. Ч. 1 : Химия, 2019. - 99, [1] с. - Текст : непосредственный. Сазанова И.В. Право собственности и другие вещные права : учебно-методическое пособие / И. В. Сазанова, 2019. - 123 с. - Текст : непосредственный. Менеджмент в сфере образования: современное состояние и перспективы : коллективная монография / В. П. Максимов, М. В. Фалей, Н. В. Неретин [и др.], 2018. - 267, [1] с. - Текст : непосредственный. Живага А.Ю. Управление конфликтами и стрессами в организации : учебное пособие / А. Ю. Живага, 2019. - 107, [1] с. - Текст : непосредственный. Формирование безопасного поведения обучающихся в чрезвычайных ситуациях природного характера Сахалинской области : учебное пособие / Сахалинский государственный университет, 2018. - 159 с. - Текст : непосредственный. Дудник, Евгения Юрьевна. Механика. Раздел "Детали машин" : учебно-методическое пособие для студентов направлений подготовки: 20.03.01 "Техносферная безопасность", 44.03.01 "Педагогическое образование", 13.03.02 "Электроэнергетика и электротехника" / Е. Ю. Дудник, 2019. - 127 с. - Текст (визуальный) : непосредственный. Денисова, Янина Вячеславовна. Химия в эксплуатации транспорта : учебно-методическое пособие / Я. В. Денисова, Н. С. Семенов, 2020. - 115, [1] с. - Текст (визуальный) : непосредственный. Экономическое сотрудничество Сахалинской области и Японии: состояние, проблемы, перспективы (г. Южно-Сахалинск, 22 ноября 2019 г.) : сборник докладов и сообщений круглого стола / Сахалинский государственный университет, 2020. - 91, [1] с. - Текст (визуальный) : непосредственный. Безопасность жизнедеятельности: современные вызовы, наука, образование, практика : материалы X Межрегиональной научно-практической конференции с международным участием, 17-18 декабря 2019 г., Южно-Сахалинск: сборник научных статей / Сахалинский государственный университет, 2020. - 121 с. - Текст (визуальный) : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 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. - Текст : непосредственный. Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Никольская И.Л. Знакомство с математической логикой / И. Л. Никольская, 1998. - 128 с. - Текст : непосредственный. Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 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. - Текст : непосредственный. Шапировский И.Б. Алгоритмические свойства модальных логик информационных систем / И. Б. Шапировский, 2007. - 15 с. - Текст : непосредственный. Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный. Пак Бен Ха.Субрекурсивная реализуемость и логика предикатов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Пак Бен Ха, 2003. - 12 с. - Текст : непосредственный. Algebra and Model Theory : coll. of papers. 7, 2009. - 152 p. - Текст : непосредственный. Кузнецов С.Л. Категориальные грамматики, основанные на вариантах исчисления Ламбека / С. Л. Кузнецов, 2012. - 12 с. - Текст : непосредственный. Чернов А.В. О некоторых вариантах понятия реализуемости : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Чернов, 2003. - 16 с. - Текст : непосредственный. Показать все результаты Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Шалыто А.А. Логическое управление. Методы аппаратной и программной реализации алгоритмов / А. А. Шалыто, 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 с. - Текст : непосредственный. Макконнелл Д. Анализ алгоритмов. Активный обучающий подход : монография / Д. Макконнелл, 2013. - 415 с. - Текст : непосредственный. Давыдов В.Г. Программирование и основы алгоритмизации / В. Г. Давыдов, 2003. - 448 с. - Текст : непосредственный. Волченков С.Г. Методы построения эффективных алгоритмов / С. Г. Волченков, Ю. В. Богомолов, 2004. - 125 с. - Текст : непосредственный. Множества и алгоритмы : выставочные материалы / И. Ю. Харитонова, Н. М. Богословская, Ю. Г. Сергеев, С. И. Вдовин, 2016. - 98 с. - Текст : непосредственный. Алексеев В.Е. Графы. Модели вычислений. Структуры данных / В. Е. Алексеев, В. А. Таланов, 2005. - 307 с. - Текст : непосредственный. Jeuring J. Algorithms from theorems / J. Jeuring, 1990. - 20 p. - Текст : непосредственный. Иванов Б.Н. Дискретная математика. Алгоритмы и программы / Б. Н. Иванов, 2003. - 288 с. - Текст : непосредственный. Показать все результаты Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
