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

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

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

Книга посвящена теоретико-игровому анализу моделей переговоров. Рассматриваются задачи распределения ресурсов, последовательные переговоры, переговоры со случайными предложениями, арбитражные про…

«Думай математически» – идеальное пособие для тех, кто стремится развить свои математические способности или занимается обучением математическому мышлению других. Авторы предлагают читателю интер…

Новое издание учебника было существенно переработано и дополнено, в нем изложены все основные разделы дискретной математики и описаны важнейшие алгоритмы на дискретных структурах данных. Основу к…

Человек, совершивший прорыв в математике и схемотехнике, наделив машины математической логикой. Гений, сделавший свое самое важное открытие в 21 год. Дальний родственник Томаса Эдисона. Коллега А…

Эмоционально-метафорный тип мышления – это особый способ обработки информации, который не сводится к банальным идеям "нравится-не-нравится" и "радость-грусть". У этого языка своя азбука, свои з…

Книга знакомит читателя с тем, как развивалось с течением времени понятие математического доказательства. Некоторые иллюстративные и интересные математические результаты приведены с доказательств…

Эмоционально-метафорный тип мышления – это особый способ обработки информации, который не сводится к банальным идеям "нравится-не-нравится" и "радость-грусть". У этого языка своя азбука, свои з…

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…

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

A concise, easily accessible introduction to descriptive and inferential techniques Statistical Inference: A Short Course offers a concise presentation of the essentials of basic statistics for r…

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…

This book is devoted to integration, one of the two main operations in calculus. In Part 1, the definition of the integral of a one-variable function is different (not essentially, but rather met…

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

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software ap…

В этой книге собраны самые интересные логические задачи и загадки для детей, подростков и взрослых. Задачи разбиты по уровням сложности. Есть очень сложные логические загадки, есть попроще. Пре…

A new and unique way of understanding the translation of concepts and natural language into mathematical expressions Transforming a body of text into corresponding mathematical expressions and mo…

A systematic and integrated approach to Cantor Sets and their applications to various branches of mathematics The Elements of Cantor Sets: With Applications features a thorough introduction to Ca…