Полное описание
Шевелев Ю.П. 5 : Дискретная математика, Ч. 1 : Теория множеств. Булева алгебра (для автоматизированной технологии обучения). - 1998. - 114 с. : ил. - 300 экз. - ISBN 5-86889-041-8
ГРНТИ УДК 27.03 510.22 27.17.21 512.563
Рубрики: Множеств теория
Алгебра логики
Экз-ры полностью eaa930cab166b3bb32c4d91b07e06aa8 Нет сведений об экземплярах Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Н/16251/5/1)
Шифр в сводном ЭК: eaa930cab166b3bb32c4d91b07e06aa8
Шевелев Ю.П. Высшая математика : Учеб.пособие для студентов техн.вузов, для сред.шк. 5 : Дискретная математикаЧ. 1. Теория множеств. Булева алгебра (для автоматизированной технологии обучения), 1998. - 114 с. - Текст : непосредственный. Шевелев Ю.П. Математическая логика и теория алгоритмов : Учеб. пособие / Ю. П. Шевелев, 2007. - 219 с. - Текст : непосредственный. Шевелев Ю.П. Дискретная математика : Учеб. пособие / Ю. П. Шевелев, 2008. - 591 с. - Текст : непосредственный. Магазинников, Л. И. Математика для гуманитарных, экологических и экономико-юридических специальностей : Учеб. пособие. Ч. 2, 2007. - 243 с. - Текст : непосредственный. Шевелев, Ю. П. Дискретная математика. Ч. 2 : Теория конечных автоматов. Комбинаторика. Теория графов. Автоматизированная технология обучения "Символ", 2003. - 130 с. - Текст : непосредственный. Магазинников, Л. И. Математика для гуманитарных, экологических и экономико-юридических специальностей : учеб. пособие. Ч. 1, 2007. - 259 с. - Текст : непосредственный. Шевелев Ю.П. Сборник задач по дискретной математике (для практических занятий в группах) : учеб. пособие / Ю. П. Шевелев, Л. А. Писаренко, М. Ю. Шевелев, 2013. - 523 с. - Текст : непосредственный. Вишнякова Л.А. Два подхода к проблеме автоматизации контроля знаний / Л. А. Вишнякова, М. Ю. Шевелев, Ю. П. Шевелев. - Текст : непосредственный // Информатика и образование. - М. : Образование и Информатика, 2014. - № 1 (250). - с. 74--77 Шевелев, Ю. П. Дискретная математика. Ч. 1 : Теория множеств. Булева алгебра (для автоматизированной технологии обучения СИМВОЛ), 2000. - 114 с. - Текст : непосредственный. Шевелев Ю.П. Автоматизация самоконтроля в системе обучения СИМВОЛ / Ю.П.Шевелев, 1996. - 111 с. - Текст : непосредственный. Шевелев, Ю. П. Дискретная математика : Учеб. пособие. Ч. 1 : Теория множеств. Булева алгебра (Автоматизированная технология обучения "Символ") : Учеб. пособие / Ю.П. Шевелев, 2003. - 119 с. - Текст : непосредственный. Шевелев М.Ю. Технические средства контроля знаний для систем автоматизированного обучения / М. Ю. Шевелев, Ю. П. Шевелев, 2006. - 233 с. - Текст : непосредственный. Шипачев В.С. Высшая математика / В. С. Шипачев, 2002. - 479 с. - Текст : непосредственный. Высшая математика / Ю. Н. Владимиров, Е. Е. Каленкович, Л. С. Колодко, 1997. - 139 с. - Текст : непосредственный. Исламова А.Ф. Высшая математика : выставочные материалы / А. Ф. Исламова, А. В. Нагуманова, 2015. - 130 с. - Текст : непосредственный. Благодатских В.И. Введение в оптимальное управление. Линейная теория / В. И. Благодатских, 2001. - 239 с. - Текст : непосредственный. Живетин В.Б. Высшая математика / В. Б. Живетин, 2000. - 568 с. - Текст : непосредственный. Сахарников Н.А. Высшая математика, 1973. - 472 с. - Текст : непосредственный. Шевелев Ю.П. Высшая математика : Учеб.пособие для студентов техн.вузов, для сред.шк. 5 : Дискретная математикаЧ. 1. Теория множеств. Булева алгебра (для автоматизированной технологии обучения), 1998. - 114 с. - Текст : непосредственный. Шамолин М.В. Высшая математика : учебное пособие / М. В. Шамолин, 2009. - 909 с. - Текст : непосредственный. Ильин В.А. Высшая математика : учебное пособие / В. А. Ильин, А. В. Куркина, 2012. - 592 с. - Текст : непосредственный. Иванов В.П. Математическая статистика в инженерных задачах : выставочные материалы / В. П. Иванов, А. Ю. Лемин, 2016. - 53 с. - Текст : непосредственный. Садовничий В.А. Теория операторов / В. А. Садовничий, 1999. - 368 с. - Текст : непосредственный. Потапов М.К. Алгебра, тригонометрия и элементарные функции / М. К. Потапов, В. В. Александров, П. И. Пасиченко, 2001. - 735 с. - Текст : непосредственный. Мочалин А.А. Высшая математика / А. А. Мочалин, Г. А. Гончарова, Е. В. Гарбуз, 2001. - 127 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Мир математики : в 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 с. - Текст : непосредственный. Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике" : 13-15 мая 2003 г. . Т. 2 : Алгебраические логики, импликативная и предикатная алгебры выбора в задачах науки и техники, 2003. - 138 с. - Текст : непосредственный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Гейтинг А. Интуиционизм. Введение / А. Гейтинг, 2010. - 164 с. - Текст : непосредственный. Окстоби Дж. Мера и категория / Дж. Окстоби, 2008. - 157 с. - Текст : непосредственный. Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Показать все результаты Окстоби Дж. Мера и категория / Дж. Окстоби, 2008. - 157 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Козловский А.В. Дискретная математика: Основные теоретико-множественные конструкции : Учеб. пособие. Ч. 7 / ред. Н. В. Крапухина, 2010. - 127 с. - Текст : непосредственный. Transactions on rough sets V / SpringerLink (Online service), 2006 r=on-line Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 2015. - 120 с. - Текст : непосредственный. Множества и алгоритмы : выставочные материалы / И. Ю. Харитонова, Н. М. Богословская, Ю. Г. Сергеев, С. И. Вдовин, 2016. - 98 с. - Текст : непосредственный. Шестопал В.Е. Ограничение иерархии фон Неймана в теории множеств Цермело / В. Е. Шестопал, 1997. - 19 с. - Текст : непосредственный. Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный. 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 с. - Текст : непосредственный. Лапшин А.Б. Дискретная математика и математическая логика : Учеб. пособие. Ч. 2 : Элементы алгебры логики, 2004. - 32 с. - Текст : непосредственный. Перязев Н.А. Основы теории булевых функций / Н. А. Перязев, 1999. - 110 с. - Текст : непосредственный. Зуев Ю.А. По океану дискретной математики. От перечислительной комбинаторики до современной криптографии. Т. 1 : Основные структуры. Методы перечисления. Булевы функции., 2017. - 273 с. - Текст : непосредственный. Волченская Т.В. Компьютерная математика : Учеб. пособие. Ч. 1 : Теория множеств и комбинаторика, 2003. - 88 с. - Текст : непосредственный. Гуров С.И. Булевы алгебры, упорядоченные множества, решетки. Определения, свойства, примеры / С. И. Гуров, 2013. - 349 с. - Текст : непосредственный. Ахметова Н.А. Дискретная математика. Функции алгебры логики / Н. А. Ахметова, З. М. Усманова, 2000. - 143 с. - Текст : непосредственный. Показать все результаты Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике" : 13-15 мая 2003 г. . Т. 2 : Алгебраические логики, импликативная и предикатная алгебры выбора в задачах науки и техники, 2003. - 138 с. - Текст : непосредственный. Окстоби Дж. Мера и категория / Дж. Окстоби, 2008. - 157 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Козловский А.В. Дискретная математика: Основные теоретико-множественные конструкции : Учеб. пособие. Ч. 7 / ред. Н. В. Крапухина, 2010. - 127 с. - Текст : непосредственный. Transactions on rough sets V / SpringerLink (Online service), 2006 r=on-line Мальцев И.А. Итеративные алгебры, близкие к транзитивным : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / И. А. Мальцев, 2004. - 26 с. - Текст : непосредственный. Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 2015. - 120 с. - Текст : непосредственный. Множества и алгоритмы : выставочные материалы / И. Ю. Харитонова, Н. М. Богословская, Ю. Г. Сергеев, С. И. Вдовин, 2016. - 98 с. - Текст : непосредственный. Шестопал В.Е. Ограничение иерархии фон Неймана в теории множеств Цермело / В. Е. Шестопал, 1997. - 19 с. - Текст : непосредственный. Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный. Димитров В.П. Введение в теорию нечетких множеств : учебное пособие / В. П. Димитров, Л. В. Борисова, 2009. - 83 с. - Текст : непосредственный. Seria monografie / Politech. Czestochowska. nr 149 : Scheduling with applying rough sets theory / H. Piech, 2008. - 170 p. - Текст : непосредственный. Орловский С.А. On properties of objects and fuzzy sets / С. А. Орловский, 1992. - 40 p. - Текст : непосредственный. Dompere K. Fuzzy rationality / K. Dompere, 2009 r=on-line. - Текст : электронный. Dompere K. Epistemic foundations of fuzziness / K. Dompere, 2009 r=on-line. - Текст : электронный. Dompere K. Fuzziness and approximate reasoning / K. Dompere, 2009 r=on-line. - Текст : электронный. Хаусдорф Ф. Теория множеств : монография / Ф. Хаусдорф, 2004. - 302 с. - Текст : непосредственный. Перязева Ю.В. Минимизация булевых функций в классах бинарных термов и полиномиальных нормальных форм : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / Ю. В. Перязева, 1999. - 18 с. - Текст : непосредственный. Deiser O. Einfuhrung in die Mengenlehre / O. Deiser, 2010 r=on-line. - Текст : электронный. Аль Баяти Джелал Хатем Хуссейн.So-множества и их приложения / Аль Баяти Джелал Хатем Хуссейн, 2013. - 14 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
