Bibliography Readings/Reviews
|
|
These are all of the notes from readings compiled since January 1, 2000. Notice that I make a single log for readings, no matter where they are kept. I am more ambivalent about this than I am about maintaining a single master list of bibliographic citations.
-- Dennis E. Hamilton
2002 February 14
ID |
On | STATUS | Created | Summary Title |
r030800 | Winograd and Flores, Understanding Computers and Cognition |
0.1.0 2023-10-16 |
2003-08-04 | |
r030300 | Sommerville, Software Engineering |
0.1.0 2023-10-16 |
2003-03-16 | |
r020701 | Körner, The Philosophy of Mathematics |
0.1.0 2023-10-16 |
2002-07-28 | |
r020700 | Whitehead, An Introduction to Mathematics |
0.1.0 2023-10-16 |
2002-07-05 | |
r020200 | Durant, The Pleasures of Philosophy |
0.1.0 2023-10-13 |
2002-02-14 | |
r020100 | MacKenzie, Mechanizing Proof |
0.1.0 2023-10-13 |
2002-01-18 | |
r011100 | Hacking, The Social Construction of What? |
0.1.0 2023-10-11 |
2001-11-23 | |
r011000 | Lewontin, It Ain't Necessarily So |
0.1.0 2023-10-11 |
2001-10-16 | |
r010800a | various |
0.1.0 2023-10-11 |
2001-09-07 |
Computation Theory Definitions, Nomenclature, and Elementary Concepts |
r010800 | Sipser, Introduction to the Theory of Computation |
0.1.0 2023-10-10 |
2001-08-07 | |
r010400 | C# Essentials |
0.1.0 2023-10-10 |
2001-04-01 | |
r010300 | Williams, Plato |
0.1.0 2023-10-10 |
2001-03-10 | |
r010101a | various |
0.1.0 2023-10-10 |
2001-01-04 | |
r010101 | Sedgewick, Algorithms |
0.3.0 2023-10-01 |
2001-01-04 | |
r010100 | Monk, Bertrand Russell |
0.1.0 2023-09-29 |
2001-01-02 | |
r001000 | Church, Introduction to Mathematical Logic |
0.1.0 2023-09-27 |
2000-10-03 | |
r000800 | Davis, Computability and Unsovability |
0.1.0 2023-09-27 |
2000-08-09 | Computability and Unsolvability |
r000702 | Frankston in Beyond Calculation |
0.1.0 2023-09-27 |
2000-07-18 | Beyond Limits |
r000701 | Bell and Gray in Beyond Calculation |
0.1.0 2023-09-27 |
2000-07-18 | The Revolution Yet to Happen |
r000700 | Barendregt, Lambda Calculus |
0.1.0 2023-09-27
|
2000-08-09 | The Lambda Calculus and Combinatory Algebra |
You are navigating Orcmid on GitHub |
created 2000-10-07-15:09 -0700 (pdt) by orcmid |