OFFRE LISEUSES
Une liseuse achetée = une housse offerte* jusqu'au 21 juin
Logic: Foundations, the P-vs-NP-Problem and Information-Theoretic Perspectives
Par :Formats :
Disponible dans votre compte client Decitre ou Furet du Nord dès validation de votre commande. Le format PDF est :
- Compatible avec une lecture sur My Vivlio (smartphone, tablette, ordinateur)
- Compatible avec une lecture sur liseuses Vivlio
- Pour les liseuses autres que Vivlio, vous devez utiliser le logiciel Adobe Digital Edition. Non compatible avec la lecture sur les liseuses Kindle, Remarkable et Sony
, qui est-ce ?Notre partenaire de plateforme de lecture numérique où vous retrouverez l'ensemble de vos ebooks gratuitement
Pour en savoir plus sur nos ebooks, consultez notre aide en ligne ici
C'est si simple ! Lisez votre ebook avec l'app Vivlio sur votre tablette, mobile ou ordinateur :
- Nombre de pages156
- FormatPDF
- ISBN978-3-6951-2821-1
- EAN9783695128211
- Date de parution30/07/2025
- Protection num.Digital Watermarking
- Taille2 Mo
- Infos supplémentairespdf
- ÉditeurBoD - Books on Demand
Résumé
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.
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.
