youwen5/alexandria
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 1

auto-update(nvim): 2025-01-06 15:57:02
Some checks are pending
Deploy Quartz site to GitHub Pages using Nix / build (push) Waiting to run
Details
Deploy Quartz site to GitHub Pages using Nix / deploy (push) Blocked by required conditions
Details

Browse source
This commit is contained in:
Youwen Wu 2025-01-06 15:57:02 -08:00
parent 0fb883e411
commit 687fb087a4
Signed by: youwen5
GPG key ID: 865658ED1FE61EC3
1 changed files with 6 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
documents/by-course/math-8/course-notes/main.typ
View file

@ -15,9 +15,7 @@
#outline() #outline()
= Chapter 1: Logic and Proofs = Course Logistics
== Course Logistics
The textbook for the course is _Smith, Eggen, Andre. A Transition to Advanced The textbook for the course is _Smith, Eggen, Andre. A Transition to Advanced
Mathematics. 8th ed_. #smallcaps[isbn:] `978-1-285-46326-1`. Chapters 1-5 will Mathematics. 8th ed_. #smallcaps[isbn:] `978-1-285-46326-1`. Chapters 1-5 will
@ -26,7 +24,7 @@ be covered.
Lecture meets every M-W-F from 12:00 -- 12:50 in Phelps 1444. Recitation meets Lecture meets every M-W-F from 12:00 -- 12:50 in Phelps 1444. Recitation meets
M-W from 7:00 -- 7:50 in HSSB 1236. M-W from 7:00 -- 7:50 in HSSB 1236.
=== Homework == Homework
Homework is from textbook and is worth 30% of the grade, due on Gradescope. Homework is from textbook and is worth 30% of the grade, due on Gradescope.
Homework is due every W at 11:59 PM. LaTeX is recommended for typesetting but Homework is due every W at 11:59 PM. LaTeX is recommended for typesetting but
@ -38,11 +36,14 @@ done on a single column.
The lowest homework score will be dropped. The lowest homework score will be dropped.
=== Exams == Exams
Each exam is 20% of the grade. The final exam wil replace the lowest of the Each exam is 20% of the grade. The final exam wil replace the lowest of the
first two exam scores if it is higher. first two exam scores if it is higher.
= Chapter 1: Logic and Proofs
== Trivial Preliminaries == Trivial Preliminaries
Definitions barely worth considering. Included purely for posterity. Definitions barely worth considering. Included purely for posterity.