Hi. Sorry for taking so long to reply. I don't know enough about logic myself to really tell you much. I can say that the idea is intimately tied in with the assumptions. We currently have two assumptions systems, the old one that needs to be removed and the new one that needs to be improved to a usable state.
For logic, I do know that we don't have any second order logic implemented (quantifiers). I recommend that you start looking at the code, and start looking for something you can do to satisfy the patch requirement. Aaron Meurer On Thursday, March 1, 2012, Alok <[email protected]> wrote: > 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. > > -- Sent from my iPhone. -- 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.
