[informatik-bonn] Re: CVS-Log: Uni Projekte

  • From: Lutz Oberst <oberst@xxxxxxxxxxx>
  • To: informatik-bonn@xxxxxxxxxxxxx
  • Date: Wed, 2 Jul 2003 20:37:57 +0200

On Wed, Jul 02, 2003 at 10:20:27AM +0200, markusdunkel@xxxxxxxxxx wrote:

Moin,

> Blatt09. Lieber spät als nie.

Bist du dir sicher dass du pow richtig definiert hast?
Sowas wie

pow(0, y) = ...
pow(y, 0) = ...

ist doch nicht erlaubt, da das nicht unter prim. rekursion bzw
nicht unter Substitution fällt. Oder?

Bye, Lutz
-- 
signature intentionally left blank


Other related posts: