Приложение
для AndroidПолное описание
51/Л 694
Логика высказываний и булевы алгебры : учебное пособие / Д. В. Гринченков, Д. Н. Кущий, О. С. Тушканова, А. Ю. Мезенцева ; Министерство науки и высшего образования Российской Федерации, Южно-Российский государственный политехнический университет (НПИ) имени М. И. Платова (ЮРГПУ НПИ). - Новочеркасск : ЮРГПУ (НПИ), 2022. - 99 с. : ил. - Библиогр.: с. 98 (24 назв.). - 300 экз. - ISBN 978-5-9997-0819-9 : 100 р. - Текст (визуальный) : непосредственный.
| ГРНТИ | УДК | |
| 27.03.19 | 510.633 | |
| 27.17.21 | 512.563 |
Рубрики:
Математическая логика
Алгебра логики
Кл.слова (ненормированные): теория множеств -- математическая логика -- булевы функции -- исчисление высказываний -- логика предикатов
Аннотация: Пособие содержит основные положения теории множеств и математической логики, включая базовые вопросы булевой алгебры, общие сведения о формальных и аксиоматических системах, а также основы логики высказываний и логики предикатов первого порядка. Пособие позволяет освоить основные положения и математические методы представления знаний и построения доказательств в формальных системах, а также получить практические навыки по использованию методов математической логики и теории множеств для решения практических задач. Материал настоящего пособия используется в курсах "Логика высказываний и булевы алгебры" и "Системы искусственного интеллекта". Предназначено для студентов, обучающихся по программам бакалавриата следующих направлений подготовки: "Математическое обеспечение и администрирование информационных систем", "Информатика и вычислительная техника", "Программная инженерия очной и заочной форм обучения".
Доп. точки доступа:
Гринченков, Дмитрий Валерьевич
Кущий, Дарья Николаевна
Тушканова, Ольга Сергеевна
Мезенцева, Анна Юрьевна
Южно-Российский государственный политехнический университет (НПИ) имени М. И. Платова (Новочеркасск)
Имеются экземпляры в отделах: всего 2 : ХРЦ (2)
Свободны: ХРЦ (2)
Обложка
Мезенцева, Анна Юрьевна. Autodesk Fusion 360: создание эскизов и параметрическое трехмерное моделирование деталей : учебное пособие по дисциплине "Цифровизация инженерной деятельности" для направлений подготовки "Информатика и вычислительная техника", "Математическое обеспечение и администрирование информационных систем" и "Программная инженерия" / А. Ю. Мезенцева, Д. Н. Кущий, 2022. - 151 с. - Текст (визуальный) : непосредственный.Логика высказываний и булевы алгебры : учебное пособие / Д. В. Гринченков, Д. Н. Кущий, О. С. Тушканова, А. Ю. Мезенцева, 2022. - 99 с. - Текст (визуальный) : непосредственный.Кущий, Дарья Николаевна. Мировые информационные ресурсы и поисковые системы : учебное пособие / Д. Н. Кущий, 2023. - 95 с. - Текст (визуальный) : непосредственный.
Друкеровский вестник : научно-образовательный и прикладной журнал / Южно-Российский государственный политехнический университет (НПИ) имени М. И. Платова (Новочеркасск). - Журнал выходит с 2014г. - Текст : непосредственный.Студенческая научная весна - 2017 : материалы региональной научно-технической конференции (конкурса научно-технических работ) студентов, аспирантов и молодых ученых вузов ростовской области / Южно-Российский государственный политехнический университет (НПИ) имени М. И. Платова, 2017. - 371 с.Управление инвестициями : учебно-методическое пособие к практическим занятиям и самостоятельной работе студентов / Т. А. Лозовская [и др.], 2017. - 133 с.Колбачев Е.Б. Экономика и организация производства : учебное пособие / Е. Б. Колбачев, Н. В. Напхоненко, 2016. - 383 с.Глобализация экономики и российские производственные предприятия : материалы 15-ой Международной научно-практической конференции, 16-21 мая 2017 года, г. Новочеркасск / Южно-Российский государственный политехнический университет (НПИ) имени М. И. Платова, 2017. - 271 с.Воденко К.В. Управление научно-инновационной деятельностью студентов в российских технических вузах: опыт комплексной диагностики / К. В. Воденко, О. С. Иванченко, В. Э. Журавель ; отв. ред. К. В. Воденко, 2017. - 114 с.Молодежь и инновации: опыт, проблемы, перспективы : сборник научных статей по материалам VII Фестиваля молодежных инновационных проектов, Каменск-Шахтинский, 17 мая 2017 г. / Южно-Российский государственный политехнический университет (НПИ) имени М. И. Платова, 2017. - 254 с.Фундаментальные исследования с применением компьютерных технологий в науке, производстве, социальных и экономических процессах : материалы 17-ой Национальной молодежной научно-практической конференции, 20-23 декабря 2017 года, г. Новочеркасск / Южно-Российский государственный политехнический университет (НПИ) имени М. И. Платова [и др.], 2017. - 211 с.Фундаментальные основы, теория, методы и средства измерений, контроля и диагностики : 19-я Международная молодежная научно-практическая конференция, 27-28 февраля 2018 года, г. Новочеркасск / Южно-Российский государственный политехнический университет (НПИ) имени М. И. Платова [и др.], 2018. - 402 с.Захаров С.В. Комплексные проекты развития территории: теория и методы / С. В. Захаров, 2017. - 253, [72] с.Геоинформатика нефтегазовых скважин : учебное пособие для обучения бакалавров, специалистов и магистров по направлению "Нефтегазовое дело" / В. В. Попов [и др.], 2018. - 291 с.Фундаментальные исследования, методы проектирования, программно-техническая платформа корпоративных информационных систем : материалы 15-ой Национальной молодежной научно-практической конференции, 27-29 ноября 2017 года, г. Новочеркасск / Южно-Российский государственный политехнический университет (НПИ) имени М. И. Платова [и др.], 2017. - 322 с.Киселев В.И. Выбор, разработка и исследование вентильных электродвигателей карьерного бурового станка типа СБШ-250 МНА-32 горнообогатительных комбинатов / В. И. Киселев, Фам Ван Бьен, 2017. - 278 с.Интеграция науки и практики как механизм развития отечественных наукоемких технологий производства : сборник научных статей по материалам VI Всероссийской научно-практической конференции, Каменск-Шахтинский, 14 февраля 2017 г. / Южно-Российский государственный политехнический университет (НПИ) им. М. И. Платова, Акционерное общество "Каменскволокно", 2017. - 289 с.Тумбиева Н.С. Оптимизация процесса переработки полимерных отходов на линии Intarema / Н. С. Тумбиева // Интеграция науки и практики как механизм развития отечественных наукоемких технологий производства : сборник научных статей по материалам VI Всероссийской научно-практической конференции, Каменск-Шахтинский, 14 февраля 2017 г. / Южно-Российский государственный политехнический университет (НПИ) им. М. И. Платова, Акционерное общество "Каменскволокно". - Новочеркасск : Лик, 2017. - с. 255-261Актуальные проблемы недропользования : материалы Международной научно-практической конференции, г. Новочеркасск, ноябрь 2017 г. / Министерство образования и науки Российской Федерации, Южно-Российский государственный политехнический университет (НПИ) имени М. И. Платова, 2018. - 171 с.Щеглов В.И. Геологическое обслуживание горных предприятий : учебное пособие / В. И. Щеглов, 2018. - 338 с.Лабадзе О.Е. Социальные технологии в управлении российским малым предпринимательством / О. Е. Лабадзе, Л. И. Щербакова, 2018. - 175 с.Семченко В.В. Основы общей и неорганической химии : учебное пособие для студентов заочной формы обучения химико-технологических специальностей высших учебных заведений / В. В. Семченко, В. М. Таланов, Н. П. Шабельская, 2018. - 174 с.Семченко В.В. Реакционная способность переходных элементов в процессах комплексообразования : учебное пособие / В. В. Семченко, 2018. - 137 с.
Показать все результатыФедоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Завадский А.Г. Представления частично упорядоченных множеств конечного роста : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. Г. Завадский, 1991. - 19 с. - Текст : непосредственный.Адаричева К.В. Строение решеток подполурешеток : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / К. В. Адаричева, 1990. - 12 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук: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 / В. А. Молчанов, 1994. - 28 с. - Текст : непосредственный.Белеградек О.В. Теория моделей унитреугольных и экзистенциально замкнутых групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук: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 с. - Текст : непосредственный.
Показать все результатыAlgebraic logic / сост. H. Andreka, 1991. - VI,746 p. p. - Текст : непосредственный.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. - Текст : непосредственный.Schmidt G. Relations and graphs : Discrete mathematics for computer scientists / G.Schmidt,T.Str@:ohlein, 1993. - VIII,301 p. 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. - Текст : непосредственный.Волгин Л.И. Свойства и законы двоичной булевой алгебры на множестве комплексных и действительных чисел: АМ-алгебра и ее применения : Лекция по курсу "Лог. основы и модели нейрон. сетей" / Л.И.Волгин, 1994. - 36 c. - Текст : непосредственный.Обухов В.Е. Логические уравнения и прикладные задачи / В.Е.Обухов,В.В.Павлов, 1992. - 187 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. - Текст : непосредственный.Rijke M.de The logic peirce algebras / M.de Rijke, 1994. - 23 p. - Текст : непосредственный.Pinus A.G. Constructions of boolean algebras / A.G.Pinus, 1994. - 208 c. - Текст : непосредственный.Волгин Л.И. Свойства и законы двоичной булевой алгебры на множестве комплексных и действительных чисел: АМ-алгебра и ее применения : Лекция по курсу "Лог. основы и модели нейрон. сетей" / Л.И.Волгин, 1995. - 38 c. - Текст : непосредственный.Мамий К.С. Основы современной математики (элементы логики, теории множеств и множества действительных чисел) : Учеб.пособие для студентов мат.фак.пединститутов и ун-тов / К.С.Мамий, 1994. - 143 c. - Текст : непосредственный.Алгебраические и логические конструкции : Сб.науч.тр. / Твер.гос.ун-т, 1994. - 105 c. - Текст : непосредственный.
Показать все результатыМолчанов В.А. Нестандартные приложения алгебры соответствий : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / В. А. Молчанов, 1994. - 28 с. - Текст : непосредственный.Власов В.Н. Алгоритмические свойства булевых алгебр : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. Н. Власов, 1999. - 16 с. - Текст : непосредственный.Липачева Е.В. Рекурсивные и частичные автоморфизмы булевых алгебр : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Е. В. Липачева, 1997. - 13 с. - Текст : непосредственный.Перязев Н.А. Существование и сложность представлений булевых функций формулами : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.09 / Н. А. Перязев, 1998. - 25 с. - Текст : непосредственный.Зуев Ю.А. Вероятностные методы в пороговой логике : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.09 / Ю. А. Зуев, 1998. - 21 с. - Текст : непосредственный.Перязева Ю.В. Минимизация булевых функций в классах бинарных термов и полиномиальных нормальных форм : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / Ю. В. Перязева, 1999. - 18 с. - Текст : непосредственный.Кириченко К.Д. Бесповторные и слабоповторные булевы функции в предэлементарных базисах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / К. Д. Кириченко, 2000. - 14 с. - Текст : непосредственный.Винокуров С.Ф. Операторы в полиномиальных представлениях булевых функций : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.09 / С. Ф. Винокуров, 2001. - 27 с. - Текст : непосредственный.Когабаев Н.Т. Конструктивные булевы алгебры с выделенными идеалами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / Н. Т. Когабаев, 2001. - 11 с. - Текст : непосредственный.Балюк А.С. Сложность булевых функций в классах полиномиальных форм : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / А. С. Балюк, 2002. - 18 с. - Текст : непосредственный.Гайдуков А.И. Стягиваемые булевы функции и минимизация в нормальных формах : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / А. И. Гайдуков, 2002. - 14 с. - Текст : непосредственный.Зубков О.В. Нахождение, оценка и сравнение числа бесповторных булевых функций в различных базисах : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / О. В. Зубков, 2002. - 17 с. - Текст : непосредственный.Шаранхаев И.К. Слабоповторные булевы функции в предэлементарных базисах : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / И. К. Шаранхаев, 2003. - 11 с. - Текст : непосредственный.Власов Д.Ю. Структурная характеризация алгебраических систем с ограничением на сложность булевой алгебры формульных классов подсистем : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / Д. Ю. Власов, 2003. - 11 с. - Текст : непосредственный.Algebraic logic / сост. H. Andreka, 1991. - VI,746 p. p. - Текст : непосредственный.Schmidt G. Relations and graphs : Discrete mathematics for computer scientists / G.Schmidt,T.Str@:ohlein, 1993. - VIII,301 p. p. - Текст : непосредственный.Волгин Л.И. Свойства и законы двоичной булевой алгебры на множестве комплексных и действительных чисел: АМ-алгебра и ее применения : Лекция по курсу "Лог. основы и модели нейрон. сетей" / Л.И.Волгин, 1994. - 36 c. - Текст : непосредственный.Обухов В.Е. Логические уравнения и прикладные задачи / В.Е.Обухов,В.В.Павлов, 1992. - 187 c. - Текст : непосредственный.Пальчунов Д.Е. Алгебра Линденбаума-Тарского булевых алгебр с выделенными идеалами / Д.Е.Пальчунов, 1994. - 42 c. - Текст : непосредственный.Rijke M.de The logic peirce algebras / M.de Rijke, 1994. - 23 p. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽