logo search
часть лекционного курса

Раздел 6 включается в описание игры, если формализация модели позволяет лучше понять суть игры, или если в дальнейшем предполагается провести анализ формальной модели.