Полное описание
Путилов, С. В.
Рубрики: Математическая логика
Доп. точки доступа: Корпачёва, М.А.
Корпачева, М.А.
Сорокина, М.М.
Брянский государственный университет имени И. Г. Петровского
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-18/63082)
Шифр в сводном ЭК: c983e6db9b309fc925c9902dacc07544
Сорокина М.М. Бюджетное планирование и прогнозирование / М. М. Сорокина, 2003. - 152 с. - Текст : непосредственный. Финансы бюджетных организаций : сборник / Сост. М. М. Сорокина, 2003. - 83 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Сорокина М.М. Теория автоматов и формальных языков : учебник / М. М. Сорокина, А. Б. Еловиков, 2012. - 153 с. - Текст : непосредственный. Путилов С.В. Математическая логика : учебное пособие для студентов направлений подготовки бакалавров 01.03.02 "Прикладная математика и информатика", 02.03.02 "Фундаментальная информатика и информационные технологии", 44.03.01 "Педагогическое образование", направленность (профиль) "Математика", 44.03.05 "Педагогическое образование", направленность (профили) "Физика", "Информатика", 44.03.05 "Педагогическое образование", направленность (профили) "Информатика", "Иностранный язык (английский)" / С. В. Путилов, М.А. Корпачёва, М. М. Сорокина, 2018. - 169 с. - Текст : непосредственный. Корпачева М.А. Линейная алгебра : учебное пособие для студентов финансово-экономического факультета / М. А. Корпачева, С. В. Путилов, 2018. - 102 с. - Текст : непосредственный. Еловикова, Ю. А. Основы общей алгебры : учебное пособие для студентов направления подготовки бакалавров 44.03.01 "Педагогическое образование", профиль "Математика". Ч. 1, 2018. - 94 с. - Текст : непосредственный. Сорокина М.М. Композиционные критические формации конечных групп : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / М. М. Сорокина, 1998. - 12 с. - Текст : непосредственный. Сорокина М.М. Элементы теории автоматов и формальных языков : учебное пособие для студентов направлений подготовки бакалавров 01.03.02 "Прикладная математика и информатика", 02.03.02 "Фундаментальная информатика и информационные технологии" / М. М. Сорокина, А. Б. Еловиков, 2017. - 150 с. - Текст : непосредственный. Коптюх Д.Г. Многочлены и их приложения : учеб. пособие для студентов направлений подготовки бакалавров: 050100.62 "Педагог. образование"; 010400.62 "Приклад. математика и информатика"; 01300.62 "Фундамент. информатика и информ. технол.; / Д. Г. Коптюх, С. В. Путилов, С. В. Чиспияков, 2013. - 190 с. - Текст : непосредственный. Еловикова, Ю. А. Линейная алгебра : учебное пособие для студентов направления подготовки бакалавров 44.03.01 "Педагогическое образование", профиль "Математика". Ч. 3, 2019. - 144 с. - Текст : непосредственный. Сорокина М.М. Теория конечных графов и ее приложения : учеб. пособие для студентов направления подготовки бакалавров 010300.62 "Фундамент. информатика и информ. технол." / М. М. Сорокина, 2013. - 174 с. - Текст : непосредственный. Путилов С.В. Теория чисел : учебное пособие для студентов направлений подготовки бакалавров 44.03.01. "Педагогическое образование", направленность (профиль) "Математика", 44.03.05 "Педагогическое образование", направленность (профили) "Информатика" и "Иностранный язык (английский)" / С. В. Путилов, М. А. Корпачёва, 2017. - 125 с. - Текст : непосредственный. Сорокина М.М. Формации конечных групп и их применения : автореф. дис. .. д-ра физ.-мат. наук: 01.01.06 / М. М. Сорокина, 2018. - 27 с. - Текст : непосредственный. Ладнова Г.Г. Учебный практикум по экологическому мониторингу и контролю состояния сред обитания / Г. Г. Ладнова, Л. Н. Анищенко, 2017. - 142 с. - Текст : непосредственный. Фещенко В.В. Управление социальной сферой : учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению подготовки: 38.04.01 Экономика (профиль Экономика и региональное управление) (уровень магистратуры), 38.03.02 Менеджмент, 38.03.04 Государственное и муниципальное управление, 43.03.01 Сервис, 43.03.02 Туризм (уровень бакалавриата) / В. В. Фещенко, 2019. - 102 с. - Текст : непосредственный. Фещенко В.В. Деловые коммуникации : учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению подготовки 38.03.02 Менеджмент, 38.03.04. Государственное и муниципальное управление, 43.03.01 Сервис, 43.03.02 Туризм (уровень бакалавриата) / В. В. Фещенко, 2018. - 127 с. - Текст : непосредственный. Путилов С.В. Математическая логика : учебное пособие для студентов направлений подготовки бакалавров 01.03.02 "Прикладная математика и информатика", 02.03.02 "Фундаментальная информатика и информационные технологии", 44.03.01 "Педагогическое образование", направленность (профиль) "Математика", 44.03.05 "Педагогическое образование", направленность (профили) "Физика", "Информатика", 44.03.05 "Педагогическое образование", направленность (профили) "Информатика", "Иностранный язык (английский)" / С. В. Путилов, М.А. Корпачёва, М. М. Сорокина, 2018. - 169 с. - Текст : непосредственный. Корпачева М.А. Линейная алгебра : учебное пособие для студентов финансово-экономического факультета / М. А. Корпачева, С. В. Путилов, 2018. - 102 с. - Текст : непосредственный. Ежегодник НИИ фундаментальных и прикладных исследований за .. / , Брянский государственный университет имени И. Г. Петровского. .. 2017 год, 2017. - 189 с. - Текст : непосредственный. Ежегодник НИИ фундаментальных и прикладных исследований за .. / , Брянский государственный университет имени И. Г. Петровского. .. 2016 год, 2016. - 186 с. - Текст : непосредственный. Организация и ведение аварийно-спасательных работ : учебное пособие для подготовки бакалавров по направлению 20.03.01 - Техносферная безопасность / Министерство науки и высшего образования Российской Федерации, Брянский государственный университет имени И. Г. Петровского, 2019. - 127 с. - Текст : непосредственный. Трансформация процесса управления предприятием в рамках становления цифровой экономики : монография / О. В. Бабич, И. В. Игольникова, Л. С. Митюченко, И. Г. Чернышова, 2019. - 206 с. - Текст : непосредственный. Чернышова И.Г. Экономика : учебное пособие / И. Г. Чернышова, 2019. - 160 с. - Текст : непосредственный. Путилов С.В. Теория чисел : учебное пособие для студентов направлений подготовки бакалавров 44.03.01. "Педагогическое образование", направленность (профиль) "Математика", 44.03.05 "Педагогическое образование", направленность (профили) "Информатика" и "Иностранный язык (английский)" / С. В. Путилов, М. А. Корпачёва, 2017. - 125 с. - Текст : непосредственный. Митюченко Л.С. Финансовый менеджмент : учеб. пособие / Л. С. Митюченко, 2017. - 264 с. - Текст : непосредственный. Бабич О.В. Теория менеджмента: история управленческой мысли : учебное пособие / О. В. Бабич, Л. С. Митюченко, И. Г. Чернышова, 2019. - 167 с. - Текст : непосредственный. Тачкова И.А. Управление операциями : учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению подготовки 38.03.02 "Менеджмент" (уровень бакалавриата) / И. А. Тачкова, 2020. - 149 с. - Текст : непосредственный. Управление развитием территорий : учебное пособие / О. В. Бабич, И. В. Игольникова, И. А. Матюшкина [и др.], 2020. - 235 с. - Текст : непосредственный. Тачкова И.А. Регулирование развития продовольственного рынка региона : монография / И. А. Тачкова, В. В. Фещенко, 2020. - 163 с. - Текст : непосредственный. Анищенко Л.Н. Экология и природопользование в Брянской области : учебно-методическое пособие / Л. Н. Анищенко, М. В. Долганова, Е. В. Борздыко, 2020. - 187 с. - Текст : непосредственный. Ежегодник НИИ фундаментальных и прикладных исследований за .. / , Брянский государственный университет имени И. Г. Петровского. ..2018 год, 2019. - 159 с. - Текст : непосредственный. Муравьева С.Б. Научно-педагогические особенности организации процесса преподавания спецдисциплин бакалавриата с учетом оценки экологических последствий от лесных пожаров на территориях, пострадавших от аварии на Чернобыльской АЭС : монография / Муравьева С. Б., Высоцкий О. Г., Исаченко Ю. С., 2020. - 223 с. - Текст : непосредственный. Анищенко Л.Н. Учебная практика по общей экологии : учебное пособие / Л. Н. Анищенко, Е. Л. Ковалева, И. В. Мельников, 2020. - 203 с. - Текст : непосредственный. Показать все результаты Мир математики : в 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 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Никольская И.Л. Знакомство с математической логикой / И. Л. Никольская, 1998. - 128 с. - Текст : непосредственный. Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный. Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный. Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный. Шапировский И.Б. Алгоритмические свойства модальных логик информационных систем / И. Б. Шапировский, 2007. - 15 с. - Текст : непосредственный. Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный. Пак Бен Ха.Субрекурсивная реализуемость и логика предикатов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Пак Бен Ха, 2003. - 12 с. - Текст : непосредственный. Algebra and Model Theory : coll. of papers. 7, 2009. - 152 p. - Текст : непосредственный. Кузнецов С.Л. Категориальные грамматики, основанные на вариантах исчисления Ламбека / С. Л. Кузнецов, 2012. - 12 с. - Текст : непосредственный. Чернов А.В. О некоторых вариантах понятия реализуемости : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Чернов, 2003. - 16 с. - Текст : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 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. - Текст : непосредственный. Орехов Ю.В. Математическая логика / Ю. В. Орехов, Э. Ю. Орехов, 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 с. - Текст : непосредственный. Исследования по конструктивной математике и математической логике : Сб. 10, 1997. - 152 с. - Текст : непосредственный. Судоплатов С.В. Математическая логика и теория алгоритмов : учебное пособие / С. В. Судоплатов, Е. В. Овчинникова, 2008. - 224 с. - Текст : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный. Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 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 с. - Текст : непосредственный. Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный. 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 с. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Показать все результаты Путилов С.В. Математическая логика : учебное пособие для студентов направлений подготовки бакалавров 01.03.02 "Прикладная математика и информатика", 02.03.02 "Фундаментальная информатика и информационные технологии", 44.03.01 "Педагогическое образование", направленность (профиль) "Математика", 44.03.05 "Педагогическое образование", направленность (профили) "Физика", "Информатика", 44.03.05 "Педагогическое образование", направленность (профили) "Информатика", "Иностранный язык (английский)" / С. В. Путилов, М.А. Корпачёва, М. М. Сорокина, 2018. - 169 с. - Текст : непосредственный. Заказать
Заказ фрагмента документа ₽
Приложение
для Android
