Настоящая книга знакомит читателя с сущностью и основными принципами математической логики. Для этого в первую очередь вводится и уточняется ряд несложных, но очень важных понятий (структура, система, модель и т.д.), а затем эти понятия связываются с некоторыми уже установившимися терминами математики (такими, например, как функция, аргумент). Это позволяет полнее сформулировать сущность математической...

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-397-00585-2
Издательство: Либроком
Дата выхода: январь 2009

В книге излагаются основные разделы курса дискретной математики, имеющей большое значение для информатики и электроники. При подготовке книги использовался конструктивный подход, особое внимание автор уделил доступности материала. Текст снабжен большим количеством примеров. Книга предназначена для высших учебных заведений.

ISBN: 5-93208-025-6
Издательство: Лаборатория Базовых Знаний
Дата выхода: сентябрь 2001

В настоящем учебном пособии излагаются основы теории множеств, теории графов, алгебры логики, исчисления высказываний, исчисления предикатов. Теоретический материал представлен доступно и лаконично, также в книге содержится большое количество практических примеров и задач, что облегчает усвоение понятий и методов дискретной математики и математической логики. Соответствует актуальным требованиям...

ISBN: 978-5-534-12446-0
Издательство: Юрайт
Дата выхода: февраль 2020

В книге излагаются основы теории множеств, алгебраических систем, компьютерной арифметики, теории графов, комбинаторики, алгебры логики, которые образуют курс дискретной математики. Для углубленного изучения материала в конце книги приводится список литературы. Для удобства поиска используемых терминов дан указатель терминов, а также указатель обозначений. Кроме того, в качестве приложения приведен...

ISBN: 978-5-534-11632-8
Издательство: Юрайт
Дата выхода: май 2019

Вниманию читателей предлагается задачник-практикум по тригонометрии — книга, которая учит решать задачи, показывая, как они решаются. Главное внимание уделено аналитической стороне тригонометрии (тригонометрические функции числового, в частности комплексного, аргумента, нахождение пределов, экстремумы, суммирование рядов, приближенные методы решения уравнений). В книге отсутствуют наиболее простые...

ISBN: 978-5-9710-8569-0
Издательство: URSS
Дата выхода: февраль 2021

Вниманию читателей предлагается книга голландского математика и логика А.Гейтинга, представляющая собой монографию по основаниям математики. Вопросы оснований математики (теория математического доказательства, проблема существования в математике) рассматриваются в ней с точки зрения интуиционизма - философско-математического течения, считающего интуицию единственным источником математики и...

ISBN: 978-5-397-01321-5
Издательство: Либроком
Дата выхода: январь 2010

Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и языклогики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные...

ISBN: 978-5-8114-1666-0
Издательство: Лань
Дата выхода: июнь 2014

ISBN: 9785002371594
Издательство: URSS
Дата выхода: февраль 2025

Книга известного отечественного математика и философа Ю.А. Шрейдера была задумана как беседа об основных понятиях семиотики - науки о знаковых системах, тесно примыкающей к математической лингвистике и математической логике. Сначала в работе излагаются общесемиотические понятия, которые иллюстрируются на общедоступных примерах из русского языка, языка элементарной алгебры и т.п. Затем вводятся...

ISBN: 978-5-9710-7248-5
Издательство: URSS
Дата выхода: ноябрь 2019