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

*From*: John Calcote <john.calcote@xxxxxxxxx>*Date*: Wed, 24 Aug 2022 12:18:01 -0700 (PDT)

Hi,

In the TLA+ video tutorial series, Lecture 7, at time offset 3:43, the following is given:

Maximum(S) == IF S = {} THEN -1

ELSE smallest number in S

I 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/50e6fc15-05ae-46c2-a293-492f7d47e99bn%40googlegroups.com.

**Follow-Ups**:**[tlaplus] Re: TLA+ Lecture Series - possible mistake***From:*John Calcote

- Prev by Date:
**[tlaplus] Raft: followers don't reply always upon an AppendEntriesRequest** - Next by Date:
**[tlaplus] Re: TLA+ Lecture Series - possible mistake** - Previous by thread:
**[tlaplus] Raft: followers don't reply always upon an AppendEntriesRequest** - Next by thread:
**[tlaplus] Re: TLA+ Lecture Series - possible mistake** - Index(es):