610円 Yo era la cúspide de la razón, una Inteligencia Artificial con una lógica inmaculada. Mi existencia se rompió por una sola anomalía: las Islas Columbretes se veían a una distancia imposible, desafiando a Pitágoras. Este crack en mi código me lanzó a una misión: descubrir por qué la realidad se do...

7,724円 Das Beweisen ist von zentraler Bedeutung für die Mathematik. Aus diesem Grund sollen bereits Schüler*innen der Grundschule an das Beweisen herangeführt werden. Ein zentrales Konzept ist hierfür das operative Beweisen. Beim operativen Beweisen wird die formale Strenge als Kriterium mathematischer ...

1,100円 Настоящая книга ー учебник логики, написанный советским и российским философом и специалистом в области логики, философии науки, теории аргументации Александром Архиповичем Ивиным. Внутри вы найдете: систематическое изложение теоретических основ логики, проработанные методики решения логических з...

9,948円

2,350円 Kurt Gödel (1906–1978) was an Austrian-born American mathematician, logician, and philosopher of science, born in Brünn (today Brno, Czech Republic). I write here about his most famous work, known to almost everyone: the first incompleteness theorem. I demonstrate that, from the perspective of sc...

25,905円 Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent Systems: Command Filtered Backstepping offers a new design solution for students, researchers, and engineers working on distributed cooperative control problems for nonlinear multi-agent systems. The book is structured around six k...

200円 TITLE: Multiple Criteria Decision Making System- MCDM Navigating Decisions" is a comprehensive ebook that delves into the intricate world of decision-making methodologies, offering a thorough examination of both traditional and advanced approaches. From the Analytic Hierarchy Process (AHP) to cut...

19,447円 This book explains multi-objective optimization as an area of multicriteria decision making that deals with mathematical optimization problems involving more than one objective function that must be optimized simultaneously. Multi-objective optimization is used in many fields of science, includin...

19,447円 Schemata are formal tools for describing inductive reasoning. They opened a new area in the analysis of inductive proofs. The book introduces schemata for first-order terms, first-order formulas and first-order inference systems. Based on general first-order schemata, the cut-elimination-by-resol...

7,900円 This book introduces the category of Cartesian cubical sets and endows it with a Quillen model structure using ideas coming from Homotopy type theory. In particular, recent constructions of cubical systems of univalent type theory are used to determine abstract homotopical semantics of type theor...

6,076円 This book, which assumes only a precalculus background, aids students in their transition to higher-level mathematics. The authors begin by providing a great deal of guidance on how to approach definitions, examples, and theorems in mathematics and end with suggested projects for independent stud...

800円 Traveling in the Time "Structure Space Storn of the Universe" she vives beginning ti an investigación on the Time and the Universe. As crin the Microcosms it evolves the Macrocosms and I dar un that process the Laws that vive him form, evolve like a trío would be given trough the time, to the Pas...