на самом деле полезный, хотя бы даже чисто из-за используемых нотаций.
например, вместо чисто-математического равенства A = B, которое часто непонятно как использовать на практике, вводится нотация
A ≈p B
что означает, что A computationally indistinguishable from B in polynomial time.