http:^^www.cs.cornell.edu^info^people^gries^logic^introduction.html
来自「This data set contains WWW-pages collect」· HTML 代码 · 共 61 行
HTML
61 行
MIME-Version: 1.0
Server: CERN/3.0
Date: Sunday, 24-Nov-96 21:25:11 GMT
Content-Type: text/html
Content-Length: 2105
Last-Modified: Thursday, 02-May-96 14:56:35 GMT
<HEAD><title>Teaching Logic as a tool</title></HEAD><BODY><h1>An introduction to teaching logic as a tool</h1><BLOCKQUOTE> <strong>Logic is the glue that binds together methods of reasoning, in all domains.</strong><BR> ---David Gries and Fred B. Schneider</BLOCKQUOTE><P><A NAME "Return">Click</A> on any of the following items for more information.</P><ul> <li> <!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/LogicalApproach.html">A text on teaching logic as a tool: <em>A Logical Approach to Discrete Math</em></A> <li> <!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Manual.html">Instructor's Manual for <em>A Logical Approach to Discrete Math</em></A><BR><BR> <li> <!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Equational.html">Brief introduction to equational logic</A> <li> <!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Equational.html#Inference">Inference rules of equational logic</A> <li> <!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Axioms.html">Axioms of equational logic</A> <li> <!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Prec.html">Precedence rules</A> <li> <!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Strat.html">Useful proof principles and heuristics</A> <li> <!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Informal.html">Grounding informal proof techniques in logic</A> <li> <!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Neatsolution.html">A neat solution to a word problem</A><BR><BR> <li> <!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Equationalhistory.html">A short history of equational logic</A><BR><BR> <li> <!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Panel.html">Panel on teaching logic as a tool (March 1995)</A> <li> <!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Articles.html">Articles and lectures on teaching logic as a tool</A> <li> <!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Events.html">Upcoming events regarding teaching logic as a tool</A><BR><BR> <li> <!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Papers/limerick.html">A Glimmer(ick) of Hope</A> (Banquet speech at ZUM95, September 1995, in <em>Limerick</em>, Ireland, so be prepared.)<br><br> <li> <!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Papers/trefethenlimericks.html">Trefethen's madness</A> --thoughts on Gries in limerick form<br><br> <li> Home pages for: <!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><A HREF = "http://www.cs.cornell.edu/Info/People/gries/gries.html">Gries</A> and <!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><A HREF = "http://www.cs.cornell.edu/Info/Faculty/Fred_Schneider.html">Schneider</A> <li> <!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><A HREF = "http://www.cs.cornell.edu/">Cornell CS Department Home Page</A></ul></BODY>⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?