В монографии разработана теория характеризации функциональных исчислений в k-значных логиках, на основе которой решена проблема синтеза функциональных декомпозиций, используемая при проектировании нейронных сетей, в том числе и нейронных ускорителей, функционирующих в субмикронном диапазоне. Книга предназначена для студентов, аспирантов, инженеров и ученых, работающих по направлению `Информатика и вычислительная техника`.