TWiki> Courses Web>SymbolicLogicA (08 Nov 2009, ShaughanLavine)EditAttach
Symbolic Logic A

Due Dates
The final is in 24 days.

Final examination: Thursday, 17 December, 11 A.M. –1 P.M. , 311 Social Sciences Building.

SymbolicLogicASyllabus UPDATED 08 Nov 2009

Notes

WebSite

PropositionalCalculus

DefinitionofTruth

Code

A zipfile of the code and all libraries needed to run it is attached: mendelson0.0.1.zip. Try it and let me know what you think. I'm sure there are bugs—reports will be appreciated.

PropositionalCalculusEasy

-- ShaughanLavine - 23 Aug 2009

Edit | Attach | Print version | History: r14 < r13 < r12 < r11 < r10 | Backlinks | Raw View | More topic actions
Topic revision: r14 - 08 Nov 2009 - 20:59:41 - ShaughanLavine
 
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback