В монографии разработана теория характеризации функциональных исчислений в k-значных логиках, на основе которой решена проблема синтеза функциональных декомпозиций, используемая при проектировании нейронных…