Приложение
для AndroidПолное описание
Дьячкина, И. П. Дискретная математика. Математическая логика и теория алгоритмов : учеб. пособие / И. П. Дьячкина, Н. В. Плотникова, И. А. Сарычева ; [науч. ред. А. В. Толстиков] ; Череповец. гос. ун-т. - Череповец : ЧГУ, 2015. - 198 с. : ил. - Библиогр.: с. 197-198 (24 назв.). - 300 экз. - ISBN 978-5-85341-665-9 : 20 р. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.03 | 510 |
Рубрики:
Математическая логика
Алгоритмы
Доп. точки доступа:
Плотникова, Н.В.
Сарычева, И.А.
Череповецкий гос. ун-т
Имеются экземпляры в отделах: всего 2 : ХРЦ (2)
Свободны: ХРЦ (2)
Технология и оборудование сталеплавильного и прокатного производства : Всерос. сб. науч. тр. / Череповец. гос. ун-т. Вып. 1, 1997. - 155 с. - Текст : непосредственный.Вестник Череповецкого государственного университета : Науч. журн. Экономические, естественные и технические науки. - Журнал выходит с 2002г.Ученые записки Череповецкого государственного университета : науч. журн. / Череповецкий гос. ун-т. - Журнал выходит с 2009г. - Текст : непосредственный.Плашенков В.В. Обеспечение безопасности бизнеса промышленных предприятий. Теория и практика : учеб. пособие / В. В. Плашенков, 2014. - 330 с. - Текст : непосредственный.Современные информационные технологии. Теория и практика : материалы I Всерос. науч.-практ. конф., 20 нояб. 2014 г., Череповец / Череповец. гос. ун-т, 2015. - 247 с.Лукин С.В. Физическое моделирование процессов передачи теплоты : учеб. пособие / С. В. Лукин, 2015. - 111 с.Череповецкие научные чтения - 2014 : материалы Всерос. науч.-практ. конф., 11-12 нояб. 2014 г. / Череповец. гос. ун-т. Ч. 3(2) : Естественные, экономические, технические науки и математика, 2015. - 226 с.Череповецкие научные чтения - 2014 : материалы Всерос. науч.-практ. конф., 11-12 нояб. 2014 г. / Череповец. гос. ун-т. Ч. 3(1) : Естественные, экономические, технические науки и математика, 2015. - 268 с.Гордобаева Т.В. Математический анализ. Дифференциальное и интегральное исчисление функций одной и нескольких переменных : учеб. пособие / Т. В. Гордобаева, Г. А. Киселева, И. А. Сенатова, 2015. - 132 с.История и методология строительной науки и производства : учеб. пособие / А. Г. Каптюшина [и др.], 2015. - 172 с.Научно-технический прогресс в черной металлургии : 2-я Междунар. науч.-техн. конф., 7 - 9 окт. 2015 г. / Череповец. гос. ун-т [и др.], 2015. - 355 с. - Текст : непосредственный.Шутикова М.И. Методы математической статистики и информатики для обработки данных : учеб. пособие / М. И. Шутикова, С. А. Парыгина, 2015. - 78 с. - Текст : непосредственный.Грызлов В.С. Компетентностно-модульный подход в высшем техническом образовании : монография / В. С. Грызлов, 2015. - 208 с.Дьячкина И.П. Дискретная математика. Математическая логика и теория алгоритмов : учеб. пособие / И. П. Дьячкина, Н. В. Плотникова, И. А. Сарычева ; [науч. ред. А. В. Толстиков], 2015. - 198 с.Калько О.А. Физическая химия. Лабораторный практикум : учеб. пособие / О. А. Калько, Ю. С. Кузнецова, О. В. Ульянова, 2015. - 118 с.Леонов П.Г. Средства автоматизации и управления. Измерение электрических величин : учеб. пособие / П. Г. Леонов, А. Л. Смыслова, С. А. Пойгина, 2015. - 142 с. - Текст : непосредственный.Синицын Н.Н. Математическое моделирование процессов тепломассообмена : учеб. пособие / Н. Н. Синицын, 2015. - 2015 с.Егоренкова С.В. Системы менеджмента безопасности труда : учеб. пособие / С. В. Егоренкова, Г. А. Егоренков, П. М. Быков, 2016. - 162 с.Современные информационные технологии. Теория и практика : материалы II Всерос. науч.-практ. конф. в рамах ИТ-форума "ICITY 2015: Информатизация пром. города", 19 нояб. 2015 г., Череповец / Череповец. гос. ун-т, 2016. - 221 с.Научно-технический прогресс в черной металлургии : материалы II Междунар. науч.-техн. конф., 7-9 окт. 2015 г. / Череповец. гос. ун-т, ПАО "СЕВЕРСТАЛЬ", 2015. - 280 с.
Показать все результатыАхтямов Р.Б. Сложностные свойства индексных множеств : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.06 / Р. Б. Ахтямов, 1991. - 16 с. - Текст : непосредственный.Федоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Заурбеков С.С. Оценки алгоритмической сложности некоторых семантических классов предложений : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. С. Заурбеков, 1991. - 10 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Хисамиев Н.Г. Конструктивные абелевы группы : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Н. Г. Хисамиев, 1990. - 24 с. - Текст : непосредственный.Морозов А.С. Группы вычислительных автоморфизмов : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. С. Морозов, 1990. - 15 с. - Текст : непосредственный.Вайценавичюс Р.Ю. Главные нумерации вычислимых функционалов на допустимых множествах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Р. Ю. Вайценавичюс, 1991. - 11 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Белякин Н.В. Теория вычислений с оракулами и рекурсивных иерархий : Автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:01.01.06 / Н. В. Белякин, 1992. - 23 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Чашкин А.В. О сложности булевых матриц : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Чашкин, 1994. - 12 с. - Текст : непосредственный.Белеградек О.В. Теория моделей унитреугольных и экзистенциально замкнутых групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / О. В. Белеградек, 1995. - 32 с. - Текст : непосредственный.
Показать все результатыSommerhalder R. A resolution method for some systems of MODAL LOGIC : Diss. / R.Sommerhalder, 1992. - 173 p. - Текст : непосредственный.Koornwinder T.H. On Zeilberger's algorithm and its q-analogue:a rigorous description / T.H.Koornwinder, 1992. - 21 p. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Nerode A. Logic for applications / A.Nerode,R.A.Shore, 1993. - XVII,365 p. p. - Текст : непосредственный.Makkai M. Duality and definability in first order logic / M.Makkai, 1993. - X,106 p. p. - Текст : непосредственный.Leeuwen M.A.A. van The Robinson-Schensted and Schutzenberger algorithms. Pt. 1 : New combinatorial proofs, 1992. - 44 p. - Текст : непосредственный.Leeuwen M.A.A. van The Robinson-Schensted and Schutzenberger algorithms. Pt. 2 : Geometric interpretations, 1992. - 20 p. - Текст : непосредственный.Keller J. Fast parallel permutation algorithms / J.Keller, 1993. - 7 p. - Текст : непосредственный.Benthem J.van Modal logic,transition systems and processes / J.van Benthem,D.J.N.van Eijck,V.Stebletsova, 1993. - 43 p. - Текст : непосредственный.Модели,алгоритмы,программы : Сб. науч. тр. / Тверской гос.ун-т, 1993. - 133 с. - Текст : непосредственный.Матричные методы и алгоритмы : Сб. науч. тр. / Рос.АН.Ин-т вычисл.математики, 1993. - 170 c. - Текст : непосредственный.Математическая логика и теория алгоритмов : Сб. / Отв. ред. Ю.Л.Ершов, С.С.Гончаров, 1993. - 201 c. - Текст : непосредственный.Абаев Н.Б. Выявление скрытых законов логики и приложение их к строгим наукам / Н.Б.Абаев, 1993. - 164 c. - Текст : непосредственный.Computer algorithms : key search strategies / сост.ed. J. Aoe, 1991. - XI,139 p. p. - Текст : непосредственный.Saad Y. Theoretical error bounds and general analysis of a few Lanczos-type algorithms / Y.Saad, 1994. - 12 p. - Текст : непосредственный.Волощенко Ю.И. Разработка алгоритмов методом структурного программирования : Учеб. пособие / Ю.И.Волощенко,А.И.Заковряшин, 1994. - 59 c. - Текст : непосредственный.Криницкий Н.А. Аналитическая теория алгоритмов / Н.А.Криницкий, 1994. - 351 c. - Текст : непосредственный.Ben-Shalom D. A path-based variable-free system for predicate logic / D.Ben-Shalom, 1994. - 12 p. - Текст : непосредственный.Булос Д. Вычислимость и логика : Пер.с англ.В.А.Душского и Е.Ю.Ногиной под ред.С.Н.Артемова / Д.Булос,Р.Джеффри, 1994. - 396 c. - Текст : непосредственный.Rijke M.de A Lindstrom theorem for modal logic / M.de Rijke, 1994. - 13 p. - Текст : непосредственный.
Показать все результатыАхтямов Р.Б. Сложностные свойства индексных множеств : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.06 / Р. Б. Ахтямов, 1991. - 16 с. - Текст : непосредственный.Федоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Заурбеков С.С. Оценки алгоритмической сложности некоторых семантических классов предложений : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. С. Заурбеков, 1991. - 10 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Морозов А.С. Группы вычислительных автоморфизмов : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. С. Морозов, 1990. - 15 с. - Текст : непосредственный.Вайценавичюс Р.Ю. Главные нумерации вычислимых функционалов на допустимых множествах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Р. Ю. Вайценавичюс, 1991. - 11 с. - Текст : непосредственный.Кожевникова Г.П. Методы сборочно-конкретизирующего анализа вычислительной сложности алгоритмов и их приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.11 / Г. П. Кожевникова, 1991. - 33 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Белякин Н.В. Теория вычислений с оракулами и рекурсивных иерархий : Автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:01.01.06 / Н. В. Белякин, 1992. - 23 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Чашкин А.В. О сложности булевых матриц : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Чашкин, 1994. - 12 с. - Текст : непосредственный.Белеградек О.В. Теория моделей унитреугольных и экзистенциально замкнутых групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / О. В. Белеградек, 1995. - 32 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽