Полное описание
Путилов, Сергей Васильевич .
Математическая логика : алгебра высказываний, булевы функции, логика предикатов, формализованное исчисление высказываний / С. В. Путилов, М. А. Корпачёва, М. М. Сорокина. - Изд. 2-е, испр. - Москва : URSS : ЛЕНАНД, 2024. - 173, [1] с. : ил. - Библиогр. в конце кн. - Тираж не указ. -
ISBN 978-5-00237-016-0. - Текст (визуальный) : непосредственный.
Рубрики: Математическая логика
Кл.слова (ненормированные): АКСИОМАТИЧЕСКАЯ ТЕОРИЯ -- ЛОГИЧЕСКИЕ ОПЕРАЦИИ -- ЛОГИЧЕСКИЕ СЛЕДСТВИЯ -- ПОЛНОТА -- ПРЕДИКАТЫ -- ФОРМУЛЫ
Аннотация: Учебное пособие содержит теоретический материал и практические задания по традиционным для высших учебных заведений разделам дисциплины "Математическая логика". Рассматриваются следующие темы и их приложения: алгебра высказываний, булевы функции, логика предикатов, формализованное исчисление высказываний. Для самостоятельной работы по каждой теме предлагается достаточное количество задач с алгоритмами их решения. Пособие предназначено для студентов всех направлений подготовки бакалавров и специалистов, в учебных планах которых имеется дисциплина "Математическая логика".
Доп. точки доступа: Корпачёва, Марина Александровна
Корпачева М.А.
Сорокина, Марина Михайловна
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д11-24/30750)
Шифр в сводном ЭК: 2182ea7c039e15158add376a32575471
Еловикова, Ю. А. Теория многочленов : учебное пособие для студентов направления подготовки бакалавров 44.03.01 "Педагогическое образование", профиль "Математика". Ч. 2, 2020. - 134 с. - Текст (визуальный) : непосредственный. Путилов, Сергей Васильевич. Теория чисел / С. В. Путилов, М. А. Корпачёва, 2024. - 199, [1] с. - Текст (визуальный) : непосредственный. Путилов, Сергей Васильевич. Математическая логика : алгебра высказываний, булевы функции, логика предикатов, формализованное исчисление высказываний / С. В. Путилов, М. А. Корпачёва, М. М. Сорокина, 2024. - 173, [1] с. - Текст (визуальный) : непосредственный. Коптюх, Диана Георгиевна. Многочлены и их приложения / Д. Г. Коптюх, С. В. Путилов, С. В. Чиспияков, 2025. - 161, [1] с. - Текст (визуальный) : непосредственный. Путилов, Сергей Васильевич. Классы групп / С. В. Путилов, М. М. Сорокина, 2025. - 142 с. - Текст (визуальный) : непосредственный. Путилов, Сергей Васильевич. Числовые системы / С. В. Путилов, 2025. - 182, [1] с. - Текст (визуальный) : непосредственный. Путилов, Сергей Васильевич. К теории конечных групп : к нормальному строению конечных групп, локальные и субнормальные подгруппы конечных групп, нормальные ряды в конечной группе / С. В. Путилов, 2025. - 117, [1] с. - Текст (визуальный) : непосредственный. Мир математики : в 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 с. - Текст : непосредственный. Показать все результаты Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный. Шапировский И.Б. Алгоритмические свойства модальных логик информационных систем / И. Б. Шапировский, 2007. - 15 с. - Текст : непосредственный. Algebra and Model Theory : coll. of papers. 7, 2009. - 152 p. - Текст : непосредственный. Душенин Д.И. Абелевы Р-группы и автоустойчивость относительно оракула : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Д. И. Душенин, 2013. - 14 с. - Текст : непосредственный. Нагорный Н.М. К вопросу о непротиворечивости классической формальной арифметики / Н. М. Нагорный, 1995. - 25 c. - Текст : непосредственный. Journal of Symbolic Logic. - Журнал r=on-line. - Текст : непосредственный. Ромина А.В. Автоустойчивость и представимость моделей в допустимых множествах : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Ромина, 2001. - 8 с. - Текст : непосредственный. Бунина Е.И. Автоморфизмы и элементарная эквивалентность групп Шевалле и других производных структур : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / Е. И. Бунина, 2010. - 32 с. - Текст : непосредственный. Фокина Е.Б. О тьюринговой сложности классов моделей и теорий : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени канд. физ.-мат. наук / Е. Б. Фокина, 2008. - 15 с. - Текст : непосредственный. Maanen H.A.N.van Axioms for No-categorical orderings / H. A.N.van Maanen, 1994. - 9 p. - Текст : непосредственный. Казанцев А.В. Элементы математической логики : выставочные материалы / А. В. Казанцев, 2013. - 147 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
