Полное описание
> Прокопчук, Ю. Ю. Дискретная математика. Основные теоретико-множественные конструкции : учеб. пособие для студентов специальностей 220200 и 351400 / Прокопчук Ю.Ю.,Широков А.И.,Дубравина Т.В.;Под ред. В.А.Грузмана, А.Г.Дьячко. - М. : Учеба, 20 - . - Текст : непосредственный. Ч. 1 . - 2003. - 118 с. : ил. - 200 экз. Библиогр.: с. 116-117 (37 назв.).
Рубрики: Множеств теория
Кл.слова (ненормированные): МНОЖЕСТВО -- ТЕОРИЯ
Доп. точки доступа: Широков, А.И.
Дубравина, Т.В.
>
Экз-ры полностью 48b3125cbcef3dff358315ce49c2189c Нет сведений об экземплярах Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/60640/1)>
Шифр в сводном ЭК: 48b3125cbcef3dff358315ce49c2189c
Козловский А.В. Дискретная математика: Основные теоретико-множественные конструкции : Учеб. пособие. Ч. 7 / ред. Н. В. Крапухина, 2010. - 127 с. - Текст : непосредственный. Прокопчук Ю.Ю. Дискретная математика. Основные теоретико-множественные конструкции : Учеб. пособие для студентов специальностей 220200 и 351400. Ч. 3, 2005. - 76 с. - Текст : непосредственный. Дубравина Т.В. Дискретная математика. Теория графов : Учеб.пособие. Вып. 5 : Маршруты в графе. Виды маршрутов / Под ред.Ю.А.Кудрявцева, 2003. - 31 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Мурадханов С.Э. Алгоритмические языки высокого уровня : курс лекций / С. Э. Мурадханов, А. И. Широков, 2011. - 170 с. (Введено оглавление). - Текст : электронный. Назаров С.В. Современные операционные системы : учеб. пособие / С. В. Назаров, А. И. Широков, 2013. - 367 с. - Текст : непосредственный. Назаров С.В. Современные операционные системы : учеб. пособие / С. В. Назаров, А. И. Широков, 2010. - 279 с. - Текст : непосредственный. Дубравина Т.В. Решение модифицированных транспортных задач металлургического комплекса с использованием генетических алгоритмов : автореф. дис. .. канд. техн. наук: 05.13.01 / Т.В. Дубравина, 2005. - 25 с. - Текст : непосредственный. Козловский, А. В. Дискретная математика: Основные теоретико-множественные конструкции : учеб. пособие. Ч. 5, 2007. - 105 с. - Текст : непосредственный. Прокопчук, Ю. Ю. Дискретная математика : основ. теорет.-множеств. конструкции: учеб. пособие. Ч. 6, 2013. - 183 с. - Текст : непосредственный. Мурадханов С.Э. Информатика и программирование. Объектно-ориентированное программирование (на основе языка C#) : учебник / С. Э. Мурадханов, А. И. Широков, 2015. - 308 с. - Текст : непосредственный. Прокопчук, Ю. Ю. Дискретная математика. Элементы логико-математического языка : Учеб. пособие для студентов спец. 220200 и 351400. Ч. 2, 2002. - 148 с. - Текст : непосредственный. Прокопчук, Ю. Ю. Дискретная математика. Элементы логико-математического языка : Учеб. пособие для студентов спец. 220200 и 351400. Ч. 1, 2002. - 97 с. - Текст : непосредственный. Прокопчук, Ю. Ю. Дискретная математика. Основные теоретико-множественные конструкции : Учеб. пособие для студентов специальностей 220200 и 351400. Ч. 1, 2003. - 118 с. - Текст : непосредственный. Прокопчук, Ю. Ю. Дискретная математика. Основные теоретико-множественные конструкции : Учеб. пособие для студентов специальностей 220200 и 351400. Ч. 2 / Ю.Ю. Прокопчук, А.И. Широков, 2004. - 147 с. - Текст : непосредственный. Прокопчук, Ю. Ю. Дискретная математика. Элементы логико-математического языка : Учеб. пособие для студентов спец. 220200 и 351400. Ч. 1, 2004. - 98 с. - Текст : непосредственный. Назаров С.В. Многопользовательские операционные системы / С. В. Назаров, А. И. Широков; под ред. С. В. Назарова, 2010. - 193 с. (Введено оглавление). - Текст : электронный. Показать все результаты Мир математики : в 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 с. - Текст : непосредственный. Показать все результаты Окстоби Дж. Мера и категория / Дж. Окстоби, 2008. - 157 с. - Текст : непосредственный. Козловский А.В. Дискретная математика: Основные теоретико-множественные конструкции : Учеб. пособие. Ч. 7 / ред. Н. В. Крапухина, 2010. - 127 с. - Текст : непосредственный. Transactions on rough sets V / SpringerLink (Online service), 2006 r=on-line Множества и алгоритмы : выставочные материалы / И. Ю. Харитонова, Н. М. Богословская, Ю. Г. Сергеев, С. И. Вдовин, 2016. - 98 с. - Текст : непосредственный. Шестопал В.Е. Ограничение иерархии фон Неймана в теории множеств Цермело / В. Е. Шестопал, 1997. - 19 с. - Текст : непосредственный. Seria monografie / Politech. Czestochowska. nr 149 : Scheduling with applying rough sets theory / H. Piech, 2008. - 170 p. - Текст : непосредственный. Хаусдорф Ф. Теория множеств : монография / Ф. Хаусдорф, 2004. - 302 с. - Текст : непосредственный. Лексаченко В.А. Дискретная математика. Математическая логика и теория множества / В. А. Лексаченко, 1998. - 49 с. - Текст : непосредственный. Шевелев Ю.П. Высшая математика : Учеб.пособие для студентов техн.вузов, для сред.шк. 5 : Дискретная математикаЧ. 1. Теория множеств. Булева алгебра (для автоматизированной технологии обучения), 1998. - 114 с. - Текст : непосредственный. Rutten J.J.M.M. Hereditarity-finite sets and complete metric spaces / J. J.M.M. Rutten, 1991. - 17 p. - Текст : непосредственный. Шевченко В.В. О счетных семействах конечных множеств / В. В. Шевченко, 2008. - 57 с. - Текст : непосредственный. Волченская Т.В. Компьютерная математика : Учеб. пособие. Ч. 1 : Теория множеств и комбинаторика, 2003. - 88 с. - Текст : непосредственный. Трофимов В.Г. Дискретная математика : Учеб. пособие. Ч. 1 : Теория множеств. Математическая логика, 2000. - 111 с. - Текст : непосредственный. Верещагин Н.К. Начала теории множеств / Н. К. Верещагин, А. Шень, 1999. - 127 с. - Текст : непосредственный. Sipser M. Expander graphs. Descriptive set theory / M. Sipser, B. Kapron, T. Pitassi, 1991. - 19 p. - Текст : непосредственный. Буфеев С.В. Основы математической логики и теории множеств : выставочные материалы / С. В. Буфеев, И. С. Буфеев, 2014. - 138 с. - Текст : непосредственный. Дурнев В.Г. Элементы теории множеств и математической логики : учебное пособие / В. Г. Дурнев, 2009. - 411 с. - Текст : непосредственный. Прокопчук Ю.Ю. Дискретная математика. Основные теоретико-множественные конструкции : Учеб. пособие для студентов специальностей 220200 и 351400. Ч. 3, 2005. - 76 с. - Текст : непосредственный. Transactions on rough sets III / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Кановей В.Г. Современная теория множеств: абсолютно неразрешимые классические проблемы / В. Г. Кановей, В. А. Любецкий, 2013. - 377 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽