Свойства бестиповых систем комбинаторной логикитезисы доклада