Приложение
для AndroidПолное описание
Шевелев, Ю. П.
Дискретная математика : учеб. пособие / Ю. П. Шевелев. - Томск : [б. и.], 20 - . - В надзаг.: Томск. гос. ун-т систем упр. и радиоэлектроники. - Текст : непосредственный.
Ч. 1 : Теория множеств. Булева алгебра (Автоматизированная технология обучения "Символ") : учеб. пособие / Ю.П. Шевелев. - 2003. - 119 с. - (Символ-ИДС. Учебное пособие). - 100 экз. - ISBN 5-86889-186-4
Библиогр.: с. 116
| ГРНТИ | УДК | |
| 27.03.15 | 510.3 | |
| 27.17.21 | 512.563 |
Рубрики:
Множеств теория
Алгебра логики
Кл.слова (ненормированные): ~АЛГЕБРА ЛОГИКИ -- ~МНОЖЕСТВО -- ~ТЕОРИЯ
Нет сведений об экземплярах
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Н/17760/1)
Шифр в сводном ЭК: ab05a9c720c874044da3d6d6be4f098a
Шевелев Ю.П. Высшая математика : Учеб.пособие для студентов техн.вузов, для сред.шк. 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 с. - Текст : непосредственный.
Дискретная математика / Российская академия наук. - Журнал выходит с 1989г. - Текст : непосредственный.Михальченко Г.Е. Дискретная математика : учебное пособие / Г. Е. Михальченко, А. Г. Михальченко, 2011. - 127 с. - Текст : непосредственный.Новиков Ф.А. Дискретная математика : выставочные материалы / Ф. А. Новиков, 2013. - 399 с. - Текст : непосредственный.Морозенко В.В. Дискретная математика : учебное пособие / В. В. Морозенко, 2008. - 244 с. - Текст : непосредственный.Поздняков С.Н. Дискретная математика : учебное пособие / С. Н. Поздняков, С. В. Рыбин, 2008. - 448 с. - Текст : непосредственный.Дискретная математика : выставочные материалы / Хакасский гос. ун-т им. Н. Ф. Катанова (Абакан), 2014. - 77 с. - Текст : непосредственный.Эвнин А.Ю. Дискретная математика : учебное пособие / А. Ю. Эвнин, 2009. - 265 с. - Текст : непосредственный.Спирина М.С. Дискретная математика : учебное пособие / М. С. Спирина, П. А. Спирин, 2010. - 368 с. - Текст : непосредственный.Лебедева Н.Г. Дискретная математика / Н. Г. Лебедева, 2003. - 83 с. - Текст : непосредственный.Судоплатов С.В. Дискретная математика / С. В. Судоплатов, Е. В. Овчинникова, 2007. - 255 с. - Текст : непосредственный.Мальцев И.А. Дискретная математика : учебное пособие / И. А. Мальцев, 2011. - 290 с. - Текст : непосредственный.Милых В.А. Дискретная математика / В. А. Милых, И. Г. Уразбахтин, 2006. - 139 с. - Текст : непосредственный.Спирина М.С. Дискретная математика : учебное пособие / М. С. Спирина, П. А. Спирин, 2007. - 367 с. - Текст : непосредственный.Бесценная Е.В. Дискретная математика : выставочные материалы / Е. В. Бесценная, В. Н. Степанов, 2015. - 93 с. - Текст : непосредственный.Дискретная математика : выставочные материалы / Ю. Ю. Громов, О. Г. Иванова, Ю. В. Кулаков [и др.], 2012. - 127 с. - Текст : непосредственный.Эвнин А.Ю. Дискретная математика / А. Ю. Эвнин, 1998. - 176 с. - Текст : непосредственный.Зайцева С.С. Дискретная математика : учебное пособие / С. С. Зайцева, А. А. Виноградова, 2011. - 159 с. - Текст : непосредственный.Михайленко Е.В. Дискретная математика : выставочные материалы / Е. В. Михайленко, А. А. Хромых, 2016. - 102 с. - Текст : непосредственный.Рязанов Ю.Д. Дискретная математика : выставочные материалы / Ю. Д. Рязанов ; ред. В. И. Пустовая, 2016. - 297 с. - Текст : электронный.Дискретная математика : выставочные материалы / В. В. Меньших, А. Н. Копылов, В. А. Кучер, С. А. Телкова, 2016. - 228 с. - Текст : непосредственный.
Показать все результатыВейль Г. Математическое мышление : монография / Г. Вейль, 1989. - 400 с. - Текст : непосредственный.Szumakowicz E. Natura poznania matematycznego / E. Szumakowicz, 1994. - 151 p. - Текст : непосредственный.Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике" : 13-15 мая 2003 г. . Т. 2 : Алгебраические логики, импликативная и предикатная алгебры выбора в задачах науки и техники, 2003. - 138 с. - Текст : непосредственный.Гейтинг А. Интуиционизм. Введение / А. Гейтинг, 2010. - 164 с. - Текст : непосредственный.Окстоби Дж. Мера и категория / Дж. Окстоби, 2008. - 157 с. - Текст : непосредственный.Мальцев И.А. Итеративные алгебры, близкие к транзитивным : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / И. А. Мальцев, 2004. - 26 с. - Текст : непосредственный.Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 2015. - 120 с. - Текст : непосредственный.Канке В.А. Философия математики, физики, химии, биологии : учебное пособие / В. А. Канке, 2011. - 368 с. - Текст : непосредственный.Перминов В.Я. Философия и основания математики / В. Я. Перминов, 2001. - 319 с. - Текст : непосредственный.Шестопал В.Е. Ограничение иерархии фон Неймана в теории множеств Цермело / В. Е. Шестопал, 1997. - 19 с. - Текст : непосредственный.Подзоров С.Ю. Верхние полурешетки арифметических нумераций в арифметических m-степеней : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / С. Ю. Подзоров, 2010. - 18 с. - Текст : непосредственный.Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный.Seria monografie / Politech. Czestochowska. nr 149 : Scheduling with applying rough sets theory / H. Piech, 2008. - 170 p. - Текст : непосредственный.Семенова М.В. Разложения в полных решетках / М. В. Семенова, 2000. - 23 с. - Текст : непосредственный.Маренич Е.Е. Системы линейных уравнений над решетками / Е. Е. Маренич, В. Е. Маренич, 2007. - 122 с. - Текст : непосредственный.Егоров И.П. О математических структурах / И. П. Егоров, 2016. - 64 с. - Текст : непосредственный.Хаусдорф Ф. Теория множеств : монография / Ф. Хаусдорф, 2004. - 302 с. - Текст : непосредственный.Запатрин Р.Р. Полугрупповая координатизация решеток : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Р. Р. Запатрин, 1999. - 7 с. - Текст : непосредственный.Перязева Ю.В. Минимизация булевых функций в классах бинарных термов и полиномиальных нормальных форм : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / Ю. В. Перязева, 1999. - 18 с. - Текст : непосредственный.Семигродских А.П. Решетки замкнутых классов функций на бесконечном множестве : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Семигродских, 2003. - 16 с. - Текст : непосредственный.
Показать все результатыОкстоби Дж. Мера и категория / Дж. Окстоби, 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 с. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Мальцев И.А. Итеративные алгебры, близкие к транзитивным : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / И. А. Мальцев, 2004. - 26 с. - Текст : непосредственный.Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 2015. - 120 с. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Перязева Ю.В. Минимизация булевых функций в классах бинарных термов и полиномиальных нормальных форм : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / Ю. В. Перязева, 1999. - 18 с. - Текст : непосредственный.Шевелев Ю.П. Высшая математика : Учеб.пособие для студентов техн.вузов, для сред.шк. 5 : Дискретная математикаЧ. 1. Теория множеств. Булева алгебра (для автоматизированной технологии обучения), 1998. - 114 с. - Текст : непосредственный.Лапшин А.Б. Дискретная математика и математическая логика : Учеб. пособие. Ч. 2 : Элементы алгебры логики, 2004. - 32 с. - Текст : непосредственный.Перязев Н.А. Основы теории булевых функций / Н. А. Перязев, 1999. - 110 с. - Текст : непосредственный.Зуев Ю.А. По океану дискретной математики. От перечислительной комбинаторики до современной криптографии. Т. 1 : Основные структуры. Методы перечисления. Булевы функции., 2017. - 273 с. - Текст : непосредственный.Шаранхаев И.К. Слабоповторные булевы функции в предэлементарных базисах : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / И. К. Шаранхаев, 2003. - 11 с. - Текст : непосредственный.Ахметова Н.А. Дискретная математика. Функции алгебры логики / Н. А. Ахметова, З. М. Усманова, 2000. - 143 с. - Текст : непосредственный.Плоткин Б.И. Универсальная алгебра, алгебраическая логика и базы данных / Б. И. Плоткин, 1991. - 446 с. - Текст : непосредственный.Винокуров С.Ф. Операторы в полиномиальных представлениях булевых функций : специальность 01.01.09 "" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / С. Ф. Винокуров, 2001. - 27 с. - Текст : непосредственный.Нигматуллин Р.Г. Сложность булевых функций / Р. Г. Нигматуллин, 1991. - 239 c. - Текст : непосредственный.Theory and applications of satisfiability testing / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Рябец Л.В. Сложность и алгоритмы построения проверяюших тестов и некоторых классов полиномиальных форм булевых функций : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / Л. В. Рябец, 2007. - 18 с. - Текст : непосредственный.Kranakis E. Computing boolean functions on Cayley networks (Extended abstract) / E. Kranakis, D. Krizanc, 1990. - 18 p. - Текст : непосредственный.Яновская С.А. Лекции по алгебре логики / С. А. Яновская ; Сост.: Б. В. Бирюков, З. А. Кузичева, 2015. - 257 с. - Текст : непосредственный.Steinbach B. Logic functions and equations / B. Steinbach, C. Posthoff, 2009 r=on-line. - Текст : электронный.
Показать все результатыЗаказ фрагмента документа ₽