ISBN: 978-5-9710-7040-5 Издательство: URSS Дата выхода: январь 2020
ISBN: 978-5-466-03827-9 Издательство: КноРус Дата выхода: июль 2023
Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Цель автора - дать читателю связное введение в область...
ISBN: 978-5-397-00105-2 Издательство: Либроком Дата выхода: январь 2009
Эта монография принадлежит перу одного из самых известных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую проблематику, связанную с основными понятиями математической логики. Изложенный в ней...
ISBN: 978-5-397-00468-8 Издательство: Либроком Дата выхода: январь 2009
ISBN: 978-5-4439-0945-5 Издательство: МЦНМО Дата выхода: январь 2017
Настоящая книга посвящена проблемам логики, семиотики, методологии науки. В ней говорится о структурных аспектах процесса познания в терминах математической логики и алгебры. Уточняется понятие модели и процедуры моделирования с помощью понятий изоморфизма, гомоморфизма и их обобщений. Рассматриваются возможности упрощения описываемой концептуальной схемы и условия ее применимости. Помимо...
ISBN: 978-5-397-00585-2 Издательство: Либроком Дата выхода: январь 2009
ISBN: 978-5-534-12446-0 Издательство: Юрайт Дата выхода: февраль 2020
В книге излагаются основные разделы курса дискретной математики, имеющей большое значение для информатики и электроники. При подготовке книги использовался конструктивный подход, особое внимание автор уделил доступности материала. Текст снабжен большим количеством примеров. Книга предназначена для высших учебных заведений.
ISBN: 5-93208-025-6 Издательство: Лаборатория Базовых Знаний Дата выхода: сентябрь 2001
ISBN: 978-5-534-11632-8 Издательство: Юрайт Дата выхода: май 2019
Шестая книжка серии "Школьные математические кружки" посвящена различным подходам к сравнению и вычислению площадей и объемов и предназначена для занятий со школьниками 6-11 классов. В нее вошли разработки четырех занятий математического кружка, в каждом из которых подробно разобраны задачи различной сложности и даны методические указания для учителя. Приведен также список дополнительных задач. В...
ISBN: 978-5-4439-2967-5 Издательство: МЦНМО Дата выхода: январь 2019
ISBN: 5-94057-044-5 Издательство: МЦНМО Дата выхода: январь 2003
Вниманию читателей предлагается книга голландского математика и логика А.Гейтинга, представляющая собой монографию по основаниям математики. Вопросы оснований математики (теория математического доказательства, проблема существования в математике) рассматриваются в ней с точки зрения интуиционизма - философско-математического течения, считающего интуицию единственным источником математики и...
ISBN: 978-5-397-01321-5 Издательство: Либроком Дата выхода: январь 2010
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и языклогики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные...
ISBN: 978-5-8114-1666-0 Издательство: Лань Дата выхода: июнь 2014
В учебном пособии в краткой и доступной форме рассмотрены все основные вопросы, предусмотренные государственным образовательным стандартом и учебной программой по дисциплине "Логика". Книга позволит быстро получить основные знания по предмету, а также качественно подготовиться к зачету и экзамену. Рекомендуется студентам юридических и психологических вузов и факультетов.
ISBN: 978-5-369-00923-9 Издательство: РИОР Дата выхода: июнь 2011
Книга известного отечественного математика и философа Ю.А. Шрейдера была задумана как беседа об основных понятиях семиотики - науки о знаковых системах, тесно примыкающей к математической лингвистике и математической логике. Сначала в работе излагаются общесемиотические понятия, которые иллюстрируются на общедоступных примерах из русского языка, языка элементарной алгебры и т.п. Затем вводятся...
ISBN: 978-5-9710-7248-5 Издательство: URSS Дата выхода: ноябрь 2019
Настоящее учебное пособие представляет собой систематическое изложение базовых положений традиционной логики. На протяжении целого ряда столетий данная дисциплина выполняла функцию канона мыслительной деятельности, а владение ее принципами служило одним из критериев образованности. Учебное пособие имеет сугубо практическую направленность. Представленный теоретический материал иллюстрируется...
ISBN: 978-5-16-014904-2 Издательство: Инфра-М Дата выхода: июнь 2019
В настоящей книге рассматривается развитие логических идей во Франции на протяжении двухсот лет --- от трудов Блеза Паскаля (XVII в.) до результатов, полученных Жозефом Жергонном (начало XIX столетия). Прослежено развитие логики, как она была представлена в известной "Логике Пор-Рояля", в сочинениях Кондильяка, в трудах представителей школы так называемых "идеологов" (Траси, Жерандо, Ланслен). Освещены усилия...
ISBN: 5-484-00607-4 Издательство: КомКнига Дата выхода: декабрь 2006
Уч.пособие состоит из 2 частей — курса лекций по матем.логике, включающего теоретич.материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упр-я по перечисленным разделам. Уч.пособие предназнач.для студентов университетов и педагогических вузов, изучающих математическую логику.
ISBN: 5-8114-0082-9 Издательство: Лань Дата выхода: январь 2009
Бакалавриат
ISBN: 978-5-906818-74-4 Издательство: Алгоритм Дата выхода: июнь 2016
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов,...
ISBN: 9785534109306 Издательство: Юрайт Дата выхода: январь 2019
Учебное пособие содержит полное изложение материала учебных дисциплин «Математическая логика и теория алгоритмов» и «Дискретные функции» Государственного образовательного стандарта высшего профессионального образования по специальностям «Компьютерная безопасность», «Информационная безопасность автоматизированных систем» и некоторым другим смежным специальностям. Пособие состоит из трех...
ISBN: 978-5-8114-1344-7 Издательство: Лань Дата выхода: ноябрь 2012
Первая часть книги является элементарным введением в математическую теорию игр (теорию процессов конкуренции и кооперации) с подробным рассмотрением большого числа примеров. Вторая часть содержит формализованное изложение некоторых результатов теории, некоторые из них являются новыми. Книга предназначена для студентов, аспирантов и научных работников, специализирующихся в области теории игр,...
ISBN: 978-5-8114-1276-1 Издательство: Лань Дата выхода: май 2012
В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к...
ISBN: 978-5-534-01114-2 Издательство: Юрайт Дата выхода: январь 2017
Изложены базовые понятия и принципы математической логики и теории алгоритмов. Рассмотрен ряд распространенных логических парадоксов, на примере которых показаны трудности, возникающие в логике. Книга содержит разнообразные логические задачи, упражнения, которые позволяют закрепить теоретический материал. Для студентов, обучающихся по специальностям «Комплексное обеспечение информационной...
ISBN: 5-93517-349-2 Издательство: Горячая Линия - Телеком Дата выхода: январь 2007
ISBN: 978-5-9710-8569-0 Издательство: URSS Дата выхода: февраль 2021
![Логика [Уч.пос.] 2из. карман](https://files.books.ru/pic/891001-892000/891708/000891708.jpg)
