CSE 676 HOMEWORKS

1. HW #1: The language of first-order logic

   • HW #1 answers

     • corrected version!

   • Donkey Sentence Discussion
     • May need to be viewed on a non-Unix browser

2. HW #2: SNePS

3. Hw #3: PRACTICE IN REPRESENTING WITH SNePS