cok guzel bir sekilde egitim bolgesindeki cocuklar

Question

Coq standart kütüphanesinde naturallar üzerinde öklid bölünmesi yapmak için bir fonksiyon var mı? Ben bir tane bulamadım. Eğer biri yoksa, o zaman matematiksel olarak bir sebep olmamalı mı?

Bunun sebebi, bir listeyi iki küçük listeye ayırmaya çalışıyorum.

http://coq.inria.fr/distrib/V8.4/stdlib/Coq.Numbers.Natural.Abstract.NDiv.html

Diğer Öklid:/2.

Answer 1

Bu Aradığınız ne olabileceğini ben diğerinin yaklaşık yarısı büyüklüğünde olması için bir liste istiyorum, bu yüzden (uzunluk x'ler) bilgisayar ediyorum şeyler:

http://coq.inria.fr/distrib/V8.4/stdlib/Coq.Arith.Euclid.html

http://coq.inria.fr/distrib/V8.4/stdlib/Coq.Numbers.NatInt.NZDiv.html

http://coq.inria.fr/distrib/V8.4/stdlib/Coq.ZArith.Zdiv.html

http://coq.inria.fr/distrib/V8.4/stdlib/Coq.ZArith.Zeuclid.html