Эта монография принадлежит перу одного из самых известных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую проблематику, связанную с основными понятиями математической логики. Изложенный в ней...
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
![Логика [Уч.пос.] 2из. карман](https://files.books.ru/pic/891001-892000/891708/000891708.jpg)
