Математическая логика

Praise for the First Edition «…complete, up-to-date coverage of computational complexity theory…the book promises to become the standard reference on computational complexity.» -Zentralblatt MATH…

Вниманию читателя представлен материал для тестирования остаточных знаний у студентов учебной дисциплины «Логика». Направление: «Экономика», направленность (профиль) – «Финансы», «Экономика и упр…

An exciting approach to the history and mathematics of number theory “. . . the author’s style is totally lucid and very easy to read . . .the result is indeed a wonderful story.” —Mathematical R…

At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the u…

Добро пожаловать в волшебный мир лилипута Джонни! Эта увлекательная черно-белая раскраска познакомит ребёнка с цифрами от 0 до 10. На каждой странице — весёлые задания, короткие стишки и милые ил…

Надоело искать в учебниках нужную информацию в море формул и теорем? Вас спасет книга, в которой изложены алгоритмы решения типовых задач по математике, изучаемых в 5 и 6 классах. Перед алгоритм…

Written by two well-known scholars in the field, Combinatorial Reasoning: An Introduction to the Art of Counting presents a clear and comprehensive introduction to the concepts and methodology of…

This book provides a rigorous algebraic study of the most popular inference formalisms with a special focus on their wide application area, showing that all these tasks can be performed by a sing…

Praise for the First Edition «. . . an enchanting book for those people in computer science or mathematics who are fascinated by the concept of infinity.»—Computing Reviews «. . . a very well wri…

Данная книга есть описание всего мира, сущего и не только, глазами того, кто уже знает о нём. Здесь описана жизнь, эмоции и мысли, когда весь мир уже понятен, и человек уже теряется между смыслом…

В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклас…

В книгу «Занимательная логика. Задачи и решения» вошли задания и рассказы, собранные из разных книг Якова Перельмана, увидевших свет в 10-е – 30-е годы ХХ века. Это легкие и веселые упражнения, к…

В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклас…

В учебно-методическом пособии изложены основные сведения по математической логике. Учебно-методическое пособие содержит расширенный материал лекций (часть 1 – математическая логика) по дисциплине…

В учебно-методическом пособии изложены основные сведения по математической логике. Учебно-методическое пособие содержит расширенный материал лекций (часть 2 – теория алгоритмов) по дисциплине «Ма…

Основное назначение данной книги – стать постоянно сопровождающим учебником по теме «Моделирование и формализация» для учащихся школ и учителей, для студентов педагогических вузов, в первую очере…

Учебное пособие составлено на основе курса лекций, который читается автором для студентов II курса факультета бизнеса Новосибирского государственного технического университета. В работе системати…

Основное назначение данной книги – стать постоянно сопровождающим учебником по теме «Моделирование и формализация» для учащихся школ и учителей, для студентов педагогических колледжей, в первую о…

В данной книге изучаются различные конструкции колец, модулей и алгебр: тензорные произведения модулей, классические локализации колец, групповые кольца, моноидные кольца моноидов с сокращениями …

Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использ…