Cantitate/Preț
Produs
Total produse
Vezi coșul
Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings de Wilfrid Hodges

Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings: Lecture Notes in Computer Science, cartea 5110

Editat de Wilfrid Hodges, Ruy de Queiroz
en Limba Engleză Paperback – 19 iun 2008

Lucrarea Logic, Language, Information and Computation pune accent pe aplicabilitatea practică a logicii formale prin cele 21 de studii de caz și lucrări de cercetare selectate riguros, completate de 7 tutoriale ce explorează artefactele semantice în programarea orientată pe obiecte și complexitatea descriptivă a algebrei liniare. Această ediție, ce marchează a 15-a întrunire WoLLIC desfășurată la Edinburgh, consolidează puntea dintre fundamentele teoretice ale informaticii și lingvistica computațională.

Suntem de părere că structura volumului reflectă o progresie logică necesară cercetătorului modern: pornește de la prelegeri invitate despre calculul cuantic și semantica jocurilor, avansând spre contribuții tehnice despre automate pushdown și logici de memorie. Această organizare permite o navigare facilă între subiecte interdisciplinare, de la evoluția ontologiei în fizică până la analiza convergenței metodelor teoretice de domeniu. Cititorii familiarizați cu Computer Science Logic de Julian Bradfield vor aprecia în acest volum focalizarea mai pronunțată pe intersecția cu limbajul natural și sistemele de credințe, depășind cadrul strict al logicii matematice tradiționale.

Editorul Wilfrid Hodges aduce aici rigoarea demonstrată în lucrările sale anterioare, precum Model Theory sau Mathematical Logic. Dacă în textele sale de curs Wilfrid Hodges se concentra pe fundamentarea conceptelor pentru studenți, în acest volum coordonează o sinteză avansată a cercetării de frontieră. Putem afirma că volumul nu este doar o colecție de proceduri, ci un instrument de lucru esențial pentru înțelegerea modului în care logica formală guvernează astăzi fluxul și protecția informației în mediile digitale complexe.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 55812 lei

Preț vechi: 65661 lei
-15%

Puncte Express: 837

Carte disponibilă

Livrare economică 03-17 iunie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783540699361
ISBN-10: 3540699368
Pagini: 321
Ilustrații: VIII, 313 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.48 kg
Ediția:2008
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

De ce să citești această carte

Această resursă este esențială pentru cercetătorii care doresc să înțeleagă aplicațiile avansate ale logicii în informatică și lingvistică. Cititorul câștigă acces la metodologii riguroase de verificare software și modelare a limbajului, beneficiind de expertiza unor editori de renume mondial. Este un reper pentru oricine studiază semantica formală și noile paradigme de computație, oferind soluții concrete pentru probleme de logică dinamică și sisteme de credințe.

Descriere scurtă

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008.
The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed and selected from numerous submissions. The papers cover all pertinent subjects in computer science with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.

Cuprins

Tutorials and Invited Lectures.- Inter-deriving Semantic Artifacts for Object-Oriented Programming.- On the Descriptive Complexity of Linear Algebra.- Talks on Quantum Computing.- On Game Semantics of the Affine and Intuitionistic Logics.- The Grammar of Scope.- Contributed Papers.- Conjunctive Grammars and Alternating Pushdown Automata.- Expressive Power and Decidability for Memory Logics.- Reasoning with Uncertainty by Nmatrix–Metric Semantics.- A Propositional Dynamic Logic for CCS Programs.- Towards Ontology Evolution in Physics.- Nominal Matching and Alpha-Equivalence.- Interval Additive Generators of Interval T-Norms.- Propositional Dynamic Logic as a Logic of Belief Revision.- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method.- On the Formal Semantics of IF-Like Logics.- One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations.- Labelled Calculi for ?ukasiewicz Logics.- An Infinitely-Often One-Way Function Based on an Average-Case Assumption.- On Characteristic Constants of Theories Defined by Kolmogorov Complexity.- Adversary Lower Bounds for Nonadaptive Quantum Algorithms.- On Second-Order Monadic Groupoidal Quantifiers.- Inference Processes for Quantified Predicate Knowledge.- Using ? -ctl to Specify Complex Planning Goals.- Hyperintensional Questions.- Skolem Theory and Generalized Quantifiers.- On a Graph Calculus for Algebras of Relations.