Приложение
для AndroidПолное описание
51/А 892
Аршинов, Георгий Александрович. Основы математической логики и теории алгоритмов : учебное пособие / Г. А. Аршинов, С. А. Курносов, Т. В. Лукьяненко ; Министерство сельского хозяйства Российской Федерации, Кубанский государственный аграрный университет имени И. Т. Трубилина. - Краснодар : КубГАУ, 2024. - 156 с. : ил. - Библиогр.: с. 153 (12 назв.). - 500 экз. - ISBN 978-5-907816-70-1 : 140 р. - Текст (визуальный) : непосредственный.
| ГРНТИ | УДК | |
| 27.03.19 | 510.6 |
Рубрики:
Математическая логика
Алгоритмы
Кл.слова (ненормированные): исчисление высказываний -- булевы функции -- алгоритмы маркова -- теорема поста -- машины тьюринга -- ветвящиеся процессы -- булевы алгебры -- логика предикатов -- теория множеств -- контактные схемы
Аннотация: В учебном пособии изложены элементы теории множеств, алгебры логики и предикатов, булевых функций, контактных схем и алгоритмов. Показана методика решения типовых задач. Предназначено для обучающихся по направлению подготовки 09.03.02 "Информационные системы и технологии", направленность "Создание, модификация и сопровождение информационных систем, администрирование баз данных".
Доп. точки доступа:
Курносов, Сергей Андреевич
Лукьяненко, Татьяна Викторовна
Кубанский государственный аграрный университет имени И. Т. Трубилина (Краснодар)
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Обложка
Лаптев, Сергей Владимирович. Разработка информационных систем на базе web-технологий : учебное пособие / С. В. Лаптев, В. Н. Лаптев, Г. А. Аршинов, 2021. - 174 с. - Текст (визуальный) : непосредственный.Курносова, Наталия Сергеевна. Информатика : учебное пособие / Н. С. Курносова, Д. А. Замотайлова, С. А. Курносов, 2022. - 103 с. - Текст (визуальный) : непосредственный.Экономическая эффективность информационных систем : учебное пособие / Кумратова А. М., Третьякова Н. В., Курносов С. А., Василенко И. И., 2022. - 176 с. - Текст (визуальный) : непосредственный.Сергеев, Александр Эдуардович. Компьютерные системы : учебное пособие / А. Э. Сергеев, С. В. Лаптев, Г. А. Аршинов, 2022. - 172 с. - Текст (визуальный) : непосредственный.Фешина, Елена Васильевна. Инженерия информационных систем : учебник / Е. В. Фешина, Т. В. Лукьяненко, 2022. - 217 с. - Текст (визуальный) : непосредственный.Лукьяненко, Татьяна Викторовна. Управление данными : учебник / Т. В. Лукьяненко, С. Н. Русак, 2023. - 180 с. - Текст (визуальный) : непосредственный.Лукьяненко, Татьяна Викторовна. Инженерия информационных систем : учебник / Т. В. Лукьяненко, С. Н. Русак, 2024. - 139 с. - Текст (визуальный) : непосредственный.Дискретная математика : учебное пособие / Г. А. Аршинов, В. Н. Лаптев, С. В. Лаптев, А. Э. Сергеев, 2024. - 205 с. - Текст (визуальный) : непосредственный.Аршинов, Георгий Александрович. Основы математической логики и теории алгоритмов : учебное пособие / Г. А. Аршинов, С. А. Курносов, Т. В. Лукьяненко, 2024. - 156 с. - Текст (визуальный) : непосредственный.Аршинов, Георгий Александрович. Нелинейные математические методы исследования рентабельности объединений предприятий АПК : монография / Г. А. Аршинов, А. Г. Аршинов, 2025. - 88 с. - Текст (визуальный) : непосредственный.Лаптев, Сергей Владимирович. Администрирование информационных систем : учебное пособие / С. В. Лаптев, В. Н. Лаптев, Г. А. Аршинов, 2025. - 158 с. - Текст (визуальный) : непосредственный.Лукьяненко, Татьяна Викторовна. Основы научно-исследовательской работы в высшей школе : учебное пособие / Т. В. Лукьяненко, С. Н. Русак, 2025. - 136 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Лукьяненко, Татьяна Викторовна. Основы теории управления : учебник / Т. В. Лукьяненко, С. Н. Русак, 2025. - 169 с. - Текст (визуальный) : непосредственный.Аршинов, Георгий Александрович. Дискретная математика : учебник / Г. А. Аршинов, Н. Н. Авакимян, 2025. - 174 с. - Текст (визуальный) : непосредственный.
Лейер Д.В. Конструкции из дерева и пластмасс : учебное пособие / Д. В. Лейер, А. К. Рябухин, С. И. Маций, 2017. - 91 с. - Текст : непосредственный.Сопротивление материалов : учебное пособие / В. А. Дробот [и др.], 2017. - 179 с.Бурковский П.В. Экономика: базовая теория : учебное пособие / П. В. Бурковский, 2017. - 159 с.Мирончук В.А. Бережливые технологии управления : учеб. пособие / В. А. Мирончук, С. Н. Сычанина, Ю. А. Шолин, 2017. - 101 с. - Текст : непосредственный.Лиханская Н.П. Подготовка к изданию учебной и научной литературы в вузе : учеб. пособие / Н. П. Лиханская, Н. С. Ляшко, А. А. Багинская, 2017. - 125 с.Острецова А.В. Экономика природопользования : учебное пособие / А. В. Острецова, 2017. - 104 с.Азиева З.И. Учетно-аналитическое обеспечение инвестиционной привлекательности хозяйствующего субъекта : монография / З. И. Азиева, Л. В. Папова, 2017. - 181 с.Косников С.Н. Основы математического моделирования социально-экономических процессов : учебное пособие / С. Н. Косников, 2017. - 169 с.Муллинова С.А. Бухгалтерский учет в банках : учебное пособие / С. А. Муллинова, С. С. Морозкина, 2017. - 223 с.Современная экономика: проблемы, перспективы, информационное обеспечение : материалы VII Международной научной конференции, посвященной 95-летию Кубанского ГАУ и 15-летию кафедры теории бухгалтерского учета (18-19 мая 2017 г.) / Кубанский государственный аграрный университет имени И. Т. Трубилина, 2017. - 379 с.Информационное обеспечение эффективного управления деятельностью экономических субъектов : материалы VII Международной научной конференции, посвященной 95-летию Кубанского ГАУ и 15-летию кафедры теории бухгалтерского учета (20-21 апреля 2017 г., [Краснодар]) / Кубанский государственный аграрный университет имени И. Т. Трубилина, 2017. - 341 с.Кох М.Н. Методика преподавания экономических дисциплин : учебное пособие / М. Н. Кох, Л. В. Сурженко, 2017. - 172 с.Муллинова С.А. Совершенствование методов налогового учета в части формирования системы налогообложения НДФЛ : монография / С. А. Муллинова, С. С. Морозкина, 2017. - 119 с.Барановская Т.П. Теория систем и системный анализ : учебник / Т. П. Барановская, А. Е. Вострокнутов, Э. В. Кузьмина, 2017. - 350 с.Белоусов С.В. Компьютерная графика компас-3D в чертежах, схемах и пояснениях : учебное пособие / С. В. Белоусов, Е. И. Трубилин, 2017. - 218 с.Ариничева И.В. Перспективные направления применения аппроксимирующих функций в различных областях знаний : монография / И. В. Ариничева, 2017. - 141 с. - Текст : непосредственный.Курдюк П.М. Финансовое право (общая часть) : учебное пособие для бакалавров (обучающихся по направлению подготовки 40.03.01 "Юриспруденция") / П. М. Курдюк, А. С. Чуева, И. Н. Иваненко, 2017. - 192 с.Власова Н.С. Организация системы управленческого учета как основа повышения эффективности управления предприятием : монография / Н. С. Власова, 2017. - 217 с.Припоров И.Е. Технологии и средства механизации послеуборочной обработки семенного материала : учебное пособие / И. Е. Припоров, Е. И. Трубилин, 2017. - 177 с.Рябухин А.К. Железобетонные конструкции высотных зданий : учебное пособие / А. К. Рябухин, Д. В. Лейер, 2017. - 160 с.
Показать все результатыФедоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук: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. - Текст : непосредственный.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 / О. В. Кудинов, 1995. - 12 с. - Текст : непосредственный.Алаев П.Е. Определимость в итерированных расширениях : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / П. Е. Алаев, 1998. - 9 с. - Текст : непосредственный.Золотых Н.Ю. Расшифровка пороговых и близких к ним функций многозначной логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.17 / Н. Ю. Золотых, 1998. - 12 с. - Текст : непосредственный.Беклемишев Л.Д. Схемы рефлексии в формальной арифметике : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Л. Д. Беклемишев, 1998. - 19 с. - Текст : непосредственный.Селезнева С.Н. О свойствах полиномов над конечными полями и об алгоритмической сложности распознавания свойств функций многозначных логик, представленных полиномами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / С. Н. Селезнева, 2000. - 14 с. - Текст : непосредственный.Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Бунина Е.И. Элементарная эквивалентность линейных и алгебраических групп : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Е. И. Бунина, 2001. - 12 с. - Текст : непосредственный.Ромина А.В. Автоустойчивость и представимость моделей в допустимых множествах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / А. В. Ромина, 2001. - 8 с. - Текст : непосредственный.Вербовский В.В. Свойства функций, определяемых в структурах с условиями минимальности семейств формульных подмножеств : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / В. В. Вербовский, 2002. - 15 с. - Текст : непосредственный.Степанова А.А. Теоретико-модельные свойства полигонов : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / А. А. Степанова, 2003. - 21 с. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Benthem J.van Modal logic,transition systems and processes / J.van Benthem,D.J.N.van Eijck,V.Stebletsova, 1993. - 43 p. - Текст : непосредственный.Прикладные нечеткие системы / К.Асаи,Д.Ватада,С.Иваи и др.;Под ред.Т.Тэрано и др.; Пер.с яп.Ю.Н.Чернышова, 1993. - 368 c. - Текст : непосредственный.Maanen H.A.N.van Axioms for No-categorical orderings / H.A.N.van Maanen, 1994. - 9 p. - Текст : непосредственный.Ben-Shalom D. A path-based variable-free system for predicate logic / D.Ben-Shalom, 1994. - 12 p. - Текст : непосредственный.Blackburn P. The algebra of modal logic / P.Blackburn,M.de Rijke,Y.Venema, 1994. - 61 p. - Текст : непосредственный.Нагорный Н.М. К вопросу о непротиворечивости классической формальной арифметики / Н.М.Нагорный, 1995. - 25 c. - Текст : непосредственный.Wygralak M. Vaguely defined objects / M.Wygralak, 1996. - XIV,265 p. p. - Текст : непосредственный.Карпенко А.С. Многозначные логики / А.С.Карпенко, 1997. - 223 с. - Текст : непосредственный.Яблонский С.В. Предполные классы в многозначных логиках : Учеб. пособие по курсу "Дискретная математика" / С.В.Яблонский,Г.П.Гаврилов,А.А.Набебин;Под ред.В.Н.Вагина, 1997. - 142 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽