Читаю эту классную книгу, признаться, даже немного стыдно за то, что в свои 25 я до сих пор не уделил должного внимание подобной литературе. Не могу понять одной вещи, видимо в силу пробелов в знаниях математики, что у Вирта означают двоеточия в описании, например, предикатов? Например есть предикат: R(i) = Ak: 0 <= j < M : p = s (у p и s указаны индексы j и i+j соотв.), не совсем понимаю значение двоеточий. Насколько я понимаю, первая часть это проверка, вторая значит тоже? Следовательно это обозначение конъюнкции во втором случае? А что насчет двоеточия после Ak?