Posted: Sat Mar 10, 2012 2:17 am Post subject: Anyone studying CS
Mind telling me if they find practical use in formal proofs for programs (Based on FOL/SOL) and language theory (as in programming language theory, with data typing and such).
P.S.: FOL and SOL stand for First Order Logic and Second Order Logic (I think it might be called Higher Order Logic as well?) respectively. _________________
This is the inception of deception, checking the depth of your perception.
You cannot post new topics in this forum You cannot reply to topics in this forum You cannot edit your posts in this forum You cannot delete your posts in this forum You cannot vote in polls in this forum You cannot attach files in this forum You can download files in this forum