[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: teaching TLA
Maybe a mixture of TLC with Pcal may be a good beginning on a very simple algorithm (for instance
the generation of the addition table).
Even better: the binary addition table (no loop).