Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Цель автора - дать читателю связное введение в область...
ISBN: 978-5-397-00105-2
Издательство:
Либроком
Дата выхода: январь 2009
Эта монография принадлежит перу одного из самых известных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую проблематику, связанную с основными понятиями математической логики. Изложенный в ней...
ISBN: 978-5-397-00468-8
Издательство:
Либроком
Дата выхода: январь 2009
Настоящая книга посвящена проблемам логики, семиотики, методологии науки. В ней говорится о структурных аспектах процесса познания в терминах математической логики и алгебры. Уточняется понятие модели и процедуры моделирования с помощью понятий изоморфизма, гомоморфизма и их обобщений. Рассматриваются возможности упрощения описываемой концептуальной схемы и условия ее применимости. Помимо...
ISBN: 978-5-397-00585-2
Издательство:
Либроком
Дата выхода: январь 2009
В книге излагаются основные разделы курса дискретной математики, имеющей большое значение для информатики и электроники. При подготовке книги использовался конструктивный подход, особое внимание автор уделил доступности материала. Текст снабжен большим количеством примеров. Книга предназначена для высших учебных заведений.
ISBN: 5-93208-025-6
Издательство:
Лаборатория Базовых Знаний
Дата выхода: сентябрь 2001
Вниманию читателей предлагается книга голландского математика и логика А.Гейтинга, представляющая собой монографию по основаниям математики. Вопросы оснований математики (теория математического доказательства, проблема существования в математике) рассматриваются в ней с точки зрения интуиционизма - философско-математического течения, считающего интуицию единственным источником математики и...
ISBN: 978-5-397-01321-5
Издательство:
Либроком
Дата выхода: январь 2010
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и языклогики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные...
ISBN: 978-5-8114-1666-0
Издательство:
Лань
Дата выхода: июнь 2014
Книга известного отечественного математика и философа Ю.А. Шрейдера была задумана как беседа об основных понятиях семиотики - науки о знаковых системах, тесно примыкающей к математической лингвистике и математической логике. Сначала в работе излагаются общесемиотические понятия, которые иллюстрируются на общедоступных примерах из русского языка, языка элементарной алгебры и т.п. Затем вводятся...
ISBN: 978-5-9710-7248-5
Издательство:
URSS
Дата выхода: ноябрь 2019
Настоящее учебное пособие представляет собой систематическое изложение базовых положений традиционной логики. На протяжении целого ряда столетий данная дисциплина выполняла функцию канона мыслительной деятельности, а владение ее принципами служило одним из критериев образованности. Учебное пособие имеет сугубо практическую направленность. Представленный теоретический материал иллюстрируется...
ISBN: 978-5-16-014904-2
Издательство:
Инфра-М
Дата выхода: июнь 2019
В учебном пособии в краткой и доступной форме рассмотрены все основные вопросы, предусмотренные государственным образовательным стандартом и учебной программой по дисциплине "Логика". Книга позволит быстро получить основные знания по предмету, а также качественно подготовиться к зачету и экзамену. Рекомендуется студентам юридических и психологических вузов и факультетов.
ISBN: 978-5-369-00923-9
Издательство:
РИОР
Дата выхода: июнь 2011
В настоящей книге рассматривается развитие логических идей во Франции на протяжении двухсот лет --- от трудов Блеза Паскаля (XVII в.) до результатов, полученных Жозефом Жергонном (начало XIX столетия). Прослежено развитие логики, как она была представлена в известной "Логике Пор-Рояля", в сочинениях Кондильяка, в трудах представителей школы так называемых "идеологов" (Траси, Жерандо, Ланслен). Освещены усилия...
ISBN: 5-484-00607-4
Издательство:
КомКнига
Дата выхода: декабрь 2006
В брошюре рассказывается (для школьников 7–11 классов) о методе математической индукции на примере 46 задач, из которых 19 снабжены подробными решениями. Предыдущее издание книги вышло в 2007 г.
ISBN: 978-5-4439-2824-1
Издательство:
МЦНМО
Дата выхода: август 2018
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для...
ISBN: 978-5-9221-1301-4
Издательство:
Физматлит
Дата выхода: август 2011
Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Введение в математическую логику" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В.Ломоносова, и содержит...
ISBN: 978-5-9710-2573-3
Издательство:
Ленанд
Дата выхода: август 2015
Имя одного из крупнейших специалистов в области математической логики С.К. Клини знакомо читателю по русскому переводу его фундаментального труда «Введение в метаматематику» (переиздание которого готовится нашим издательством), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Настоящая книга представляет собой существенно...
ISBN: 978-5-382-00626-0
Издательство:
ЛКИ
Дата выхода: январь 2008
Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Книга Р.Л.Гудстейна может служить кратким введением в математическую логику. От многих других книг по логике, имеющихся на русском языке, она выгодно...
ISBN: 978-5-397-00528-9
Издательство:
Либроком
Дата выхода: январь 2010
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов,...
ISBN: 978-5-534-12274-9
Издательство:
Юрайт
Дата выхода: январь 2021