Запропоновано новий підхід до аналізу надійності систем, який об'єднує описувальні засоби алгебри алгоритмів Глушкова та оціночні засоби нечіткої логіки Л. Заде. Отримано правила переходу від операцій в алгебрі алгоритмів до операцій над функціями приналежності нечітких множин.