git @ Cat's Eye Technologies The-Glosscubator / ce2e1d4
Rate two works on Logic and re-arrange some other things. Chris Pressey 9 months ago
10 changed file(s) with 45 addition(s) and 28 deletion(s). Raw diff Collapse all Expand all
+3
-3
README.md less more
1717
1818 <!-- TOTALS -->
1919
20 Currently it consists of **682** web pages, **82** repositories, **175** papers, and **178** books in **100** topics.
20 Currently it consists of **682** web pages, **82** repositories, **174** papers, and **179** books in **100** topics.
2121 Of these, [**110** have the highest rating](by-rating/Top-rated.md),
2222 [**33** are considered classics](by-rating/Classic.md),
23 [**74** are considered very interesting](by-rating/Very%20Interesting.md),
24 while [**70** are yet to be rated](by-rating/Unrated.md).
23 [**75** are considered very interesting](by-rating/Very%20Interesting.md),
24 while [**68** are yet to be rated](by-rating/Unrated.md).
2525
2626 <!-- /TOTALS -->
2727
+1
-1
by-rating/Top-rated.md less more
204204
205205 ### Probability Theory
206206
207 * Probability Theory (Jaynes) (online @ [www.med.mcgill.ca](http://www.med.mcgill.ca/epidemiology/hanley/bios601/GaussianModel/JaynesProbabilityTheory.pdf), [bayes.wustl.edu](https://bayes.wustl.edu/etj/prob/book.pdf), [archive.org](https://archive.org/details/Edwin_Thompson_Jaynes__Probability_Theory_The_Logic_of_Science))
207 * Probability Theory (Jaynes) (online @ [www.med.mcgill.ca](http://www.med.mcgill.ca/epidemiology/hanley/bios601/GaussianModel/JaynesProbabilityTheory.pdf), [bayes.wustl.edu](https://bayes.wustl.edu/etj/prob/book.pdf), [archive.org](https://archive.org/details/jaynes-probability-theory), [archive.org](https://archive.org/details/jaynes-probability-theory_202409))
208208
209209 ### Prolog
210210
+0
-5
by-rating/Unrated.md less more
7676 * Handbook of logic in artificial intelligence and logic programming, Vol 1 (borrow @ [archive.org](https://archive.org/details/handbookoflogici0001unse))
7777 * Handbook of logic in artificial intelligence and logic programming, Vol 2 (borrow @ [archive.org](https://archive.org/details/handbookoflogici0002unse))
7878 * Handbook of logic in artificial intelligence and logic programming, Vol 4 (borrow @ [archive.org](https://archive.org/details/handbookoflogici0004unse))
79 * Simply Logical (online @ [book.simply-logical.space](https://book.simply-logical.space/src/simply-logical.html), [github.com](https://github.com/simply-logical/simply-logical/releases/download/v1.0/SL.pdf))
8079
8180 ### Logic Programming
8281
158157
159158 * [On the Relation between the λμ-Calculus and the Syntactic Theory of Sequential Control](https://members.loria.fr/PdeGroote/papers/lpar94.pdf)
160159
161 ### Logic
162
163 * Introduction to Mathematical Proof (online @ [monks.scranton.edu](https://monks.scranton.edu/files/courses/Math299/math-299-lecture.pdf))
164
165160 ### Macros
166161
167162 * Hygiene for the Unhygienic (online @ [www.p-cos.net](http://www.p-cos.net/documents/hygiene.pdf), [guenchi.github.io](https://guenchi.github.io/Scheme/doc/Hygiene-Compatible%20Macros%20in%20an%20Unhygienic%20Macro%20System.pdf))
+4
-0
by-rating/Very Interesting.md less more
142142
143143 * Game Programming Patterns (online @ [gameprogrammingpatterns.com](https://gameprogrammingpatterns.com/contents.html))
144144
145 ### Logic
146
147 * Introduction to Mathematical Proof (online @ [monks.scranton.edu](https://monks.scranton.edu/files/courses/Math299/math-299-lecture.pdf))
148
145149 ### Lua
146150
147151 * Programming in Lua (first edition) (online @ [www.lua.org](https://www.lua.org/pil/contents.html))
+9
-0
by-topic/Logic/Books.md less more
55
66 SPDX-License-Identifier: CC0-1.0
77 -->
8
9 ### Introduction to Mathematical Proof
10
11 * subtitle: Math 299 Lecture Notes
12 * authors: Ken Monks
13 * date: 2024
14 * online @ [monks.scranton.edu](https://monks.scranton.edu/files/courses/Math299/math-299-lecture.pdf)
15
16 .
817
918 ### Logic (Hodges)
1019
+0
-9
by-topic/Logic/Papers.md less more
55
66 SPDX-License-Identifier: CC0-1.0
77 -->
8
9 ### Introduction to Mathematical Proof
10
11 * subtitle: Math 299 Lecture Notes
12 * authors: Ken Monks
13 * date: 2024
14 * online @ [monks.scranton.edu](https://monks.scranton.edu/files/courses/Math299/math-299-lecture.pdf)
15
16 .
178
189 ### On the Unusual Effectiveness of Logic in Computer Science
1910
+2
-2
by-topic/Logic/README.md less more
4545
4646 ### Papers
4747
48 Introduction to Mathematical Proof (online @ [monks.scranton.edu](https://monks.scranton.edu/files/courses/Math299/math-299-lecture.pdf))
49
5048 On the Unusual Effectiveness of Logic in Computer Science (online @ [www.cs.rice.edu](https://www.cs.rice.edu/~vardi/papers/aaas99.jsl.pdf))
5149
5250 The Galois Connection between Syntax and Semantics (online @ [www.logicmatters.net](https://www.logicmatters.net/2010/06/03/the-galois-connection-between-syntax-and-semantics/))
5654 Towards Applied Theories based on Computability Logic (online @ [arxiv.org](https://arxiv.org/abs/0805.3521v4))
5755
5856 ### Books
57
58 Introduction to Mathematical Proof (online @ [monks.scranton.edu](https://monks.scranton.edu/files/courses/Math299/math-299-lecture.pdf))
5959
6060 Logic (Hodges) (borrow @ [archive.org](https://archive.org/details/logic00hodg))
6161
+23
-6
by-topic/Logic/commentary/Chris Pressey.md less more
100100
101101 ### Simply Logical
102102
103 * rating: TODO
103 * rating: 1
104104
105105 Intro to logic using Prolog. Keeps calling it "clausal logic", which is probably a good thing,
106 in this context. Wonder if I should recategorize this under Logic Programming or not.
106 in this context. The use of logic programming to teach logic is interesting, and there is
107 a fully interactive online version where you can execute the examples and play with them to
108 understand them better, which is almost certainly also a good thing, but the jury's still out,
109 as far as I'm concerned, on whether it results in a good way to learn _logic_; I have a hard time
110 seeing how this book is not "just" teaching logic programming "instead".
107111
108112 ### Introduction to Mathematical Proof
109113
110 * rating: TODO
111
112 basically a book, 91 pages
114 * rating: 2
115
116 Basically a short (91 pages) introductory textbook on the subject of applying
117 logic to mathematical reasoning for undergraduates to start writing proofs.
118
119 It's open source and it discusses a number of toy proof systems, and these two
120 things alone probably place it above a considerable number of other tutorials.
113121
114122 ### On the Unusual Effectiveness of Logic in Computer Science
115123
116124 * rating: 1
117125
118 Is this the one with "Blackboard Scheme"? Would need to check.
126 The basic idea is that logic informs computer science, a lot. The examples they give are
127
128 * Descriptive Complexity => \[Computational\] Complexity Theory
129 * Logic => Database Queries
130 * Type Theory => Programming Languages
131 * Reasoning about Knowledge (Modal Logic, for AI I guess)
132 * Automated Verification of Semiconductor Designs
133
134 This is not, btw, the one with "Blackboard Scheme". I think I know which one that
135 was, but it's not this one.
119136
120137 ### The Galois Connection between Syntax and Semantics
121138
+2
-1
by-topic/Probability Theory/Books.md less more
2222 * date: 2003
2323 * online @ [www.med.mcgill.ca](http://www.med.mcgill.ca/epidemiology/hanley/bios601/GaussianModel/JaynesProbabilityTheory.pdf)
2424 * online @ [bayes.wustl.edu](https://bayes.wustl.edu/etj/prob/book.pdf)
25 * online @ [archive.org](https://archive.org/details/Edwin_Thompson_Jaynes__Probability_Theory_The_Logic_of_Science)
25 * online @ [archive.org](https://archive.org/details/jaynes-probability-theory)
26 * online @ [archive.org](https://archive.org/details/jaynes-probability-theory_202409)
2627
2728 .
+1
-1
by-topic/Probability Theory/README.md less more
6767
6868 Probability, Statistics, and Data (online @ [mathstat.slu.edu](https://mathstat.slu.edu/~speegle/_book/))
6969
70 Probability Theory (Jaynes) (online @ [www.med.mcgill.ca](http://www.med.mcgill.ca/epidemiology/hanley/bios601/GaussianModel/JaynesProbabilityTheory.pdf), [bayes.wustl.edu](https://bayes.wustl.edu/etj/prob/book.pdf), [archive.org](https://archive.org/details/Edwin_Thompson_Jaynes__Probability_Theory_The_Logic_of_Science))
70 Probability Theory (Jaynes) (online @ [www.med.mcgill.ca](http://www.med.mcgill.ca/epidemiology/hanley/bios601/GaussianModel/JaynesProbabilityTheory.pdf), [bayes.wustl.edu](https://bayes.wustl.edu/etj/prob/book.pdf), [archive.org](https://archive.org/details/jaynes-probability-theory), [archive.org](https://archive.org/details/jaynes-probability-theory_202409))