Prev: Results 1 - 10 for IF the program outputs a complete math proof AND each step of the proof is legal AND the conclusion is that S does (or does not) have a subset summing to 0 THEN OUTPUT "yes" (or "no") and HALT . (0 . 27) seconds 14 hours ago - C
Next: (C hole. (v [...] C e[ ...]) (C p e). (n p C) [...] (reduction-relation. js0. (--> (P (v_first v_other [...] v_last) H S). (P (v_last) H S) [...]
From: JohnF on 17 Apr 2010 13:18
The course description at http://cca-net.de/vasco/ct/
has a really nice-looking syllabus. And I especially
like the section underneath that labelled Contents.
It does appear to be a table of contents, but of what
book, exactly? Anybody identify it? Thanks,
--
John Forkosh ( mailto: j(a)f.com where j=john and f=forkosh )
 | 
Pages: 1
Prev: Results 1 - 10 for IF the program outputs a complete math proof AND each step of the proof is legal AND the conclusion is that S does (or does not) have a subset summing to 0 THEN OUTPUT "yes" (or "no") and HALT . (0 . 27) seconds 14 hours ago - C
Next: (C hole. (v [...] C e[ ...]) (C p e). (n p C) [...] (reduction-relation. js0. (--> (P (v_first v_other [...] v_last) H S). (P (v_last) H S) [...]