Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о...
ISBN: 978-5-4439-0014-8
Издательство:
МЦНМО
Дата выхода: январь 2012
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ.
ISBN: 5-900916-66-9
Издательство:
Негосударственное образовательное учреждение Московский Центр непрерывного математического образован
Дата выхода: декабрь 1999
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и...
ISBN: 978-5-4439-0944-8
Издательство:
МЦНМО
Дата выхода: февраль 2017
Раскрываются основные положения одной из увлекательных философских наук - логики. "Понятие", "суждение", "умозаключение", "гипотеза", "софизм", "парадокс", "доказательство" - это не только научные термины, но и реалии нашего мышления и общения, с которыми каждый сталкивается ежечасно. Как научиться грамотно выстраивать систему доказательств и умозаключений? Как одолеть соперника в споре и убедить участников...
ISBN: 978-5-406-02019-7
Издательство:
КноРус
Дата выхода: январь 2012
Вниманию читателей предлагается книга крупнейшего немецкого ученого, основоположника современной математической логики и выдающегося представителя философско-математической мысли Готтлоба Фреге, труды которого по своему значению сопоставимы с логическим наследием Аристотеля и Лейбница. Настоящая книга включает знаменитый труд Г.Фреге "Исчисление понятий" и другие его работы, положившие начало...
ISBN: 978-5-397-02982-7
Издательство:
Либроком
Дата выхода: май 2012
Учебное пособие включает в себя все темы, предусмотренные Государственным стандартом по курсу "Логика" . Содержание курса изложено доступно и последовательно, структура пособия позволяет осваивать учебный материал наиболее удобным для запоминания и понимания способом. В книге рассматриваются основные понятия, идеи и методы "логики" как науки, изучающей законы человеческого мышления, исследуя как общие...
ISBN: 978-5-94416-062-1
Издательство:
Маркет ДС Корпорейшн
Дата выхода: сентябрь 2009
В книге в доступной форме представлено многообразие методов логического анализа: дедуктивные рассуждения, формирование и проверка корректности гипотез, логический анализ в условиях ограничений, абдуктивные заключения. В качестве теоретической основы используются предложенные автором математические системы — E-структуры и алгебра кортежей, позволяющие моделировать различные типы рассуждений и...
ISBN: 9785732511666
Издательство:
Политехника
Дата выхода: январь 2021
Учебник включает все основные разделы курса классической логики, определяемые требованиями Государственного образовательного стандарта для студентов вузов. Теоретический материал снабжен упражнениями и логическими задачами для закрепления знаний и формирования навыков их применения. Для студентов экономических, юридических и технических ВУЗов и факультетов, а также для аспирантов, преподавателей...
ISBN: 978-5-394-01624-0
Издательство:
Дашков и К
Дата выхода: октябрь 2011
Книга известного отечественного математика и философа Ю.А.Шрейдера была задумана как беседа об основных понятиях семиотики - науки о знаковых системах, тесно примыкающей к математической лингвистике и математической логике. Сначала в работе излагаются общесемиотические понятия, которые иллюстрируются на общедоступных примерах из русского языка, языка элементарной алгебры и т.п. Затем вводятся...
ISBN: 978-5-354-01336-4
Издательство:
Едиториал УРСС
Дата выхода: сентябрь 2010
В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к...
ISBN: 978-5-9916-7711-0
Издательство:
Юрайт
Дата выхода: сентябрь 2016
В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д.Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии. Для студентов высших учебных заведений.
ISBN: 5-7695-2735-8
Издательство:
Академия
Дата выхода: ноябрь 2006
В брошюре рассказывается (для школьников 7–11 классов) о методе математической индукции на примере 46 задач, из которых 19 снабжены подробными решениями.
ISBN: 978-5-94057-772-0
Издательство:
МЦНМО
Дата выхода: январь 2011
Имя одного из крупнейших специалистов в области математической логики С. К. Клини знакомо читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (Изд. 2. М.: УРСС, 2005), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Настоящая книга представляет собой существенно усовершенствованный, расширенный и...
ISBN: 5-354-01011-X
Издательство:
Едиториал УРСС
Дата выхода: июль 2005
Данная книга обращена прежде всего к тем, кто изучает математику, - начиная от учащихся старших классов и студентов и кончая специалистами в различных областях, которым приходится встречаться с применением математических методов исследования. Читатель узнает, какими путями добываются новые факты в математике, с какой степенью доверия следует относиться к той или иной математической гипотезе - одним...
ISBN: 978-5-397-01155-6
Издательство:
Либроком
Дата выхода: январь 2010
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о...
ISBN: 978-5-94057-323-4
Издательство:
МЦНМО
Дата выхода: март 2008
Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его...
ISBN: 978-5-7695-4593-1
Издательство:
Академия/Academia
Дата выхода: октябрь 2007
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая...
ISBN: 978-5-9710-2629-7
Издательство:
Ленанд
Дата выхода: август 2015
Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Введение в математическую логику" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В. Ломоносова, и содержит...
ISBN: 978-5-354-01449-1
Издательство:
Едиториал УРСС
Дата выхода: январь 2013
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов,...
ISBN: 9785534146585
Издательство:
Юрайт
Дата выхода: февраль 2021
Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Введение в математическую логику" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В. Ломоносова, и содержит...
ISBN: 978-5-9710-3843-6
Издательство:
Ленанд
Дата выхода: октябрь 2016