Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и...
ISBN: 978-5-4439-0944-8
Издательство:
МЦНМО
Дата выхода: февраль 2017
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ.
ISBN: 5-900916-66-9
Издательство:
Негосударственное образовательное учреждение Московский Центр непрерывного математического образован
Дата выхода: декабрь 1999
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о...
ISBN: 978-5-4439-0014-8
Издательство:
МЦНМО
Дата выхода: январь 2012
Учебное пособие включает в себя все темы, предусмотренные Государственным стандартом по курсу "Логика" . Содержание курса изложено доступно и последовательно, структура пособия позволяет осваивать учебный материал наиболее удобным для запоминания и понимания способом. В книге рассматриваются основные понятия, идеи и методы "логики" как науки, изучающей законы человеческого мышления, исследуя как общие...
ISBN: 978-5-94416-062-1
Издательство:
Маркет ДС Корпорейшн
Дата выхода: сентябрь 2009
Учебник включает все основные разделы курса классической логики, определяемые требованиями Государственного образовательного стандарта для студентов вузов. Теоретический материал снабжен упражнениями и логическими задачами для закрепления знаний и формирования навыков их применения. Для студентов экономических, юридических и технических ВУЗов и факультетов, а также для аспирантов, преподавателей...
ISBN: 978-5-394-01624-0
Издательство:
Дашков и К
Дата выхода: октябрь 2011
Книга известного отечественного математика и философа Ю.А.Шрейдера была задумана как беседа об основных понятиях семиотики - науки о знаковых системах, тесно примыкающей к математической лингвистике и математической логике. Сначала в работе излагаются общесемиотические понятия, которые иллюстрируются на общедоступных примерах из русского языка, языка элементарной алгебры и т.п. Затем вводятся...
ISBN: 978-5-354-01336-4
Издательство:
Едиториал УРСС
Дата выхода: сентябрь 2010
Раскрываются основные положения одной из увлекательных философских наук - логики. "Понятие", "суждение", "умозаключение", "гипотеза", "софизм", "парадокс", "доказательство" - это не только научные термины, но и реалии нашего мышления и общения, с которыми каждый сталкивается ежечасно. Как научиться грамотно выстраивать систему доказательств и умозаключений? Как одолеть соперника в споре и убедить участников...
ISBN: 978-5-406-02019-7
Издательство:
КноРус
Дата выхода: январь 2012
Вниманию читателей предлагается книга крупнейшего немецкого ученого, основоположника современной математической логики и выдающегося представителя философско-математической мысли Готтлоба Фреге, труды которого по своему значению сопоставимы с логическим наследием Аристотеля и Лейбница. Настоящая книга включает знаменитый труд Г.Фреге "Исчисление понятий" и другие его работы, положившие начало...
ISBN: 978-5-397-02982-7
Издательство:
Либроком
Дата выхода: май 2012
В книге в доступной форме представлено многообразие методов логического анализа: дедуктивные рассуждения, формирование и проверка корректности гипотез, логический анализ в условиях ограничений, абдуктивные заключения. В качестве теоретической основы используются предложенные автором математические системы — E-структуры и алгебра кортежей, позволяющие моделировать различные типы рассуждений и...
ISBN: 9785732511666
Издательство:
Политехника
Дата выхода: январь 2021
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено...
ISBN: 5-94157-702-8
Издательство:
BHV-СПб
Дата выхода: октябрь 2005
Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико- математическом факультете МГУ им. М.В.Ломоносова....
ISBN: 978-5-354-01492-7
Издательство:
Едиториал УРСС
Дата выхода: июнь 2015
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов...
ISBN: 978-5-406-04041-6
Издательство:
КноРус
Дата выхода: январь 2014
В брошюре рассказывается (для школьников 7–11 классов) о методе математической индукции на примере 46 задач, из которых 19 снабжены подробными решениями.
ISBN: 978-5-94057-772-0
Издательство:
МЦНМО
Дата выхода: январь 2011
В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к...
ISBN: 978-5-9916-7711-0
Издательство:
Юрайт
Дата выхода: сентябрь 2016
Сборник продолжает (с 1988 г.) математическую направленность всемирно известной серии "Проблемы кибернетики". Представленные в выпуске работы охватывают широкий спектр проблем дискретной математики, математической логики, теории программирования, сложности и надежности управляющих систем, криптографии. Выпуск 10 - 2001 г. Для специалистов, аспирантов, студентов, интересующихся современным состоянием...
ISBN: 5-9221-0376-8
Издательство:
Физматлит
Дата выхода: январь 2002
Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана...
ISBN: 9785915220019
Издательство:
Научный мир
Дата выхода: декабрь 2008
А.Н. Колмогоров (1903-1987) и А.Г. Драгалин (1941-1998) - выдающиеся отечественные логики и математики, оказавшие глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены учебники А.Н. Колмогорова и А.Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы", содержащие классическое изложение понятий и...
ISBN: 5-484-00520-5
Издательство:
КомКнига
Дата выхода: май 2006