Приложение
для AndroidПолное описание
Путилов, С. В. Математическая логика : учебное пособие для студентов направлений подготовки бакалавров 01.03.02 "Прикладная математика и информатика", 02.03.02 "Фундаментальная информатика и информационные технологии", 44.03.01 "Педагогическое образование", направленность (профиль) "Математика", 44.03.05 "Педагогическое образование", направленность (профили) "Физика", "Информатика", 44.03.05 "Педагогическое образование", направленность (профили) "Информатика", "Иностранный язык (английский)" / С. В. Путилов, М.А. Корпачёва, М. М. Сорокина ; Брянский государственный университет имени И. Г. Петровского. - Брянск : Белобережье, 2018. - 169 с. : ил. - 60 экз. - ISBN 978-5-906754-33-2 : 260 р. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.03.19 | 510 |
Рубрики:
Математическая логика
Доп. точки доступа:
Корпачёва, М.А.
Корпачева М.А.
Сорокина, М.М.
Брянский государственный университет имени И. Г. Петровского
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Алехина М.А. Математическая логика : Учеб.пособие / М.А.Алехина, 1996. - 66 с. - Текст : непосредственный.Лихтарников Л.М. Математическая логика : Курс лекций. Задачник-практикум и решения:Учеб. пособие для студентов вузов по мат. спец. / Л.М.Лихтарников,Т.Г.Сукачева, 1998. - 285 с. - Текст : непосредственный.Шачнев В.А. Математическая логика : Текст лекций для студентов спец. 01.02 / В.А.Шачнев, 1991. - 76 с. - Текст : непосредственный.Лихтарников Л.М. Математическая логика : Курс лекцийЗадачник-практикумУчеб. пособие для студентов вузов по мат. спец. / Л.М.Лихтарников,Т.Г.Сукачева, 1999. - 285 с. - Текст : непосредственный.Гладких А.В. Математическая логика / А.В.Гладких, 1998. - 479 с. - Текст : непосредственный.Математическая логика : Учеб. пособие для мат. спец. пед. ин-тов / Л.А.Латотин,Ю.А.Макаренков,В.В.Николаева,А.А.Скляр;Под общ. ред. А. А. Столяра, 1991. - 270 c. - Текст : непосредственный.Астанина Н.П. Математическая логика : Учеб. пособие / Н.П.Астанина, 1990. - 75 c. - Текст : непосредственный.Колмогоров А.Н. Математическая логика : Учеб. пособие / А.Н.Колмогоров,А.Г.Драгалин, 2004. - 238 с. - Текст : непосредственный.Ершов Ю.Л. Математическая логика : Учеб. пособие / Ю.Л.Ершов,Е.А.Палютин, 2004. - 336 с. - Текст : непосредственный.Математическая логика : Учеб. пособие / А.П. Замятин, 2004. - 139 с. - Текст : непосредственный.Математическая логика : Учеб. пособие / А.Н. Колмогоров, А.Г. Драгалин, 2005. - 238 с. - Текст : непосредственный.Математическая логика : Учеб. пособие / Н. Н. Свиридова, В. В. Свиридова, Е. Д. Федорков, 2004. - 138 с. - Текст : непосредственный.Математическая логика : Пер. с англ. / С.К. Клини, 2005. - 480 с. - Текст : непосредственный.Математическая логика : курс лекций и практ. занятий : Учеб. пособие / С.Д. Шапорев, 2005. - 410 с. - Текст : непосредственный.Математическая логика : Учеб. пособие / Ю. Л. Ершов, Е. А. Палютин, 2005. - 336 с. - Текст : непосредственный.Математическая логика : Учеб. пособие / Ю. В. Орехов, Э. Ю. Орехов, 2006. - 161 с. - Текст : непосредственный.Математическая логика : Учеб. пособие / А. Н. Колмогоров, А. Г. Драгалин, 2006. - 238 с. - Текст : непосредственный.Математическая логика : Учеб. пособие / И. А. Лавров, 2006. - 240 с. - Текст : непосредственный.Математическая логика / С. К. Клини, 2007. - 480 с. - Текст : непосредственный.Математическая логика : курс лекций: Учеб. пособие / И. Л. Тимофеева, 2007. - 303 с. - Текст : непосредственный.
Показать все результатыПутилов С.В. Теория чисел : учебное пособие для студентов направлений подготовки бакалавров 44.03.01. "Педагогическое образование", направленность (профиль) "Математика", 44.03.05 "Педагогическое образование", направленность (профили) "Информатика" и "Иностранный язык (английский)" / С. В. Путилов, М. А. Корпачёва, 2017. - 125 с.Митюченко Л.С. Финансовый менеджмент : учеб. пособие / Л. С. Митюченко, 2017. - 264 с.Фещенко В.В. Деловые коммуникации : учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению подготовки 38.03.02 Менеджмент, 38.03.04. Государственное и муниципальное управление, 43.03.01 Сервис, 43.03.02 Туризм (уровень бакалавриата) / В. В. Фещенко, 2018. - 127 с.Ладнова Г.Г. Учебный практикум по экологическому мониторингу и контролю состояния сред обитания / Г. Г. Ладнова, Л. Н. Анищенко, 2017. - 142 с.Путилов С.В. Математическая логика : учебное пособие для студентов направлений подготовки бакалавров 01.03.02 "Прикладная математика и информатика", 02.03.02 "Фундаментальная информатика и информационные технологии", 44.03.01 "Педагогическое образование", направленность (профиль) "Математика", 44.03.05 "Педагогическое образование", направленность (профили) "Физика", "Информатика", 44.03.05 "Педагогическое образование", направленность (профили) "Информатика", "Иностранный язык (английский)" / С. В. Путилов, М.А. Корпачёва, М. М. Сорокина, 2018. - 169 с.Корпачева М.А. Линейная алгебра : учебное пособие для студентов финансово-экономического факультета / М. А. Корпачева, С. В. Путилов, 2018. - 102 с.Ежегодник НИИ фундаментальных и прикладных исследований за .. . .. 2017 год, 2017. - 189 с. - Текст : непосредственный.Фещенко В.В. Управление социальной сферой : учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению подготовки: 38.04.01 Экономика (профиль Экономика и региональное управление) (уровень магистратуры), 38.03.02 Менеджмент, 38.03.04 Государственное и муниципальное управление, 43.03.01 Сервис, 43.03.02 Туризм (уровень бакалавриата) / В. В. Фещенко, 2019. - 102 с.Бабич О.В. Теория менеджмента: история управленческой мысли : учебное пособие / О. В. Бабич, Л. С. Митюченко, И. Г. Чернышова, 2019. - 167 с. - Текст : непосредственный.Организация и ведение аварийно-спасательных работ : учебное пособие для подготовки бакалавров по направлению 20.03.01 - Техносферная безопасность / Министерство науки и высшего образования Российской Федерации, Брянский государственный университет имени И. Г. Петровского, 2019. - 127 с. - Текст : непосредственный.Ежегодник НИИ фундаментальных и прикладных исследований за .. . .. 2018 год, 2019. - 159 с. - Текст : непосредственный.Чернышова И.Г. Экономика : учебное пособие / И. Г. Чернышова, 2019. - 160 с. - Текст : непосредственный.Трансформация процесса управления предприятием в рамках становления цифровой экономики : монография / О. В. Бабич, И. В. Игольникова, Л. С. Митюченко, И. Г. Чернышова, 2019. - 206 с. - Текст : непосредственный.Тачкова И.А. Управление операциями : учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению подготовки 38.03.02 "Менеджмент" (уровень бакалавриата) / И. А. Тачкова, 2020. - 149 с. - Текст : непосредственный.Мандрон В.В. Финансовый рынок: развитие и регулирование : учебное пособие / В. В. Мандрон, А. В. Зверев, М. Ю. Мишина, 2020. - 128 с. - Текст : непосредственный.Управление развитием территорий : учебное пособие / О. В. Бабич, И. В. Игольникова, И. А. Матюшкина [и др.], 2020. - 235 с. - Текст : непосредственный.Тачкова И.А. Регулирование развития продовольственного рынка региона : монография / И. А. Тачкова, В. В. Фещенко, 2020. - 163 с. - Текст : непосредственный.Анищенко Л.Н. Экология и природопользование в Брянской области : учебно-методическое пособие / Л. Н. Анищенко, М. В. Долганова, Е. В. Борздыко, 2020. - 187 с. - Текст : непосредственный.Муравьева С.Б. Научно-педагогические особенности организации процесса преподавания спецдисциплин бакалавриата с учетом оценки экологических последствий от лесных пожаров на территориях, пострадавших от аварии на Чернобыльской АЭС : монография / Муравьева С. Б., Высоцкий О. Г., Исаченко Ю. С., 2020. - 223 с. - Текст : непосредственный.Анищенко Л.Н. Учебная практика по общей экологии : учебное пособие / Л. Н. Анищенко, Е. Л. Ковалева, И. В. Мельников, 2020. - 203 с. - Текст : непосредственный.
Показать все результатыФедоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук: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 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Белеградек О.В. Теория моделей унитреугольных и экзистенциально замкнутых групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / О. В. Белеградек, 1995. - 32 с. - Текст : непосредственный.Хомич В.И. Проблема отделимости в пропозициональных исчислениях : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / В. И. Хомич, 1995. - 27 с. - Текст : непосредственный.Машурян А.С. Исследование рекурсивных схем на конечных моделях некоторых нетрадиционных арифметических теорий : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / А. С. Машурян, 1995. - 14 с. - Текст : непосредственный.Ешкеев А.Р. Ионсоновские теории : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / А. Р. Ешкеев, 1995. - 17 с. - Текст : непосредственный.Кудинов О.В. Автоустойчивость конструктивных моделей : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / О. В. Кудинов, 1995. - 12 с. - Текст : непосредственный.Бабенышев С.В. Исследования допустимых правил в нестандартных логиках : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Бабенышев, 1995. - 13 с. - Текст : непосредственный.Конев Б.Ю. Оценки высоты термов в наиболее общем унификаторе : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Б. Ю. Конев, 1999. - 15 с. - Текст : непосредственный.Сидон Т.Л. Динамические логики доказательств с оператором доказуемости : Автореферат диссертации на соискание ученой степени канд.физ.-мат. наук:01.01.06 / Т. Л. Сидон, 1997. - 12 с. - Текст : непосредственный.
Показать все результатыSommerhalder R. A resolution method for some systems of MODAL LOGIC : Diss. / R.Sommerhalder, 1992. - 173 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. - Текст : непосредственный.Benthem J.van Modal logic,transition systems and processes / J.van Benthem,D.J.N.van Eijck,V.Stebletsova, 1993. - 43 p. - Текст : непосредственный.Математическая логика и теория алгоритмов : Сб. / Отв. ред. Ю.Л.Ершов, С.С.Гончаров, 1993. - 201 c. - Текст : непосредственный.Абаев Н.Б. Выявление скрытых законов логики и приложение их к строгим наукам / Н.Б.Абаев, 1993. - 164 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. - Текст : непосредственный.Blackburn P. The algebra of modal logic / P.Blackburn,M.de Rijke,Y.Venema, 1994. - 61 p. - Текст : непосредственный.Мамий К.С. Основы современной математики (элементы логики, теории множеств и множества действительных чисел) : Учеб.пособие для студентов мат.фак.пединститутов и ун-тов / К.С.Мамий, 1994. - 143 c. - Текст : непосредственный.Алгебраические и логические конструкции : Сб.науч.тр. / Твер.гос.ун-т, 1994. - 105 c. - Текст : непосредственный.Кузнецов В.Н. Теоретическая информатика - I. Элементы теории множеств и математической логики : Учеб. пособие / В.Н.Кузнецов, 1994. - 103 c. - Текст : непосредственный.Таланов В.А. Математическая логика и модели вычислений : Учеб. пособие / В.А.Таланов, 1994. - 116 c. - Текст : непосредственный.Теоретические применения методов математической логики : Сб. работ. 1, 1975. - 180 с. - Текст : непосредственный.Snyder W. A proof theory for general unification / W.Snyder, 1991. - 175 175 p. - Текст : непосредственный.Rijke M.de Modal model theory / M.de Rijke, 1995. - 20 p. - Текст : непосредственный.Akkanen J. Absolute logics / J.Akkanen, 1995. - 83 -. -. - Текст : непосредственный.Blackburn P. Why combine logics? / P.Blackburn,M.de Rijke, 1995. - 18 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 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽