Полное описание
> Комиссаров, В. В. Математическая логика и теория алгоритмов : учебное пособие / В. В. Комиссаров, Е. А. Левина, Н. Н. Евтеева ; Сибирский университет потребительской кооперации. - Новосибирск : СибУПК, 2018. - 81 с. : ил. - Библиогр.: с. 80-81 (15 назв.). - 100 экз. - ISBN 978-5-334-00187-9. - Текст : непосредственный.
ГРНТИ УДК 27.03.19 510 27.03.17
Рубрики: Математическая логика
Алгоритмы
Доп. точки доступа: Левина, Е.А.
Евтеева, Н.Н.
Сибирский университет потребительской кооперации (Новосибирск)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-18/67582)>
Шифр в сводном ЭК: 368c291cd67e415c8be2fb919525ed00
Бухштаб Ю.А. Новые возможности работы с потоковой информацией / Ю. А. Бухштаб, А. А. Воробьев, Н. Н. Евтеева, 2006. - 12 с. - Текст : непосредственный. Комиссаров В.В. Математика. Дискретная математика : выставочные материалы / В. В. Комиссаров, 2011. - 95 с. - Текст : непосредственный. Численное решение обратных коэффициентных задач для параболических уравнений методом конечно-разностной регуляризации / М. М. Лаврентьев, В. В. Комиссаров, Н. В. Комиссарова, М. Х. Негматова ; , 2008. - 23 с. - Текст : непосредственный. Левина Е.А. Микроэкономика. Задачи и решения : учебное пособие / Е. А. Левина, Е. В. Покатович, 2010. - 491 с. - Текст : непосредственный. Байгарова Н.С. Организация электронной библиотеки видеоматериалов / Н. С. Байгарова, Ю. А. Бухштаб, Н. Н. Евтеева, 2000. - 13 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Комиссаров В.В. Дискретная математика : учебное пособие / В. В. Комиссаров, Т. Т. Баланчук, 2017. - 185 с. - Текст : непосредственный. Комиссаров В.В. Математическая логика и теория алгоритмов : учебное пособие / В. В. Комиссаров, Е. А. Левина, Н. Н. Евтеева, 2018. - 81 с. - Текст : непосредственный. Бухштаб Ю.А. Организация асинхронных процессов при реализации плеера, воспроизводящего потоковый медиа контент / Ю. А. Бухштаб, А. А. Воробьев, Н. Н. Евтеева, 2015. - 14 с. - Текст : непосредственный. Практикум по мелиоративным машинам : Учеб.пособие для с.-х. вузов по спец."Механизация водохоз.и мелиорат.работ" / Б.А.Васильев,В.Б.Гантман,В.В.Комиссаров и др.;Под ред.Ю.Г.Ревина, 1995. - 206 c. - Текст : непосредственный. Комиссаров В.В. Прямые и обратные задачи упругости в линейном приближении и вычислительные аспекты их решения : Автореферат диссертации на соискание ученой степени физ.-мат. наук: 05.13.16 / В. В. Комиссаров, 1995. - 17 с. - Текст : непосредственный. Комиссаров В.В. Математика. Линейное программирование : учеб. пособие / В. В. Комиссаров, О. В. Брюханов, О. Н. Шаланова, 2016. - 98 с. - Текст : непосредственный. Комиссаров В.В. Элементы математической логики : учеб. пособие для студентов специальности 09.02.04 Информ. системы (по отраслям) / В. В. Комиссаров, 2015. - 143 с. - Текст : непосредственный. Комиссаров В.В. Полиметиленовые производные нуклеиновых оснований с -функциональными группами. Синтез и свойства : автореф. дис. .. канд. хим. наук: 03.00.03, 02.00.10 / В. В. Комиссаров, 2005. - 23 с. - Текст : непосредственный. Левина Е.А. Геоинформационная система для прогноза землетрясений и горных ударов: разработка и примеры применения в Байкальской рифтовой зоне и Норильском месторождении : автореф. дис. .. канд. геол.-минерал. наук: 25.00.35 / Е. А. Левина, 2011. - 19 с. - Текст : непосредственный. Комиссаров В.В. Полиметиленовые производные нуклеиновых оснований с w-функциональными группами. Синтез и свойства : автореф. дис. .. канд. хим. наук: 03.00.03, 02.00.10 / В. В. Комиссаров, 2006. - 23 с. - Текст : непосредственный. Бухштаб Ю.А. Интерактивные возможности управления потоковым видео в среде HTML5 / Ю. А. Бухштаб, А. А. Воробьев, Н. Н. Евтеева, 2013. - 19 с. - Текст : непосредственный. Бухштаб Ю.А. Реализация программных средств, обеспечивающих управление доставкой видео и аудио данных на базе HTML5 и Flash / Ю. А. Бухштаб, А. А. Воробьев, Н. Н. Евтеева, 2012. - 15 с. - Текст : непосредственный. Левина Е.А. Методические основы бизнес-планирования в транспортно-экспедиторских предприятиях : автореф. дис. .. канд. экон. наук: 08.00.05 / Е. А. Левина, 2003. - 24 с. - Текст : непосредственный. Показать все результаты Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Математическая логика и теория алгоритмов : выставочные материалы / Сост. Д. В. Ефимов, 2012. - 99 с. - Текст : непосредственный. Судоплатов С.В. Математическая логика и теория алгоритмов : учебное пособие / С. В. Судоплатов, Е. В. Овчинникова, 2008. - 224 с. - Текст : непосредственный. Романов В.Ф. Математическая логика и теория алгоритмов / В. Ф. Романов, 2003. - 23 с. - Текст : непосредственный. Галиев Ш.И. Математическая логика и теория алгоритмов / Ш. И. Галиев, 2004. - 333 с. - Текст : непосредственный. Хусаинов А.А. Математическая логика и теория алгоритмов / А. А. Хусаинов, Н. Н. Михайлова, 2005. - 96 с. - Текст : непосредственный. Орехов Ю.В. Математическая логика и теория алгоритмов : выставочные материалы / Ю. В. Орехов, Э. Ю. Орехов, 2013. - 243 с. - Текст : непосредственный. Гурова Л.М. Математическая логика и теория алгоритмов / Л. М. Гурова, Л. М. Шурова, Е. В. Зайцева, 2006. - 262 с. (Введено оглавление). - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Семешина Н.Т. Типология видов и современные приемы экономического анализа : учебное пособие / Н. Т. Семешина, 2016. - 32 с. - Текст : непосредственный. Черняков, Михаил Константинович. Управление малым бизнесом : учебное пособие / М. К. Черняков, М. М. Чернякова, 2017. - 129 с. - Текст : непосредственный. Комиссаров В.В. Дискретная математика : учебное пособие / В. В. Комиссаров, Т. Т. Баланчук, 2017. - 185 с. - Текст : непосредственный. Товароведная характеристика и экспертиза вкусовых товаров : учебное пособие / Сибирский университет потребительской кооперации (Новосибирск), 2018. - 251 с. - Текст : непосредственный. Зайцева О.П. Современный стратегический анализ: система показателей и методов : учебное пособие / О. П. Зайцева, 2018. - 107 с. - Текст : непосредственный. Колоскова Н.В. Основы банковского дела : учебное пособие / Н. В. Колоскова, 2017. - 317 с. - Текст : непосредственный. Товароведно-технологические аспекты повышения качества и конкурентоспособности продукции : сборник материалов Международной научно-практической конференции, 31 августа 2018 года, г. Новосибирск / Сибирский университет потребительской кооперации, Белорусский торгово-экономический университет потребительской кооперации [и др.], 2018. - 287 с. - Текст : непосредственный. Зайцева О.П. Стратегический и операционный анализ в финансовом менеджменте : монография / О. П. Зайцева, 2018. - 157 с. - Текст : непосредственный. Брюханов О.В. Математика. Линейная алгебра : учебное пособие для студентов всех направлений бакалавриата / О. В. Брюханов, Л. Г. Гузевский, 2018. - 76 с. - Текст : непосредственный. Комиссаров В.В. Математическая логика и теория алгоритмов : учебное пособие / В. В. Комиссаров, Е. А. Левина, Н. Н. Евтеева, 2018. - 81 с. - Текст : непосредственный. Теоретические и методические подходы к преподаванию экономических дисциплин в образовательных учреждениях различного типа : монография / А. В. Шперлинь, Е. Н. Волкова, Е. С. Ерёменко [и др.], 2018. - 413 с. - Текст : непосредственный. Анализ деятельности торговой организации как инструмент обеспечения безопасности: экономический и управленческий аспекты : монография / Е. И. Леоненко, Т. А. Железова, Н. В. Шаланов [и др.]; [под общ. ред. Е. И. Леоненко], 2018. - 208 с. - Текст : непосредственный. Оценка качества товаров и основы экспертизы продовольственных товаров : лабораторный практикум / Сибирский университет потребительской кооперации, 2018. - 192 с. - Текст : непосредственный. Оценка качества товаров и основы экспертизы непродовольственных товаров : лабораторный практикум / Сибирский университет потребительской кооперации, 2018. - 63 с. - Текст : непосредственный. Дейнеко Е.А. Информатика : учебное пособие / Е. А. Дейнеко, И. А. Мельникова, 2019. - 79 с. - Текст : непосредственный. Ширяева Т.Ю. Основы бизнеса : учебное пособие / Т. Ю. Ширяева, Л. А. Сорокина, 2019. - 102 с. - Текст : непосредственный. Бизнес-проектирование коммерческой деятельности : учебное пособие / Сибирский университет потребительской кооперации, 2019. - 83 с. - Текст : непосредственный. Али-Аскяри С.А. Интеграционные процессы на региональном рынке потребительских товаров : монография / С. А. Али-Аскяри, 2019. - 196 с. - Текст : непосредственный. Современные направления теории и практики экономического анализа, бухгалтерского учета, финансового менеджмента : сборник материалов международной научной конференции студентов и аспирантов, Новосибирск, 7 декабря 2018 г. : в 2 частях / Сибирский университет потребительской кооперации [и др.] ; под общей редакцией О. Н. Петрушенко]. Ч. 1, 2018. - 291 с. - Текст : непосредственный. Чистякова В.И. Оценка рисков : учебное пособие / В. И. Чистякова, М. К. Черняков, 2018. - 95 с. - Текст : непосредственный. Показать все результаты Мир математики : в 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. - Текст : непосредственный. Показать все результаты Мир математики : в 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 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽