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

*From*: John Calcote <john.calcote@xxxxxxxxx>*Date*: Wed, 24 Aug 2022 12:45:55 -0700 (PDT)*References*: <50e6fc15-05ae-46c2-a293-492f7d47e99bn@googlegroups.com>

Ok - I just found the errata sheet and it already mentions that correction. Sorry for the noise.

On Wednesday, August 24, 2022 at 1:18:01 PM UTC-6 John Calcote wrote:

Hi,In the TLA+ video tutorial series, Lecture 7, at time offset 3:43, the following is given:Maximum(S) == IF S = {} THEN -1ELSE smallest number in SI believe this should say "largest number in S". If not, please explain why "smallest" is appropriate here. The math that follows describes a search for the largest number in S.Note Dr. Lamport's verbal treatise in the video also mentions "smallest number in S".Perhaps this was modified from an earlier version of the video where the formula was called Minimum(S)?Kindest regards,John

You received this message because you are subscribed to the Google Groups "tlaplus" group.

To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.

To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/1389b431-2f7d-4a20-96c7-bd8ea6e0454bn%40googlegroups.com.

**References**:**[tlaplus] TLA+ Lecture Series - possible mistake***From:*John Calcote

- Prev by Date:
**[tlaplus] TLA+ Lecture Series - possible mistake** - Next by Date:
**Re: [tlaplus] Attempted to apply record to a non-string argument Specifying Systems 3.2** - Previous by thread:
**[tlaplus] TLA+ Lecture Series - possible mistake** - Next by thread:
**Re: [tlaplus] Attempted to apply record to a non-string argument Specifying Systems 3.2** - Index(es):