Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches
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...
Main Authors: | , , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Cham
Springer International Publishing
2018, 2018
|
Edition: | 1st ed. 2018 |
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Introduction
- Propositions and Sets
- Relations and Functions
- Inductive Definitions
- Inductive Proofs
- Inductive Approach: Potential, Limitations, and Pragmatics