Rudiments of Calculus (Volume 146) (Studies in Logic and the Foundations of Mathematics, Volume 146) - Image 1

£64.99

North Holland Rudiments of Calculus (Volume 146) (Studies in Logic and the Foundations of Mathematics, Volume 146)

Name: Rudiments of Calculus (Volume 146) (Studies in Logic and the Foundations of Mathematics, Volume 146)
Brand: North Holland
Price: 75.91 GBP
Availability: InStock

Computer Science

Price History & Forecast

Last 72 days • 72 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 72 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £65 (40 days, 55.6%)

Price range: £65 - £93

Price levels: 4 different prices over 72 days

Description

This book presents what in our opinion constitutes the basis of the theory of the mu-calculus, considered as an algebraic system rather than a logic. We have wished to present the subject in a unified way, and in a form as general as possible. Therefore, our emphasis is on the generality of the fixed-point notation, and on the connections between mu-calculus, games, and automata, which we also explain in an algebraic way. This book should be accessible for graduate or advanced undergraduate students both in mathematics and computer science. We have designed this book especially for researchers and students interested in logic in computer science, comuter aided verification, and general aspects of automata theory. We have aimed at gathering in a single place the fundamental results of the theory, that are currently very scattered in the literature, and often hardly accessible for interested readers. The presentation is self-contained, except for the proof of the Mc-Naughton's Determinization Theorem (see, e.g., [97]. However, we suppose that the reader is already familiar with some basic automata theory and universal algebra. The references, credits, and suggestions for further reading are given at the end of each chapter.

Product Specifications

Brand: North Holland
Format: hardcover
ASIN: 0444506209
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 11 February 2001
Listed Since: 05 February 2007

Barcode

No barcode data available

North Holland Rudiments of Calculus (Volume 146) (Studies in Logic and the Foundations of Mathematics, Volume 146)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Automata and Computability: A Programmer's Perspective

Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts (Undergraduate Topics in Computer Science)

Handbook of Weighted Automata (Monographs in Theoretical Computer Science. An EATCS Series)

Selected Papers Of John H. Holland: A Pioneer In Complexity Science: 4 (Exploring Complexity)

Knowledge Structures for Communications in Human-Computer Systems: General Automata-Based: 56 (Practitioners)

Diskrete Mathematik und Mathematische Fragen der Kybernetik: 71 (Lehrbücher und Monographien aus dem Gebiete der exakten Wissenschaften, 71)

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

The Discrete Math Workbook: A Companion Manual Using Python (Texts in Computer Science)

LATIN 2018: Theoretical Informatics: 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings: 10807 (Lecture Notes in Computer Science, 10807)

Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)

Sequences, Groups, and Number Theory (Trends in Mathematics)

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs: 53 (Lecture Notes in Logic, Series Number 53)

Formal Methods for Discrete-Time Dynamical Systems: 89 (Studies in Systems, Decision and Control, 89)

Mathematics of Discrete Structures for Computer Science

Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications (Texts in Computer Science)

Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory: 53 (Trends in Logic, 53)

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday (Texts & Monographs in Symbolic Computation)

Modeling in Event-B: System and Software Engineering

Proofs and Computations (Perspectives in Logic)

Constructive Models (Siberian School of Algebra and Logic)

Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies

Modeling Companion for Software Practitioners

Real-life Applications with Membrane Computing: 25 (Emergence, Complexity and Computation, 25)

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)