Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
structure computational » structures computational, structure composition
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion versus » deduction versus, inclusion versus, recursion arrays
versus virtue » versus nurture, versus value
1
Azala
Argitaratua 2007
Aurkibidea: “...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”
Testu osoa
Baliabide elektronikoa eBook
Gogokoenen artean sartu
Gorde:
Bilaketa egiteko lanabesak: RSS — Emaitzak posta elektronikoz bidali — Bilaketa gorde