Grégoire Dooms wrote: > Very deep in the foundations of algorithms are the foundations of > computer science semantics: > http://en.wikipedia.org/wiki/Denotational_semantics > > An other area where I've been exposed ot fixed points is concurrent > constraint programming where constraint propagators are applied to a > computation space until a fixed point is reached (see for instance > http://www.gecode.org/ for a Open source implementation).
I see your familiarity with the gecode project and its concepts are more than casual ;): http://cpgraph.info.ucl.ac.be/ > HTH, Helps - in the sense of giving me some impression of the meaning of the behind the assertion, realizing that an "impression" is all I have the prerequisites to achieve. > -- > Grégoire Dooms > > PS: Where is the connection with education with/about Python ? Maybe little. Though I have certainly been *more* irrelevant than this. As I suspect you are aware. Obviously there will be more relevance once you do the Python bindings to CP(Graph) ;). I do flirt with the idea of having nothing to say here - which will certainly avoid any possibility of my raising irrelevancies. Is PyGeo relevant to education with/about Python? I am not quite ready yet, but after the next release I will be willing to argue that it is more than relevant - that it is significant. Knowing that I might have lost objectivity, but also knowing what I know. Art Art _______________________________________________ Edu-sig mailing list [email protected] http://mail.python.org/mailman/listinfo/edu-sig
