[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: fl <freder...@xxxxxxxxxxx>*Date*: Mon, 27 Jun 2016 10:24:47 -0700 (PDT)

The quantity of mathematics one needs to learn to a young to make him/her able

to write a specification formally is rather poor.

First you need to learn him/her a symbolism more than mathematics in fact. A stenography more than

a theory/

Second here are all the subjects you need to develop:

a) propositional connectors and quantifiers (inlcuded "there exists only one" and "there exists at most one")

b) set theory constructs mostly the class builder { x \in A | .. } and union, intersection (not only the connectors but also their generalized counterparts.)

c) A paragraph about the fact that "if" is a mathematical operator by itself.

d) Develop the idea that a sequence is a function (as well as an array).

d) recursion.

e) inductive definitions.

I think that's all.

--

FL

**Follow-Ups**:**Re: The quantity of mathematics***From:*fl

- Prev by Date:
**Re: [tlaplus] Proving partial correctness of the SetGCD algorithm in the hyperbook** - Next by Date:
**Re: Parsing Error in Consensus.tla** - Previous by thread:
**Re: [tlaplus] Proving partial correctness of the SetGCD algorithm in the hyperbook** - Next by thread:
**Re: The quantity of mathematics** - Index(es):