Valentin Goranko - Böcker
Visar alla böcker från författaren Valentin Goranko. Handla med fri frakt och snabb leverans.
8 produkter
8 produkter
234 kr
Skickas inom 7-10 vardagar
Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving various operators for composing temporalized expressions, and by the formal logical semantics adopted for capturing the precise intended meaning of these temporal operators. Temporal logics have found a wide range of applications as formal frameworks for temporal knowledge representation and reasoning in artificial intelligence, and as tools for formal specification, analysis, and verification of properties of computer programs and systems. This Element aims at providing both a panoramic view on the landscape of the variety of temporal logics and closer looks at some of their most interesting and important landmarks.
Del 58 - Cambridge Tracts in Theoretical Computer Science
Temporal Logics in Computer Science
Finite-State Systems
Inbunden, Engelska, 2016
1 395 kr
Tillfälligt slut
This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most important temporal logics for transition systems and Part III looks at their expressiveness and complexity. Finally, Part IV describes the main computational methods and decision procedures for model checking and model building - based on tableaux, automata and games - and discusses their relationships. The book contains a wealth of examples and exercises, as well as an extensive annotated bibliography. Thus, the book is not only a solid professional reference for researchers in the field but also a comprehensive graduate textbook that can be used for self-study as well as for teaching courses.
563 kr
Skickas inom 7-10 vardagar
A concise yet rigorous introduction to logic and discrete mathematics.This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade.The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical logic as well as practical applications through the easy to understand and use deductive systems of Semantic Tableaux and Resolution. The chapters on set theory, number theory, combinatorics and graph theory combine the necessary minimum of theory with numerous examples and selected applications. Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in the accompanying solutions manual.Key Features: Suitable for a variety of courses for students in both Mathematics and Computer Science.Extensive, in-depth coverage of classical logic, combined with a solid exposition of a selection of the most important fields of discrete mathematicsConcise, clear and uncluttered presentation with numerous examples.Covers some applications including cryptographic systems, discrete probability and network algorithms.Logic and Discrete Mathematics: A Concise Introduction is aimed mainly at undergraduate courses for students in mathematics and computer science, but the book will also be a valuable resource for graduate modules and for self-study.
243 kr
Skickas inom 7-10 vardagar
Solutions manual to accompany Logic and Discrete Mathematics: A Concise Introduction This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade.Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in this accompanying solutions manual.
286 kr
Skickas inom 5-8 vardagar
290 kr
Skickas inom 5-8 vardagar
Lectures on Logic and Computation
ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Häftad, Engelska, 2012
493 kr
Skickas inom 10-15 vardagar
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. During two weeks, around 50 courses and 10 workshops are offered to the attendants, each of 1.5 hours per day during a five days week, with up to seven parallel sessions. ESSLLI also includes a student session (papers and posters by students only, 1.5 hour per day during the two weeks) and four evening lectures by senior scientists in the covered areas.The 6 course notes were carefully reviewed and selected. The papers are organized in topical sections on computational complexity, multi-agant systems, natural language processing, strategies in games and formal semantics.
Del 16010 - Lecture Notes in Computer Science
Logic, Rationality, and Interaction
10th International Conference on Logic, Rationality and Interaction, LORI 2025, Xi’an, China, October 16–19, 2025, Proceedings
Häftad, Engelska, 2025
705 kr
Skickas inom 7-10 vardagar
This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 10th International Conference on Logic, Rationality, and Interaction, LORI 2025, held in Xi’an, China, in October 2025.The 14 full papers presented in this book were carefully reviewed and selected from 47 submissions.The topics addressed in this program effectively showcase the breadth and depth characteristic of the LORI conference series, including contributions on dynamic epistemic logic, nonmonotonic reasoning, belief revision theory, decision theory, causal inference, social epistemology and so on.