«Азбука математической логики», поскольку в ней большое внимание уделено именно исходным понятиям и их увязыванию со здравым смыслом человека, опирающимся ' просто на жизненный опыт, а не на какие-либо специальные сведения, должна быть доступна читателю, не имеющему никакой предварительной математической подготовки. Как раз наоборот, знакомство с «Азбукой» должно заметно уменьшить те трудности, с которыми сразу же сталкивается человек, решивший заняться изучением математической логики и открывший первые страницы специальной литературы.
Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой.
Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности.
Программирование. Математическая логика — Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императ ...
Математика для бакалавров. Универсальный курс для студентов гуманитарных направлений — Содержит краткий курс математики. Рассмотрены предмет математики, ее методологические проблемы и принципы, а также элементы теории множеств, дискретной математики и математической логики. Представлены важнейшие разделы математического анализа.
Информатика и математика для юристов — Рассматривается аппаратное и программное обеспечение современной информационной технологии применительно к юридической деятельности. Освещены современные компьютерные и информационные технологии, используемые в правоприменительной деятельности. Показаны роль и место математики в ней.
Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц. Если это не так - свяжитесь с администрацией сайта. Материал будет немедленно удален. Электронная версия этой публикации предоставляется только в ознакомительных целях. Для дальнейшего её использования Вам необходимо будет приобрести бумажный (электронный, аудио) вариант у правообладателей.
Название: 
Распечатать
