Group: Foundations-of-Programming - library 1299 articles Export

	Puzzle-based Learning: Introduction to Critical Thinking, Mathematics, and Problem Solving [My Copy] by Z. Michalewicz, M. Michalewicz posted to math-bib problem-solving by jff to the group Foundations-of-Programming on 2009-05-26 16:36:54 as along with 2 groups TMC Algorithmic Problem Solving
	On Euclid's Algorithm and Elementary Number Theory [My Copy] (2009) by Roland Backhouse, João F. Ferreira posted to algorithm-derivation brocot calculational calkin-wilf eisenstein enumeration euclidean-algorithm greatest-common-divisor invariant jff-bib mathematical-methodology number-theory problem-solving rational-number stern-brocot by jff to the group Foundations-of-Programming on 2009-02-23 10:48:11 as along with 1 person and 6 groups A_Olympia logics of knowledge TMC Mathematics education Formal_Methods Algorithms Algorithmic Problem Solving
	Ueber eine zahlentheoretische Funktion [My Copy] Journal für die reine und angewandte Mathematik, Vol. 55 (1858), pp. 193-220. by Moritz A. Stern posted to math-bib number-theory stern-brocot by jff to the group Foundations-of-Programming on 2009-02-09 17:01:49 as along with 3 groups TMC Algorithms Algorithmic Problem Solving
	An exercise from "The Art of Computer Programming" [My Copy] (February 2008) by João F. Ferreira posted to jff-bib by jff to the group Foundations-of-Programming on 2008-02-29 18:28:43 as along with 1 group TMC
	The Chinese Remainder Theorem [My Copy] (2007) by João F. Ferreira posted to jff-bib by jff to the group Foundations-of-Programming on 2008-02-29 18:26:29 as along with 1 group TMC
	Swapping the values of two variables [My Copy] (July 2007) by João F. Ferreira posted to jff-bib by jff to the group Foundations-of-Programming on 2008-02-29 18:24:32 as along with 1 group TMC
	Distributivity and the greatest common divisor [My Copy] (2006) by João F. Ferreira posted to jff-bib number-theory by jff to the group Foundations-of-Programming on 2008-02-29 18:22:41 as along with 1 group TMC
	Recounting the Rationals: Twice! [My Copy] (2008) by Roland Backhouse, João Ferreira posted to jff-bib number-theory by jff to the group Foundations-of-Programming on 2008-02-29 18:20:18 as along with 1 group TMC
	On the Moessner Theorem on Integral Powers [My Copy] The American Mathematical Monthly, Vol. 73, No. 8. (1966), pp. 846-851. by C. T. Long posted to algorithms math-bib moessner by jff to the group Foundations-of-Programming on 2007-09-25 09:53:46 as along with 1 group TMC
	Generatingfunctionology [My Copy] by Herbert S. Wilf posted to math-bib generating-functions by jff to the group Foundations-of-Programming on 2007-06-25 12:27:48 as along with 9 people and 4 groups vmarceau dylanwalker ddcttrl ansobol yaroslavvb rubendrr s-adachi ransombriggs jkominek cytoskeleton-and-afm Crypto GraphTheory TMC
	On Picture-Writing [My Copy] The American Mathematical Monthly, Vol. 63, No. 10. (1956), pp. 689-697. by G. Polya posted to math-bib by jff to the group Foundations-of-Programming on 2007-04-23 15:56:32 as along with 1 person and 3 groups ansobol Crypto GraphTheory TMC
	Elementary Number Theory [My Copy] (2007) by João Ferreira, Roland Backhouse posted to algorithms calculational jff-bib by jff to the group Foundations-of-Programming on 2007-03-05 10:08:26 as along with 3 groups Crypto GraphTheory TMC
	Recounting the Rationals [My Copy] The American Mathematical Monthly, Vol. 107, No. 4. (2000), pp. 360-363. by Neil Calkin, Herbert S. Wilf posted to algorithms math-bib by jff to the group Foundations-of-Programming on 2007-02-26 11:46:42 as along with 3 groups Crypto GraphTheory TMC
	Enumerating the Rationals [My Copy] (2006) by Jeremy Gibbons, David Lester, Richard Bird posted to haskell general-bib algorithms by jff to the group Foundations-of-Programming on 2007-02-01 13:56:56 as along with 1 person and 3 groups dsquared Crypto GraphTheory TMC
	The calculational method [My Copy] Inf. Process. Lett., Vol. 53, No. 3. (10 February 1995) edited by Roland Backhouse, D. Gries, W. M. Turski, F. Dehne posted to calculational calculational-bib by jff to the group Foundations-of-Programming on 2006-12-31 19:53:35 as along with 3 groups Crypto GraphTheory TMC
	Exercises in Quantifier Manipulation [My Copy] Mathematics of Program Construction In Mathematics of Program Construction 2006 (2006), pp. 69-81. by Roland Backhouse, Diethard Michaelis posted to rcb-bib by jff to the group Foundations-of-Programming on 2006-12-31 19:47:16 as along with 3 groups Crypto GraphTheory TMC
	Mathematics with a little bit of logic: Structured derivations in high-school mathematics [My Copy] by Ralph-Johan Back, Joakim von Wright posted to calculational calculational-bib by jff to the group Foundations-of-Programming on 2006-12-31 19:44:24 as along with 3 groups Crypto GraphTheory TMC
	A Browsable Format for Proof Presentation [My Copy] (1996) by Jim Grundy posted to calculational calculational-bib by jff to the group Foundations-of-Programming on 2006-12-31 19:40:56 as along with 1 person and 3 groups Scis0000002 Crypto GraphTheory TMC
	Doing High School Mathematics Carefully [My Copy] (1997) by Ralph-Johan Back, Joakim von Wright posted to calculational calculational-bib by jff to the group Foundations-of-Programming on 2006-12-31 19:38:55 as along with 3 groups Crypto GraphTheory TMC
	Algorithmic Problem Solving (Draft book) [My Copy] (2006) by Roland Backhouse posted to algorithms construction correctness rcb-bib by jff to the group Foundations-of-Programming on 2006-12-31 19:17:04 as along with 3 groups Crypto GraphTheory TMC
	An axiomatic basis for computer programming [My Copy] Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580. by C. A. R. Hoare posted to algorithms correctness general-bib by jff to the group Foundations-of-Programming on 2006-12-26 12:34:22 as along with 20 people and 5 groups thermostat bedieber cyph3r robertjohnsimmons hdeyoung mattmight ddemange mrsmond michaelbanks jkominek leonardo rwtodd dsilva jbrown rgb calvins flavian_vasile _Anne_ bfraser zuleger ConcertRG Crypto GraphTheory pileWorks TMC
	Why dependent types matter [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 1-1. by James Mckinna posted to epigram by jff to the group Foundations-of-Programming on 2006-10-16 17:33:06 as along with 3 groups Crypto GraphTheory TMC
	Concrete Mathematics: A Foundation for Computer Science [My Copy] (1994) by Ronald L. Graham, Donald E. Knuth, Oren Patashnik posted to knuth-bib by jff to the group Foundations-of-Programming on 2006-10-04 13:25:37 as along with 1 person and 3 groups ansobol Crypto GraphTheory TMC
	Camila Revival: VDM meets Haskell [My Copy] In {F}irst {O}verture {W}orkshop (July 2005) by Joost Visser, José N. Oliveira, João F. Ferreira, Alexandra S. Mendes posted to afm-bib by jff to the group Foundations-of-Programming on 2006-09-26 12:00:29 as along with 3 groups Crypto GraphTheory TMC
	JaSkel: A Java Skeleton-Based Framework for Structured Cluster and Grid Computing [My Copy] In CCGRID '06: Proceedings of the Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGRID'06) (2006), pp. 301-304. by João F. Ferreira, João L. Sobral, Alberto J. Proenca posted to jff-bib by jff to the group Foundations-of-Programming on 2006-09-26 12:00:15 as along with 3 groups Crypto GraphTheory TMC
	ParC\#: Parallel Computing with C\# in .NET. [My Copy] In PaCT (2005), pp. 239-248. by João F. Ferreira, João L. Sobral posted to jff-bib by jff to the group Foundations-of-Programming on 2006-09-26 12:00:15 as along with 3 groups Crypto GraphTheory TMC
	Camila Revival: VDM meets Haskell [My Copy] In {F}irst {O}verture {W}orkshop (July 2005) by Joost Visser, José N. Oliveira, João F. Ferreira, Alexandra S. Mendes posted to jff-bib by jff to the group Foundations-of-Programming on 2006-09-26 12:00:15 as along with 3 groups Crypto GraphTheory TMC
	Coxeter's rabbit [My Copy] (April 2002) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	From van IJzeren's correspondence to my aunt & uncle [My Copy] (January 2002) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	Philips and I: a few snapshots [My Copy] (December 2001) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	Indirect equality enriched (and a proof by Netty) [My Copy] (2001) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	The GCD and the minimum [My Copy] (November 2001) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	On disjoint binary numbers [My Copy] (November 2001) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	Another look at a problem from Hugo Steinhaus [My Copy] (October 2001) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	Three trip reports rolled into one: 2001.04.16 -- 2001.07.06 [My Copy] (September 2001) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	Zuckerman's problem and the ETAC [My Copy] (June 2001) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	What led to “Notes on Structured Programming“ [My Copy] (June 2001) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	An unavoidable case analysis [My Copy] (March 2001) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	The chessboard covered with dominoes [My Copy] (February 2001) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	Answers to questions from students of Software Engineering [My Copy] (November 2000) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	The end of computing science? [My Copy] Comm. ACM, Vol. 44, No. 3. (November 2000) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	My recollections of operating system design [My Copy] (April 2001) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	Once more bichrome triangles in complete graphs [My Copy] (October 2000) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	The river, the isles and the bridges [My Copy] (July 2000) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	The notational conventions I adopted, and why [My Copy] (July 2000) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 1 person and 3 groups ansobol Crypto GraphTheory TMC
	On defining sets, suprema, and infima [My Copy] (May 2000) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 1 person and 3 groups ansobol Crypto GraphTheory TMC
	Under the spell of Leibniz's Dream [My Copy] (April 2000) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 1 person and 3 groups ansobol Crypto GraphTheory TMC
	Triggered by a high-school exercise [My Copy] (March 2000) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC
	On weighted means, geometric and arithmetic [My Copy] (February 2000) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 1 person and 3 groups ansobol Crypto GraphTheory TMC
	On weighted means, geometric and arithmetic [My Copy] (February 2000) by Edsger W. Dijkstra posted to ewd-bib by jff to the group Foundations-of-Programming on 2006-09-26 11:56:08 as along with 3 groups Crypto GraphTheory TMC

Note: You may cite this page as: http://www.citeulike.org/group/1602

Result page: 1 2 3 4 5 6 7 8 9 10 Next

ewd-bib	1262
calculational	10
jff-bib	10
math-bib	9
algorithms	7
calculational-bib	7
rcb-bib	5
number-theory	4
book	3
computability	3
mathematical-methodology	3
ordinals	3
construction	2
correctness	2
general-bib	2
knuth-bib	2
problem-solving	2
proof	2
stern-brocot	2
afm-bib	1
algorithm-derivation	1
brocot	1
calkin-wilf	1
eisenstein	1
enumeration	1
epigram	1
euclidean-algorithm	1
fixed-point	1
games	1
generating-functions	1
greatest-common-divisor	1
haskell	1
invariant	1
moessner	1
rational-number	1
taocp	1
turing	1
urm	1

Group: Foundations-of-Programming - library 1299 articles Export

Group Tags