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

Statistical data are not always precise numbers, or vectors, or categories. Real data are frequently what is called fuzzy. Examples where this fuzziness is obvious are quality of life data, envir…

This book concerns the use of dioid algebra as (max, +) algebra to treat the synchronization of tasks expressed by the maximum of the ends of the tasks conditioning the beginning of another task …

Features a balance between theory, proofs, and examples and provides applications across diverse fields of study Ordinary Differential Equations presents a thorough discussion of first-order diff…

How many ways do exist to mix different ingredients, how many chances to win a gambling game, how many possible paths going from one place to another in a network ? To this kind of questions Math…

Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered througho…

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

Winner of the 2012 PROSE Award for Mathematics from The American Publishers Awards for Professional and Scholarly Excellence. «A great book, one that I will certainly add to my personal library.»…

Combinatorial optimization is a multidisciplinary scientific area, lying in the interface of three major scientific domains: mathematics, theoretical computer science and management. The three vo…

Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible approach to the topic, Theory of Computation focuses on the metathe…

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

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

Если вы хотите управлять домочадцами, как Кутузов управлял огромным войском, или спорить с коллегами, подобно древнегреческому оратору Демосфену, вам точно нужна эта книга! Теория игр – это матем…

The publication of the first book by Kenneth Arrow and Hervé Raynaud, in 1986, led to an important wave of research in the field of axiomatic approach applied to managerial logic. Managerial Logi…

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

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

Этот текст – сокращенная версия книги «Теория игр. Искусство стратегического мышления в бизнесе и жизни». Только самое главное: идеи, техники, ключевые цитаты. В игры играют не только дети. Рабо…

Брошюра написана по материалам лекции, прочитанной автором 23 июля 2005 года в летней школе «Современная математика» в Дубне. Она посвящена формализации такого интуитивно ясного термина, как «слу…

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

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…

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…