математическая логика
Задачи по дискретной математике с алгоритмами на Python
В учебное пособие включены задачи и упражнения вузовского курса дискретной математики, включая разделы, связанные со спецификой информационно-коммуник…
Подробнее
The Mathematics of Infinity. A Guide to Great Ideas
Praise for the First Edition «. . . an enchanting book for those people in computer science or mathematics who are fascinated by the concept of infini…
Подробнее
The Language of Mathematics. Utilizing Math in Practice
A new and unique way of understanding the translation of concepts and natural language into mathematical expressions Transforming a body of text into …
Подробнее
Concepts of Combinatorial Optimization
Combinatorial optimization is a multidisciplinary scientific area, lying in the interface of three major scientific domains: mathematics, theoretical …
Подробнее
Четыре алгоритмических лица случайности
Брошюра написана по материалам лекции, прочитанной автором 23 июля 2005 года в летней школе «Современная математика» в Дубне. Она посвящена формализац…
ПодробнееЗадачи по дискретной математике с алгоритмами на Python
В учебное пособие включены задачи и упражнения вузовского курса дискретной математики, включая разделы, связанные со спецификой информационно-коммуник…
Подробнее
Математика: математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для СПО
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теори…
Подробнее
The Elements of Cantor Sets. With Applications
A systematic and integrated approach to Cantor Sets and their applications to various branches of mathematics The Elements of Cantor Sets: With Applic…
Подробнее
Theory of Computation
Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible approach to the topic,…
Подробнее
Предсказать всё. Как теорема Байеса объясняет наш мир
В XVIII веке пресвитерианский священник Томас Байес вывел формулу, значительно опередившую свое время: теорема Байеса позволяет оценивать, как изменяе…
Подробнее
Переговоры. Математическая теория. Учебное пособие для вузов. 2-е издание, стереотипное
Книга посвящена теоретико-игровому анализу моделей переговоров. Рассматриваются задачи распределения ресурсов, последовательные переговоры, переговоры…
Подробнее
Statistical Inference. A Short Course
A concise, easily accessible introduction to descriptive and inferential techniques Statistical Inference: A Short Course offers a concise presentatio…
Подробнее
Statistical Methods for Fuzzy Data
Statistical data are not always precise numbers, or vectors, or categories. Real data are frequently what is called fuzzy. Examples where this fuzzine…
Подробнее
Математическая логика. Курс лекций. Задачник-практикум и решения. Учебное пособие для вузов. 5-е издание, стереотипное
Учебное пособие состоит из двух частей – курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, и…
Подробнее
Combinatorial Reasoning. An Introduction to the Art of Counting
Written by two well-known scholars in the field, Combinatorial Reasoning: An Introduction to the Art of Counting presents a clear and comprehensive in…
Подробнее
Математика – это просто 2.0. Думай математически
«Думай математически» – идеальное пособие для тех, кто стремится развить свои математические способности или занимается обучением математическому мышл…
Подробнее
Primes of the Form x2+ny2. Fermat, Class Field Theory, and Complex Multiplication
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 …
Подробнее
Discrete Event Systems in Dioid Algebra and Conventional Algebra
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 task…
Подробнее
Игра разума. Как Клод Шеннон изобрел информационный век
Человек, совершивший прорыв в математике и схемотехнике, наделив машины математической логикой. Гений, сделавший свое самое важное открытие в 21 год. …
Подробнее
Theory of Computational Complexity
Praise for the First Edition «…complete, up-to-date coverage of computational complexity theory…the book promises to become the standard reference on …
Подробнее
Дискретная математика
Новое издание учебника было существенно переработано и дополнено, в нем изложены все основные разделы дискретной математики и описаны важнейшие алгори…
Подробнее
Industrial Use of Formal Methods. Formal Verification
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…
Подробнее
Solutions Manual to accompany Ordinary Differential Equations
Features a balance between theory, proofs, and examples and provides applications across diverse fields of study Ordinary Differential Equations prese…
Подробнее
Теория игр. Для тех, кто хочет все успеть
Если вы хотите управлять домочадцами, как Кутузов управлял огромным войском, или спорить с коллегами, подобно древнегреческому оратору Демосфену, вам …
Подробнее
Тесты с ответами. Логика
Вниманию читателя представлен материал для тестирования остаточных знаний у студентов учебной дисциплины «Логика». Направление: «Экономика», направлен…
Подробнее
Игра разума. Как Клод Шеннон изобрел информационный век
Человек, совершивший прорыв в математике и схемотехнике, наделив машины математической логикой. Гений, сделавший свое самое важное открытие в 21 год. …
Подробнее
Integral and Measure. From Rather Simple to Rather Complex
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 …
Подробнее
Mathematics for Informatics and Computer Science
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 …
Подробнее
Managerial Logic
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…
ПодробнееPrimes of the Form x2+ny2. Fermat, Class Field Theory, and Complex Multiplication
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 …
Подробнее
Математика эмоций: Эмоционально-метафорное мышление как особый тип логического мышления
Эмоционально-метафорный тип мышления – это особый способ обработки информации, который не сводится к банальным идеям "нравится-не-нравится" и "радость…
Подробнее
Математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для академического бакалавриата
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теори…
Подробнее
Logic for Computer Science and Artificial Intelligence
Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large am…
Подробнее
Математика как иностранный
Книга представляет собой попытку автора написать пособие по изучению математического языка так, как принято изучать иностранный язык. Целью книги явля…
ПодробнееIndustrial Use of Formal Methods. Formal Verification
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…
Подробнее
Изменчивая природа математического доказательства. Доказать нельзя поверить
Книга знакомит читателя с тем, как развивалось с течением времени понятие математического доказательства. Некоторые иллюстративные и интересные матема…
Подробнее
Formal Methods. Industrial Use from Model to the Code
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enabl…
Подробнее
Лучшие логические задачи и загадки
В этой книге собраны самые интересные логические задачи и загадки для детей, подростков и взрослых.
Задачи разбиты по уровням сложности. Есть очень с…
Подробнее
Предсказать всё. Как теорема Байеса объясняет наш мир
В XVIII веке пресвитерианский священник Томас Байес вывел формулу, значительно опередившую свое время: теорема Байеса позволяет оценивать, как изменяе…
Подробнее
Раскраска с лилипутом Джонни. Цифры от 0 до 10
Добро пожаловать в волшебный мир лилипута Джонни!
Эта увлекательная черно-белая раскраска познакомит ребёнка с цифрами от 0 до 10. На каждой странице …
Подробнее
Математика эмоций: Эмоционально-метафорное мышление как особый тип логического мышления
Эмоционально-метафорный тип мышления – это особый способ обработки информации, который не сводится к банальным идеям "нравится-не-нравится" и "радость…
Подробнее
Лучшие логические задачи и загадки
В этой книге собраны самые интересные логические задачи и загадки для детей, подростков и взрослых.
Задачи разбиты по уровням сложности. Есть очень с…
Подробнее
Classic Problems of Probability
Winner of the 2012 PROSE Award for Mathematics from The American Publishers Awards for Professional and Scholarly Excellence. «A great book, one that …
Подробнее
Краткое содержание «Теория игр. Искусство стратегического мышления в бизнесе и жизни»
Этот текст – сокращенная версия книги «Теория игр. Искусство стратегического мышления в бизнесе и жизни». Только самое главное: идеи, техники, ключевы…
Подробнее
Математика. 5–6 классы
Надоело искать в учебниках нужную информацию в море формул и теорем? Вас спасет книга, в которой изложены алгоритмы решения типовых задач по математик…
Подробнее