A pdf file of the slides for Variants of Ramsey's Theorem, a talk given in the Logic Seminar at the University of Chicago on March 8, 2008.
A pdf file of the slides for Just-in-time precalculus reviews for calculus students, a talk given in an MAA session at the Joint Mathematics Meetings in San Diego on January 9, 2008.
A pdf file of the slides for Reverse Mathematics and Gödel's Dialectica Interpretation, a talk given in an ASL session at the Joint Mathematics Meetings in San Diego on January 8, 2008. A draft of a related paper is available.
A pdf file of the slides for Ramsey's theorem on trees, a talk given in the special session on Computability Theory at the Annual meeting of the ASL in Gainesville on March 11, 2007.
A pdf file of the slides for Overcoming barriers to undergraduate research in logic, a talk given in the special session on Logic Research for Undergraduates at the Annual meeting of the ASL in Gainesville on March 10, 2007.
A pdf file of the slides for Nonuniformity in reverse mathematics, a talk given in the University of Florida Logic Colloquium on October 13, 2006.
A pdf file of the slides for Reforming an introduction to modern algebra, a talk given in an MAA session at the Joint Mathematics Meetings in San Antonio on January 15, 2006.
A pdf file of the slides for Representations of reals in reverse mathematics, a talk given in an ASL session at the Joint Mathematics Meetings in San Antonio on January 14, 2006.
A pdf file of the slides for Things I've tried, a talk given at ASU about assessment techniques used in math courses.
A pdf file of the program for the AMS-MAA-MER-ASL Special Session on Mathematics Education Reform and Logic Education held at the 2005 Joint Mathematical Meetings in Atlanta. (Jeff Hirst was the ASL organizer for the session.)
A pdf file of the program for the AMS-ASL Special Session on Reverse Mathematics held at the 2005 Joint Mathematical Meetings in Atlanta. (Organized by Jeff Hirst and Reed Solomon.)
A pdf file of the slides for Reverse analysis, a talk given in the George Washington University Mathematics Colloquium on November 19, 2004.
A pdf file of the slides for A real tour of reverse mathematics, a talk given in the George Washington University Logic Seminar on November 19, 2004.
A pdf file (with links) of the slides for Job opportunities for mathematics majors, a seminar delivered at Appalachian State University on March 2, 2004.
A pdf file of the slides for Computing minima of some reals, a talk for the University of Dallas Mathematics Colloquium given on January 30, 2004.
A pdf file of the slides for A brief tour of reverse mathematics, a talk for the Computability Seminar at the University of Dallas given on January 29, 2004.
A pdf file of the slides for Minima of initial segments of sequences of reals, a talk given in the ASL session at the Joint Mathematics Meetings in Phoenix on January 10, 2004.
Materials related to Using technology to illustrate level curves, a joint talk with Holly Hirst given in the MAA session on "My favorite demo" at the Joint Mathematics Meeting in Phoenix on January 10, 2004.
A pdf file of the slides for Counterintuitive aspects of computable analysis, a talk given at the Southwest Wisconsin Logic Seminar in Madison on November 4, 2003.
Pdf files of the slides and a related draft article for Milliken's Theorem, Ultrafilters, and Reverse Mathematics, a talk given at the annual meeting of the ASL in Chicago on June 1, 2003.
Pdf files of the slides for Venn Diagrams and Logic, a Discrete Mathematics Workshop given at the Broyhill Inn in Boone on February 11, 2003.
Pdf files of the slides and additional notes for Hindman's Theorem, Ultrafilters, and Reverse Mathematics, a talk given at the ASL session at the Joint Mathematics Meetings in Baltimore on January 18, 2003.
A pdf file of the slides for Logic as a Bridge Course, presented as part of a joint ASL-MAA panel discussion on "The Role of Logic in Learning to Write Proofs," at the Joint Mathematics Meetings in Baltimore on January 16, 2003.
A pdf file of the slides for Graphs and Models, a talk given at the Seventh Annual North Carolina Miniconference on Graph Theory, Combinatorics and Computing held at Appalachian State on April 12, 2002.
A pdf file of the slides for Reverse mathematics of transfinite triangular numbers, a talk given at the ASL meeting in San Diego on January 9, 2002.
A pdf file of the slides for Junior Seminar: An undergraduate research incubator, a talk given at the MAA meeting in San Diego on January 6, 2002.
A pdf file of the slides for Graphs, free sets and reverse mathematics, a talk given at the regional meeting of the ASL held in Mineapolis on May 3, 2001.
A pdf file of the slides for Reverse mathematics of free sets, a talk given at the Notre Dame and University of Wisconsin Logic Seminars during on March of 2001.
A pdf file of the slides for Reverse mathematics of ordinal arithmetic, a talk given at the annual meeing of ASL in Philadelphia on March 10, 2001.
A pdf file of the slides for A brief introduction to reverse mathematics, the keynote address given at the Graduate Student Conference in Mathematical Logic at the University of Illinois on February 17, 2001.
A pdf file of the slides for Reverse mathematics and the Heine/Borel theorem, a talk given at the winter meeting of the ASL in New Orleans on January 12, 2001.
The slides for WebCT Quizzes in Precalculus and Calculus, a talk given at the winter meeting of the MAA in New Orleans on January 10, 2001.
HTML files for Delivering Web-based Quizzes in Precalculus with WebCT, a talk given at ICTCM13 in Atlanta on November 18, 2000.
PDF files for the slides and notes for Reverse mathematics and Brouwer's fixed point theorem, a talk given at the annual meeting of the ASL in Champaign-Urbana on June 4, 2000.
A pdf file of the slides for Counting, Graphs and Bells, a talk given at the Fifth North Carolina Mini-Conference on Graph Theory, Combinatorics and Computing, held at Appalachian State on April 14, 2000.
A pdf file of the slides for Reverse Mathematics and Graphs, a talk given at Notre Dame on February 17, 2000.
The slides for Models and Reverse Mathematics, an invited talk given in the special session on computable models at the Winter ASL meeting in Washington on January 23, 2000.
Some of the slides for Web-based Homeworks and Quizzes, a joint talk with J. Smith and H. Hirst given at the Winter MAA meeting in Washington on January 19, 2000.
The slides for Using WebCT in a precalculus course, a talk given at the ASU Technology Conference on December 2, 1999.
The slides for Teaching the techniques of proof, a joint talk with Holly Hirst given at the Winter MAA meeting in San Antonio on January 14, 1999.
The slides for Reverse mathematics and derived sortings, a talk given at the Winter ASL meeting in San Antonio on January 16, 1999.
The slides and the Maple worksheet for A Graphical Tool for Analysis Courses, a talk given at the International Conference on Technology in Collegiate Math in New Orleans on November 21, 1998.
The slides for Reverse Mathematics and Graphs, a talk given at Wake Forest University on October 15, 1998.
Excerpts from a poster on Applying Technology in Pure Mathematics Courses for Undergraduates that was coauthored with Holly Hirst and presented at the International Conference on the Teaching of Mathematics on the island of Samos in Greece.
The slides for Infinite Graphs and Noncomputability a talk given at the Third Annual North Carolina Mini-Conference on Graph Theory, Combinatorics, and Computing.
The slides for The Mathematics Honors Program at Appalachian State University a talk given at the meeting of the SE Region of the MAA in Charleston.
A Graphical Tool for Linear Algebra (Information about and Maple code for eshow).
Back To: Math or Jeff Hirst's Page.