http:^^www.cs.utexas.edu^users^boyer^

来自「This data set contains WWW-pages collect」· EDU^USERS^BOYER^ 代码 · 共 159 行

EDU^USERS^BOYER^
159 行
字号 
MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 19:46:15 GMT
Content-Type: text/html
Content-Length: 4223
Last-Modified: Wednesday, 18-Dec-96 13:17:17 GMT

<HTML><HEAD><TITLE>Home Page of Robert S. Boyer</TITLE></HEAD><BODY bgcolor="ffffff"><BODY><h2>Home Page of Robert Stephen Boyer</h2><P><p> Professor, Computer Sciences, Mathematics, and PhilosophyDepartments, University of Texas at Austin<h3>How to reach me</h3><ul><li>Paper mail:  Bob Boyer, Computer Sciences Dept., Univ. of Texas,Austin, TX 78712, USA<li>Email: boyer@cs.utexas.edu<li>FAX: +1 512 471 8885<li><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><a href="http://www.cs.utexas.edu/users/boyer/places.html">Physical locations</a></ul><h3><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><a href="http://www.cs.utexas.edu/users/boyer/courses/index.html">Classes</a></h3><h3>Curriculum Vitae</h3><ul><li><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><a href="http://www.cs.utexas.edu/users/boyer/personal.html">Personal data</a><li><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><a href="http://www.cs.utexas.edu/users/boyer/education.html">Education</a><li><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><a href="http://www.cs.utexas.edu/users/boyer/publications.html">Publications</a><li><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><a href="http://www.cs.utexas.edu/users/boyer/honors.html">Honors</a><li><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><a href="http://www.cs.utexas.edu/users/boyer/employment.html">Jobs</a><li><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><a href="http://www.cs.utexas.edu/users/boyer/students.html">Graduated Ph. D. students</a><li><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><a href="http://www.cs.utexas.edu/users/boyer/publications.html#nqthm">The Boyer-Moore Prover, also knownas Nqthm</a><li><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><a href="http://www.cs.utexas.edu/users/boyer/boyer-photo.html">1981 photo</a></ul><h3> Recommended reading </h3><ul><li><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><a href="http://www.vote-smart.org/">Project Vote Smart Web</a><li><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><a href="http://www.mcs.anl.gov/qed/index.html">The QED project</a><li><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><a href="http://www.cs.utexas.edu/users/boyer/rigor-iv.ps">My views on undergraduate education in computer science</a><li><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><a href="http://www-formal.stanford.edu/jmc/">        John McCarthy's web page</a><li><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><a href="http://www.cs.utexas.edu/users/boyer/fp/index.html">The Moffett building controversy<li><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><a href="http://www.nytimes.com/library/cyber/week/1210math.html">NY Times Article About McCune's Robbins Algebra Result</a> andsome <!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><a href="http://www.mcs.anl.gov/home/mccune/ar/robbins/">technical details</a>.</a><li><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><a href="http://devil.ece.utexas.edu:80/~lynch/divide/divide.html">Verification of the floating point division algorithm for AMD's new K5 microprocessor</a><LI> <!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><ahref="http://gold.utsystem.edu/OGC/IntellectualProperty/swadmpol.htm">UT's new and wonderful software licensing policy</a>, which permitsthe use of the Gnu Public License with close to zero administrativeoverhead.  <!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><a href="http://www.cs.utexas.edu/users/boyer/how-to-gnu-at-ut.html">A short course on howthis works.</a> And <!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><ahref="http://www.utsystem.edu/ogc/intellectualproperty/cprtindx.htm">much more about intellectual property at UT</a>.<LI><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><a href="http://www.cs.virginia.edu/~jdr8d/reading-list.html"> Thegreat books, various enumerations thereof</a>. Ok, I confess to being acanon thumper.<LI><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><a href="http://www.cs.utexas.edu/users/boyer/tenure/index.html">The possible ending of tenure at some U. S. universities</a></ul><h3>Standard disclaimer</h3> Naturally, nothing on my web pages shouldbe taken as representing the official position of the University ofTexas at Austin or any other part of the government of the State ofTexas.  (Furthermore, to steal a joke from Peter Deutsch, my having aweb page on a government-owned computer should not be taken as anindication that I endorse everything that the government does.)<h3>Formal methods have always been risky to use</h3>``Peano was one of the first to use what we now call symbolic logic.He introduced, for instance, the use of the symbols `(E x)' to mean`there is an x such that'; and he habitually wrote out all of hislecture notes in his new symbolism.  He was teaching at a militaryacademy at the time, and his students were so incensed by hisformalistic approach to mathematics that they rebelled (despite hispromises to pass them all) and got him fired.  Subsequently he found amore congenial setting at the University of Turin.'' -- <em> G鰀el'sIncompleteness Theorems</em>, Rudy Rucker, p. 289.<p><h3>The Death of Fundamental Science?</h3>"`Fundamental science is on the verge of extinction.' said Harold W.Kroto of Britain's Sussex University, who shared the 1996 chemistryprize with Robert F. Curl and Richard E. Smalley of Rice University inHouston, for their discovery of carbon atoms bound in the shape of asoccer ball." -- From the article "Scientists lament loss of funding,"Associated Press, December 10, 1996, <em><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><ahref="http://stumedia.tsp.utexas.edu/webtexan">Daily Texan</a></em>.<h3>Up</h3><p>Up to the University of Texas at Austin Computer Sciences <!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><ahref="http://www.cs.utexas.edu">Department</a>.

http:^^www.cs.utexas.edu^users^boyer^ - 源码说明

本页面展示了「This data set contains WWW-pages collected from computer science departments of various universities」中的 http:^^www.cs.utexas.edu^users^boyer^ 源码文件，采用 EDU^USERS^BOYER^ 编程语言编写，共 159 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫开发者社区收录了大量与数据集相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?