Hello Yes, I've seen the logic module, but I think there's only rudimentary support for propositional logic. I would like to help in implementing this stuff, but need some time, because I have to make myself comfortable with Python and the whole sage math development life cycle and all its features.
For example, I thought it would be a great deal to implement a turing- machine-simulator - the question is how we represent this in sage-math (it could be simular to http://ironphoenix.org/tril/tm/). Such stuff would be very interesting for all computer science students. best regards, Uli Kastlunger -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
