Logic: Foundations, the P-vs-NP-Problem and Information-Theoretic Perspectives
Seiten
2025
BoD – Books on Demand (Verlag)
978-3-8192-0256-8 (ISBN)
BoD – Books on Demand (Verlag)
978-3-8192-0256-8 (ISBN)
This groundbreaking textbook presents a new approach to the study of logic by combining classical foundations with modern information-theoretic perspectives. Following a detailed introduction, it offers an information-theoretic formalization of logic. Subsequently, well-known but still unsolved problems, such as the P versus NP problem, are addressed using the provided tools. An optimization algorithm for the target requirements of logical problem-solving-regarding computability, expressiveness, and consistency-is presented, and finally, a few applications in other fields are showcased. The book offers students and researchers a comprehensive journey through the fundamental principles of logic while introducing innovative concepts at the intersection of logic, information theory, and computational complexity. Key features include: -Solid foundations in classical logic, including propositional and predicate logic, validity, and formal inference. -Novel integration of Shannon's information theory with traditional logical concepts. -Exploration of new approaches to axiomatization and formalization in light of Gödel's incompleteness results. -In-depth analysis of the P versus NP problem with information-theoretic and optimization approaches. -Clear explanations and examples suitable for beginners and beyond. -Applications in mathematics, computer science, and related fields.
Lucien Sina is an experienced computer scientist and educator with a passion for making complex topics accessible. He has years of experience in developing and analyzing algorithms and guides readers through the essential concepts of computer science.
| Erscheint lt. Verlag | 17.7.2025 |
|---|---|
| Sprache | englisch |
| Maße | 120 x 190 mm |
| Gewicht | 173 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik | |
| Schlagworte | Computer Science • Formal Logic • Foundations of mathematics • Logic • Mathematics |
| ISBN-10 | 3-8192-0256-0 / 3819202560 |
| ISBN-13 | 978-3-8192-0256-8 / 9783819202568 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 53,15
Teil 2 der gestreckten Abschlussprüfung Fachinformatiker/-in …
Buch | Softcover (2025)
Europa-Lehrmittel (Verlag)
CHF 37,90
