My Linear Algebra book? Here you can find a downloadable copy of my Linear Algebra, an undergraduate text. The book's page has an in-depth description but briefly: it features the standard coverage of linear reduction, vector spaces, linear maps, determinants, and eigenvalues. It proves everything, but does so with an understanding that many students are just starting at proofs, and it also carefully covers the needed computations. It has extensive exercise sets and every exercise has a worked-problem answer in the answers book. In addition to that answer book, it comes with beamer slides for classroom use, and a lab manual that uses Sage. It has been used in classes here and at other schools many times. It is suitable for an instructor to adopt as a main text in a class, and it is also suitable for a student to use as a supplemental book or for independent study. I think it's pretty good!
My Theory of Computation book? Here you can find a downloadable copy of my Theory of Computation: Making Connections. It is for an undergraduate theory course aimed at majos in CS, math, and nearby fields. It covers the definition of computation including Turing machines, unsolvable problems, and introduction to languages and grammars, Finite State machines, and computational complexity up to the P vs NP question The approach is mathematical in that it gives formal definitions and proofs. But the pedagogy is liberal, emphasizing naturalness and making connections with other subjects that students have already seen. There are more than eight hundred exercises, all with solved answers, there are slides for classroom use, and videos connected to the slides.
My Introduction to Proofs book? Also here is a downloadable copy of my Introduction to Proofs: an Inquiry Based Approach. It covers basic number theory, sets, functions, and relations. It is for a Moore method class, meaning that it has statements of the definitions and results, along with a few remarks, but it leaves for the class the fun of proving those results. It comes in two formats, one of which fits on just a few sheets that you can hand out on the first day. I have used it several semesters in our Proofs course so it is ready for other instructors to try.
Me, Jim Hefferon? My page. Here you can find materials for my classes, such as syllabii and some slides from lectures. Finally, what would a home page be without some good links? I've got some for TeX and LaTeX, for Linux, and for a few other things.
Open-sourced and Free software is a great idea. We can build on good work that other folks have already done, and not just make the fifty-first implementation of something.