Полное описание
> Кораблёв, Ф. Г. Дискретная математика: комбинаторика и математическая логика : учебное пособие / Ф. Г. Кораблёв, А. Н. Ручай, Л. В. Шалагинов ; Челябинский государственный университет. - Челябинск : Изд-во Челяб. гос. ун-та, 2017. - 147 с. : ил. - (Классическое университетское образование). - Библиогр.: с. 146-147 (13 назв.). - 100 экз. - Текст : непосредственный.
ГРНТИ УДК 27.45.15 519.1 27.03.19 510
Рубрики: Комбинаторика (матем.)
Математическая логика
Доп. точки доступа: Ручай, А.Н.
Шалагинов, Л.В.
Кораблев Ф.Г.
Челябинский государственный университет
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-17/51619)>
Шифр в сводном ЭК: c0e843a0f8f4df3d387c1f08d5eab95b
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Ручай А.Н. Текстозависимая верификация диктора: модель, статистические исследования, комплекс программ : автореф. дис. .. канд. физ.-мат. наук: 05.13.18 / А. Н. Ручай, 2012. - 22 с. - Текст : непосредственный. Ручай А.Н. Биометрика. Текстозависимая верификация диктора : учеб. пособие / А. Н. Ручай, 2014. - 134 с. - Текст : непосредственный. Ручай А.Н. Линейные рекуррентные последовательности в MATLAB : практикум / А. Н. Ручай, 2015. - 99 с. - Текст : непосредственный. Кораблёв Ф.Г. Дискретная математика: комбинаторика и математическая логика : учебное пособие / Ф. Г. Кораблёв, А. Н. Ручай, Л. В. Шалагинов, 2017. - 147 с. - Текст : непосредственный. Шалагинов Л.В. Алгебраические и локальные характеризации некоторых классов графов Деза : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / Л. В. Шалагинов, 2011. - 16 с. - Текст : непосредственный. Фельдман Е. В. Модель выявления аномальных банковских транзакций на основе машинного обучения / Е. В. Фельдман, А. Н. Ручай, Д. Ю. Чербаджи. - Текст : непосредственный // Вестн. УрФО. Безопасность в информ. сфере : журнал / Южно-Уральский государственный университет. - Челябинск : Южно-Уральский юрид. вестник, 2021. - N 1.- С.27-35. Ручай А.Н. Биометрическая аутентификация диктора в MATLAB : Учебное пособие / А.Н. Ручай, 2024. - 165 с. - Текст : электронный. Исламова А.Ф. Высшая математика : выставочные материалы / А. Ф. Исламова, А. В. Нагуманова, 2015. - 130 с. - Текст : непосредственный. Ручин А.Б. Урбоэкология для биологов : выставочные материалы / А. Б. Ручин, В. В. Мещеряков, С. Н. Спиридонов, 2009. - 195 с. - Текст : непосредственный. Седов В.В. Экономическая теория : учеб. пособие: в 3 ч. Ч. 3 : Макроэкономика, 2012. - 353 с. - Текст : непосредственный. Ухоботов В.И. Введение в теорию принятия решений при неопределенностях : выставочные материалы / В. И. Ухоботов, 2015. - 138 с. - Текст : непосредственный. Кузнецова Л.А. Организационное проектирование : выставочные материалы / Л. А. Кузнецова, А. П. Карпович, 2011. - 121 с. - Текст : непосредственный. Трошкова Е.А. История государственного управления в России : выставочные материалы / Е. А. Трошкова, 2014. - 339 с. - Текст : непосредственный. Кудрявцева И.Ю. Основы аудита : выставочные материалы / И. Ю. Кудрявцева, 2013. - 178 с. - Текст : непосредственный. Горшков А.В. История управленческой мысли : выставочные материалы / А. В. Горшков, М. С. Федотов, 2015. - 138 с. - Текст : непосредственный. Николаева Е.В. Экономика предприятия : выставочные материалы / Е. В. Николаева, В. И. Бархатов, 2016. - 217 с. - Текст : непосредственный. Сбродова Е.А. Линейная алгебра : выставочные материалы / Е. А. Сбродова, Е. А. Фоминых, 2016. - 102 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Региональные и отраслевые проблемы конкурентоспособности экономики и образования : Междунар. науч.-практ. конф. [в рамках] III Урал. вернисажа науки и бизнеса, 18 марта 2016 г., Челябинск: материалы и докл. / Челяб. гос. ун-т, Рос. ассоц. содействия науке, 2016. - 227 с. - Текст : непосредственный. Седов В.В. Эколого-экономическая безопасность организации : учебное пособие / В. В. Седов, 2018. - 132 с. - Текст : непосредственный. Институциальная экономика : учебное пособие / В. И. Бархатов, Е. С. Силова, Д. А. Плетнев [и др.], 2017. - 288 с. - Текст : непосредственный. Современные проблемы управления организациями, территориями, страной: взгляд молодых / Челябинский государственный университет, 2017. - 198 с. - Текст : непосредственный. Фазлитдинова А.Г. Сопротивление материалов : учебное пособие / А. Г. Фазлитдинова, В. В. Ховайло, 2017. - 95 с. - Текст : непосредственный. Студент и научно-технический прогресс / Челябинский государственный университет, 2017. - 262 с. - Текст : непосредственный. Клименко В.А. Двузнаковая гравитация / В. А. Клименко, А. В. Клименко, 2017. - 289 с. - Текст : непосредственный. Антонова О.А. Тарифная и ценовая политика в сфере жилищно-коммунального хозяйства : учебное пособие / О. А. Антонова, 2018. - 180 с. - Текст : непосредственный. Алексеев М.Н. Практикум по технологии программирования / М. Н. Алексеев, А. Ю. Маковецкий, 2018. - 110 с. - Текст : непосредственный. Современные технологии управления: состояние, проблемы, перспективы : монография / В. А. Грищук, Е. А. Колесник, Е. М. Колмакова [и др.], 2018. - 177 с. - Текст : непосредственный. Двинин Д.Ю. Экологический менеджмент и аудит : учебное пособие / Д. Ю. Двинин, 2018. - 113 с. - Текст : непосредственный. Неочевидные вопросы налогообложения малого бизнеса в Российской Федерации / В. И. Бархатов, Е. В. Шестакова, С. В. Каледин, Ю. Ш. Капкаев, 2018. - 233 с. - Текст : непосредственный. Ильин А.М. Избранные научные труды. Математика / А. М. Ильин ; Сост. А. Р. Данилин, 2018. - 583 с. - Текст : непосредственный. Сайкова Е.А. Финансовая безопасность государства : монография / Е. А. Сайкова, К. С. Загретдинова, 2018. - 125 с. - Текст : непосредственный. Общество, экономика, управление : научный журнал / Челябинский государственный университет. - Журнал выходит с 2018г. - Текст : непосредственный. Земцова Е.М. Методы принятия управленческих решений : учебно-методическое пособие / Е. М. Земцова, Г. Н. Пряхин, 2019. - 111 с. - Текст : непосредственный. Бутлеровское наследие : серия / Министерство образования и науки Российской Федерации, Челябинский государственный университет, Научный фонд имени А. М. Бутлерова (НФБ). Кн. 1 : Нанотоковые сегнетоэлектрики гелевых оксигидратов : монография / Ю. И. Сухарев, И. Ю. Апаликова, 2019. - 440 с. - Текст : непосредственный. Коноплев Д.Э. Вёрстка и web-дизайн в современных медиа : учебное пособие / Д. Э. Коноплев, 2019. - 94 с. - Текст : непосредственный. Сухарев Ю.И. Коллоидный кластерный периодический формализм : монография / Ю. И. Сухарев, Б. А. Марков, 2019. - 214 с. - Текст : непосредственный. Актуальные проблемы менеджмента, экономики и экономической безопасности : сборник материалов Международной научной конференции, [Костанай, 27-29 мая 2019 г.] / Челябинский государственный университет, 2019. - 341 с. - Текст : непосредственный. Показать все результаты Мир математики : в 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 с. - Текст : непосредственный. Проценко Е.А. Бинарные соответствия и отношения. Функции : выставочные материалы / Е. А. Проценко, Ю. В. Трофименко, 2013. - 162 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Корженевич Ю.В. Комбинаторные задачи / Ю. В. Корженевич, 1989. - 116 с. - Текст : непосредственный. Тюрнева Т.Г. Комбинаторные методы перечисления плоских корневых деревьев и путей на решетках : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / Т. Г. Тюрнева, 2004. - 18 с. - Текст : непосредственный. Кручинин В.В. Степени производящих функций и их применение / В. В. Кручинин, Д. В. Кручинин, 2013. - 234 с. - Текст : непосредственный. Castellet M. Combinatorial number theory and additive group theory / M. Castellet, A. Geroldinger, I. Z. Ruzsa, 2009 r=on-line Hazewinkel M. Counting interlacing pairs on the circle / M. Hazewinkel, V. V. Kalashnikov, 1995. - 3 p. - Текст : непосредственный. Hazewinkel M. Linked balanced designs are symmetric BIBD's / M. Hazewinkel. - 5 p. - Текст : непосредственный. Никольская И.Л. Знакомство с математической логикой / И. Л. Никольская, 1998. - 128 с. - Текст : непосредственный. Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный. Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. Проценко Е.А. Бинарные соответствия и отношения. Функции : выставочные материалы / Е. А. Проценко, Ю. В. Трофименко, 2013. - 162 с. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный. Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный. Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный. Мир математики : [в 45 т.]. [Т.] 34 : Искусство подсчета. Комбинаторика и перечисление : [пер. с исп.] / Х. Руэ, 2014. - 140 с. - Текст : непосредственный. Орехов Ю.В. Математическая логика / Ю. В. Орехов, Э. Ю. Орехов, 2006. - 161 с. - Текст : непосредственный. Makkai M. Duality and definability in first order logic / M. Makkai, 1993. - X,106 p. p. - Текст : непосредственный. Лексаченко В.А. Дискретная математика. Математическая логика и теория множества / В. А. Лексаченко, 1998. - 49 с. - Текст : непосредственный. Тимофеева И.Л. Математическая логика / И. Л. Тимофеева, 2007. - 303 с. - Текст : непосредственный. Шрайнер П.А. О фрагменте предикатной интуиционистской логики, полном относительно шкал Крипке с конечными областями / П. А. Шрайнер, 1998. - 21 с. - Текст : непосредственный. Тишковский Д.Е. Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик / Д. Е. Тишковский, 1998. - 15 с. - Текст : непосредственный. Математическая логика и теория алгоритмов : выставочные материалы / Сост. Д. В. Ефимов, 2012. - 99 с. - Текст : непосредственный. Показать все результаты Басакер Р. Конечные графы и сети / Р. Басакер, Т. Саати; пер. с англ. В. Н. Буркова, С. Е. Ловецкого, В. Б. Соколова; под ред. А. И. Теймана, 1974. - 366 с. - Текст : непосредственный. Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный. Абросимов М.Б. Минимальные расширения графов : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. Б. Абросимов, 2001. - 20 с. - Текст : непосредственный. Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 2006. - 255 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. Бондаренко Б.А. Обобщенные треугольники и пирамиды Паскаля, их фрактали, графы и приложения / Б. А. Бондаренко, 1990. - 191 c. - Текст : непосредственный. Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный. Оре О. Графы и их применение / О. Оре, 2007. - 172 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 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 с. - Текст : непосредственный. Ломазова И.А. Вложенные сети Петри : монография / И. А. Ломазова, 2004. - 207 с. - Текст : непосредственный. Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный. Лашева М.И. Переключательные алгоритмы преобразования графов / М. И. Лашева, 2011. - 16 с. - Текст : непосредственный. Szumakowicz E. Natura poznania matematycznego / E. Szumakowicz, 1994. - 151 p. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽