Hi there,
Firstly, I would like to introduce myself to the group: I am a third year undergraduate student from BITS Pilani University, India. My major is Information Systems. Talking about the academic prowess/experience in the field, I had done a course, titled "Logic in Computer Science", last year. Apart from that I have done regular courses on "Discrete Math", "Data Structures and Algorithms", "Linear Algebra" previously. Coming to my coding skills, I am an advanced Python programmer with around one year of experience in coding different algorithms/data- structures, writing server-client socket applications for my personal usage, playing with the twitter API etc. Apart from this, I have experience in using Prolog, which I used during my Logic in CS course to test and implement formal logic rules and predicates. Coming to the idea itself: I quite liked the idea, when I saw it first on the ideas page[1]. I skimmed through the /sympy/assumptions/ directory[2] on github, and the first feeling was that, "this is nice and clean". And I could possibly do it, once I get a hang of it. I am well versed with the conceptual parts of the subject and using such systems from the outside, but getting under-the-hood and writing such programs would be a first time for me. Could someone please lay-down the idea in more concrete and acheivable terms for me, like you have to implement Natural Deduction Rules or implement Quantifier Equivalences etc. Thanks, Alok [1]: https://github.com/sympy/sympy/wiki/gsoc-2012-Ideas [2]: https://github.com/sympy/sympy/tree/master/sympy/assumptions -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
