HW #01:
HW #02:
HW #03:
HW #04:
HW #05:
HW #06:
HW #07:
HW #08:
HW #09:
HW #10:
HW #11:
HW #12:
Mid-term exam, 9:30 am - 10:45 am, October 21, 2021.
End-of-term exam, 9:00 am-11:00 am, December 15, 2021.
Typesetting with LaTeX: If you do not have prior experience with LaTeX, you will need to learn as much of it as you need to format your technical documents (homework assignments, lecture notes, and more). The best way to learn what you need is to copy (yes, copy!) LaTeX sources produced by others. Below are useful documents produced with LaTeX, both the pdf files and the source files:
Scribe template, for note-takers during lecture (tex source, pdf file).
Another scribe template, for note-takers during lecture (tex source, pdf file) -- courtesy of Sarah Bargal.
Examples of natural deductions (tex source, pdf file). To compile this tex file, you will need the following packages, if they are not already available in your computer: prooftree.sty and boxproof.sty. Place these two packages in the same directory where the tex file is located.
Other examples of natural deductions (tex source, pdf file). To compile this tex file, place the following packages in the same directory where the tex file is located: flagderiv.sty, logicproof.sty, and bussproofs.sty.
Warning: Some of the commands in the packages {prooftree.sty, boxproof.sty} conflict with some of the commands in the packages {flagderiv.sty, logicproof.sty, bussproofs.sty}. Do not use them in the same LaTeX file, as they may cause unexpected errors.
Truth-table example (tex source, pdf file).
Tableaux example (tex source, pdf file).
LaTeX has existed since the early 1980's, and is being constantly developed and refined by many groups in many different places on planet Earth and the rest of the Milky Way. If the documents posted above do not give you enough for your purposes, you will always find dozens of manuals and guides by browsing the Web.