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