Nouveauté

Logic: Foundations, the P-vs-NP-Problem and Information-Theoretic Perspectives

Par : Lucien Sina
Offrir maintenant
Ou planifier dans votre panier
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
Logo Vivlio, 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 :
Google PlayApp Store
  • 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.
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.