|
|
Rank: Advanced Member
Joined: 11/8/2017
Posts: 3,553
Neurons: 13,051
|
Is 'sketch' like 'brief' or 'explanation'? Both are in its definitions
The degree of rigor in correctness arguments for algorithms varies greatly: sometimes we give rather formal proofs and sometimes only intuitive sketches.
|
|
Rank: Advanced Member
Joined: 9/19/2011
Posts: 15,647
Neurons: 74,672
|
Tara2 wrote:Is 'sketch' like 'brief' or 'explanation'? Both are in its definitions
The degree of rigor in correctness arguments for algorithms varies greatly: sometimes we give rather formal proofs and sometimes only intuitive sketches. Yes, brief and explanation work as well as "outline", which is a brief listing of points.
|
|
Rank: Advanced Member
Joined: 11/8/2017
Posts: 3,553
Neurons: 13,051
|
Many thanks!!!
|
|
|
Guest |