Title: Teoriia programmirovaniia i vycheslitelʹnye sistemy