14,923円 Until the authors' recent research, the practical implementation of the mathematical theory of chaos on finite machines raised several issues. This self-contained book shows how to make finite machines, such as computers, neural networks, and wireless sensor networks, work chaotically as defined ...

24,045円 Design for security and meet real-time requirements with this must-have book covering basic theory, hardware design and implementation of cryptographic algorithms, and side channel analysis. Presenting state-of-the-art research and strategies for the design of very large scale integrated circuits...

1,033円 圖形推理法、偽科學、射流技術、命題代數…… 從智力遊戲推理到數學史上的世紀難題， 探索「邏輯」如何建構數學的深層結構和思考方式！ ▎「logic」──思維形式及其規律性的科學 　　本書深入探索數學和邏輯之間深刻的關係，不僅追溯到古希臘哲學家們和對哲學和數學的思索，更深入介紹了現代邏輯的多樣性和其在數學證明中的...

0円 This open access book constitutes the proceedings of the First International Conference on Robust Argumentation Machines, RATIO 2024, which took place in Bielefeld, Germany, during June 5-7, 2024. The 20 full papers and 1 short paper included in the proceedings were carefully reviewed and selecte...

18,231円 This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024. The 10 papers included in these proceedings were carefully reviewed and selected from 15 sub...

15,800円 This book is dedicated to Dick de Jongh’s contributions to the theory of intuitionistic and provability logics. Consisting of 13 chapters, written by leading experts, this book discusses de Jongh’s original contributions and consequent developments that have helped to shape these fields. The book...

10,938円 This book develops a new approach to plural arbitrary reference and examines mereology, including considering four theses on the alleged innocence of mereology. The authors have advanced the notion of plural arbitrary reference in terms of idealized plural acts of choice, performed by a suitable ...

1,200円 "Des chiffres et des mots – La démo des chiffres" nous invite à une exploration captivante de l’univers mathématique, révélant leur rôle crucial et souvent méconnu dans notre quotidien. Fino nous propose une réflexion philosophique accessible, allant bien au-delà des simples calculs et des avancé...

4,618円 This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024. The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions. The book also contains on...

800円 〓 Are you tired of being manipulated by faulty logic and hidden biases? 〓 Do you want to sharpen your ability to think clearly and make sound decisions? 〓 What if you could spot hidden fallacies and challenge flawed arguments effortlessly? Inside Critical Thinking, Logic, and Problem Solving, ...

4,618円 "Fascinating details and anecdotes accompany this engaging account of the emergence of dramatic new ideas and forms in music over the centuries..." David Politzer, winner of the 2004 Nobel Prize in Physics. "A thought-provoking, stimulating, and highly original exploration of deep metaphorical li...

1,050円 Pure Math: Discovering the Beauty of Abstract Mathematics offers a unique approach to exploring the captivating world of pure mathematics. It's where logic meets imagination, and abstract thought gives rise to profound beauty. This book takes you beyond the formulas and calculations, uncovering t...