Some Observations Concerning Formal Differentiation of Set-Theoretic Expressions (Classic Reprint) - Hardcover

Micha Sharir

9780366745876: Some Observations Concerning Formal Differentiation of Set-Theoretic Expressions (Classic Reprint)

Hardcover

ISBN 10: 0366745875 ISBN 13: 9780366745876

Publisher: Forgotten Books, 2018

View all copies of this ISBN edition

0 Used

2 New

From US$ 38.21

Learn a practical approach to formal differentiation for Set-Theoretic Expressions.

This nonfiction work explains how to differentiate complex set expressions using a symmetric-difference viewpoint, making a difficult topic more approachable.

The book presents a clear framework for applying formal differentiation to a wide class of expressions without diving into every possible prerequisite. It also shows how these ideas can lead to concrete, efficient methods for transforming and simplifying expressions, with careful attention to correctness and performance.

How formal differentiation is defined for set expressions and why symmetric difference helps.
Rules that guide the computation and how they simplify complex expressions.
Incremental construction techniques and how they improve algorithmic efficiency.
Illustrative examples, including a discussion of a garbage collection algorithm.

Ideal for readers of theoretical computer science, programming languages, and algorithm design who want a systematic, derivable approach to differentiate and transform set-based expressions.

"synopsis" may belong to another edition of this title.