David Gries - PDFSEARCH.IO - Document Search Engine

David Gries
Results: 15

#	Item
1	Intuition before Formalism References June 23, 2015 Relational post conditions: [Flo67, dBS69, Hoa69, Jon73, Jon80, Acz82, Jon86] Data abstraction/reification: [Luc68, Jon70, Jon80, Jon86, Mar86, Nip86, Jon07] Tool suppo Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-06-23 01:22:59 Software engineering Computer science Theoretical computer science Formal methods Fellows of the British Computer Society Logic in computer science Cliff Jones Dines Bjrner Models of computation Vienna Development Method David Gries Formal Aspects of Computing
2	Owen L. Astrachan Department of Computer Science BoxDuke University Durham, NCtelephone: ( Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2015-05-18 18:17:15 Education SIGCSE Owen Astrachan Association for Computing Machinery Advanced Placement Computer Science Computational thinking David Gries ACM International Collegiate Programming Contest Computer science education Computer science Computing
3	LETTERS Robert L. Aslzedmrst, cditov Taulbee Survey Report I was disappointed in the report by David Gries on the Add to Reading List Source URL: web.archive.org Language: English Procedural programming languages Control flow Goto Structured programming Edsger W. Dijkstra Considered harmful ALGOL 68 C Infinite loop Software engineering Computing Computer programming
4	AP CS Goes OO David Gries Kathleen Larson Susan H. Rodger Mark A. Weiss Ursula Wolz Computer Science Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2001-01-18 11:45:18 Computer science education Advanced Placement David Gries New York City Department of Education Specialized high schools in New York City Education Gifted education Advanced Placement Computer Science
5	Owen L. Astrachan Department of Computer Science Box[removed]Duke University Durham, NC[removed]telephone: ([removed] Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2015-03-13 17:49:59 Education SIGCSE Owen Astrachan Association for Computing Machinery Advanced Placement Computer Science Computational thinking David Gries ACM International Collegiate Programming Contest Computer science education Computer science Computing
6	Teaching Math More Effectively, Through Calculational Proofs Author(s): David Gries and Fred B. Schneider Source: The American Mathematical Monthly, Vol. 102, No. 8 (Oct., 1995), pp[removed]Published by: Mathematical As Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 10:20:02 Mathematical proofs Model theory Logic in computer science Proof theory Propositional calculus Proof by contradiction First-order logic FO Integration by substitution Mathematics Logic Mathematical logic
7	A New Approach to Teaching Discrete Mathematics David Gries∗ and Fred B. Schneider† Computer Science, Cornell University June 20, 2001 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:15:58 Proof theory Logic in computer science Mathematical proofs Philosophical logic First-order logic Equational logic Propositional calculus Natural deduction Combinatory logic Logic Mathematics Mathematical logic
8	Equational Propositional Logic David Gries 1 and Fred B. Schneider 2 Computer Science, Cornell University September[removed]Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:13:08 Propositional calculus Rules of inference Boolean algebra Philosophical logic Equational logic First-order logic Mathematical proof Modal logic Modus ponens Logic Mathematics Mathematical logic
9	Formalizations Of Substitution Of Equals For Equals David Gries and Fred B. Schneider y Computer Science Department, Cornell University Ithaca, New York[removed]USA May 27, 1998 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 13:45:56 Propositional calculus Predicate logic Model theory Quantification First-order logic Function Generalization Universal quantification Modal logic Logic Mathematical logic Mathematics
10	Adding the Everywhere Operator to Propositional Logic DAVID GRIES and FRED B. SCHNEIDER, Computer Science, Cornell University, Ithaca, NY 14853, USA. E-mail: [removed] Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:22:06 Model theory Boolean algebra Logical syntax First-order logic Substitution Propositional formula Interpretation Modal logic Axiom Logic Mathematical logic Propositional calculus