User contributions
From Knowino
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 10:38, 5 April 2014 (diff | hist) Symbolic Logic:Programming:Value Set (Undo revision 15413 by Ipodsoft (talk)) (top)
- 14:35, 16 September 2013 (diff | hist) User:Thepigdog/Church-Rosser Theorem (→Proof that valid beta reduction functions commute with eta) (top)
- 14:22, 16 September 2013 (diff | hist) User:Thepigdog/Church-Rosser Theorem (→Links)
- 13:26, 16 September 2013 (diff | hist) N User:Thepigdog/Church-Rosser Theorem (Created page with "This theorem says that reduction may proceed in different orders, and still arrive at the same expression. The theorem allows us to think of Lambda Calculus expressions as repr...")
- 13:24, 16 September 2013 (diff | hist) User:Thepigdog (→Main Pages) (top)
- 14:30, 28 May 2013 (diff | hist) Symbolic Logic:Programming:Value Set (→Introduction)
- 12:58, 31 December 2012 (diff | hist) Symbolic Logic:Programming:Program Model (→Class Constants)
- 12:57, 31 December 2012 (diff | hist) Symbolic Logic:Programming:Program Model (→Example)
- 12:56, 31 December 2012 (diff | hist) Symbolic Logic:Programming:Program Model (→Easy Implementation)
- 12:50, 31 December 2012 (diff | hist) Symbolic Logic:Programming:Program Model (→Easy Implementation)
- 12:43, 31 December 2012 (diff | hist) Symbolic Logic:Programming:Program Model (→Easy Implementation)
- 12:33, 31 December 2012 (diff | hist) Symbolic Logic:Programming:Program Model (→Easy Implementation)
- 12:09, 31 December 2012 (diff | hist) Symbolic Logic:Programming:Program Model (→Easy Implementation)
- 12:08, 31 December 2012 (diff | hist) Symbolic Logic:Programming:Program Model (→Easy Implementation)
- 12:07, 31 December 2012 (diff | hist) N Symbolic Logic:Programming:Program Model (Created page with "A "Program Model" is a representation of a program as objects. In Object Oriented Programming the domain we wish to describe is modeled as objects. This gives an object represe...")
- 11:12, 31 December 2012 (diff | hist) Symbolic Logic:Programming
- 10:55, 31 December 2012 (diff | hist) Symbolic Logic:Programming:Meta Programming (top)
- 11:13, 9 May 2012 (diff | hist) User:Thepigdog
- 18:56, 23 April 2012 (diff | hist) Symbolic Logic:Programming:Meta Programming
- 17:17, 7 March 2012 (diff | hist) Talk:Symbolic Logic:Programming:Meta Programming (top)
- 17:01, 7 March 2012 (diff | hist) Symbolic Logic:Programming
- 13:34, 28 November 2011 (diff | hist) User:Thepigdog/book/chapter2-players-in-a-game (→Many irksome younger brothers) (top)
- 13:23, 28 November 2011 (diff | hist) User:Thepigdog/book/chapter2-players-in-a-game (→Many irksome younger brothers)
- 13:04, 28 November 2011 (diff | hist) User:Thepigdog/book/chapter2-players-in-a-game (→However I count my dogs, the dogs are just the same)
- 13:01, 28 November 2011 (diff | hist) User:Thepigdog/book/chapter2-players-in-a-game (→However I count my dogs, the dogs are just the same)
- 12:57, 28 November 2011 (diff | hist) User:Thepigdog/book/chapter2-players-in-a-game
- 12:56, 28 November 2011 (diff | hist) User:Thepigdog/book/chapter2-players-in-a-game (→A symbol)
- 12:51, 28 November 2011 (diff | hist) User:Thepigdog/book/chapter2-players-in-a-game
- 12:48, 28 November 2011 (diff | hist) User:Thepigdog/book/chapter2-players-in-a-game (→The King and his Court)
- 12:38, 28 November 2011 (diff | hist) User:Thepigdog/book/chapter2-players-in-a-game (→However I count my dogs, the dogs are just the same)
- 11:45, 28 November 2011 (diff | hist) User:Thepigdog/book/chapter2-players-in-a-game
- 11:25, 28 November 2011 (diff | hist) N User:Thepigdog/book/chapter2-players-in-a-game (Created page with "If I play a game of tennis, and the opposing player hits the ball over the net, and I hit it back then we are locked in a game. Our identities no longer matter, but we have iden...")
- 11:15, 28 November 2011 (diff | hist) User:Thepigdog/book (top)
- 11:09, 28 November 2011 (diff | hist) User:Thepigdog/book/chapter1-beginnings
- 11:07, 28 November 2011 (diff | hist) User:Thepigdog/book
- 11:03, 28 November 2011 (diff | hist) User:Thepigdog/book/chapter1-beginnings (→Relationships)
- 10:57, 28 November 2011 (diff | hist) N User:Thepigdog/book/chapter1 (moved User:Thepigdog/book/chapter1 to User:Thepigdog/book/chapter1-beginnings) (top)
- 10:57, 28 November 2011 (diff | hist) m User:Thepigdog/book/chapter1-beginnings (moved User:Thepigdog/book/chapter1 to User:Thepigdog/book/chapter1-beginnings)
- 10:56, 28 November 2011 (diff | hist) User:Thepigdog/book
- 10:54, 28 November 2011 (diff | hist) N User:Thepigdog/book (moved User:Thepigdog/book to User:Thepigdog/book/chapter1)
- 10:54, 28 November 2011 (diff | hist) m User:Thepigdog/book/chapter1-beginnings (moved User:Thepigdog/book to User:Thepigdog/book/chapter1)
- 10:52, 28 November 2011 (diff | hist) User:Thepigdog/book/chapter1-beginnings (→This number and the next and the next)
- 10:51, 28 November 2011 (diff | hist) User:Thepigdog/book/chapter1-beginnings (→Relationships)
- 10:48, 28 November 2011 (diff | hist) User:Thepigdog/book/chapter1-beginnings (→This number and the next and the next)
- 10:48, 28 November 2011 (diff | hist) User:Thepigdog/book/chapter1-beginnings (→Number)
- 10:21, 28 November 2011 (diff | hist) User:Thepigdog/book/chapter1-beginnings (→Counting)
- 10:20, 28 November 2011 (diff | hist) User:Thepigdog/book/chapter1-beginnings (→Counting)
- 10:20, 28 November 2011 (diff | hist) User:Thepigdog/book/chapter1-beginnings (→Counting)
- 10:19, 28 November 2011 (diff | hist) User:Thepigdog/book/chapter1-beginnings (→Counting)
- 10:11, 28 November 2011 (diff | hist) User:Thepigdog/book/chapter1-beginnings (→Objects)
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)