Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Mathematical Foundations of Advanced Informatics - Volume 1: Inductive Approaches (Hardcover, 1st ed. 2018)
Loot Price: R1,376
Discovery Miles 13 760
|
|
Mathematical Foundations of Advanced Informatics - Volume 1: Inductive Approaches (Hardcover, 1st ed. 2018)
Expected to ship within 12 - 17 working days
|
The books in this trilogy capture the foundational core of advanced
informatics. The authors make the foundations accessible, enabling
students to become effective problem solvers. This first volume
establishes the inductive approach as a fundamental principle for
system and domain analysis. After a brief introduction to the
elementary mathematical structures, such as sets, propositional
logic, relations, and functions, the authors focus on the
separation between syntax (representation) and semantics (meaning),
and on the advantages of the consistent and persistent use of
inductive definitions. They identify compositionality as a feature
that not only acts as a foundation for algebraic proofs but also as
a key for more general scalability of modeling and analysis. A core
principle throughout is invariance, which the authors consider a
key for the mastery of change, whether in the form of extensions,
transformations, or abstractions. This textbook is suitable for
undergraduate and graduate courses in computer science and for
self-study. Most chapters contain exercises and the content has
been class-tested over many years in various universities.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.