Grading: Your grade will be computed as follows:

Homework: 30% (best 5 of 6)

Quizzes: 20% (best 6 of 7)

Midterm Exam: 20%

Final Exam: 30%
The midterm will be take place during scheduled class time on Friday, July 24. The final exam will take place during scheduled class time on Friday, August 7, 2020. Homework will be collected on the due dates in our schedule: you will submit them on Canvas. Quizzes will be administered during class time on the scheduled quiz days, and will be submitted on Canvas.
No makeup exams and no makeup quizzes will be allowed, without proper documentation. Let's make this class run smoothly, because there is a lot to cover and timeliness is of the essence! The official policy is the following: If you know that you are going to miss an exam or cannot take the final exam at the scheduled time, please notify your instructor at least two classes in advance. If you miss a midterm exam for any acceptable reason (e.g. religious obligation, documented illness), that midterm exam score will be replaced by an estimated score based on your performance on the other midterm. If you miss both exams for acceptable reasons, your midterm scores will be replaced by estimated scores based on your performance on the final. If you miss the final exam and have not rescheduled it in advance, you will score zero on the final or receive an incomplete in the course, depending on the circumstances. You may not reschedule a final exam after the exam has started. In order to be excused from an exam for medical reasons, you must either produce a note from a doctor, or you must obtain prior permission from the instructor to miss the exam. Self diagnosis and self medication are not acceptable for this purpose.
Homework: Let us look at these homework problems as the foundation of this course, and let us say that for the most part quizzes and exams will pull from this pool of homework problems or very similar ones. The ideal for us is to work as many problems as possible, for with each worked problem we advance a mile into the conceptual territory we should wish to map out.
Homework problems need to be submitted on Canvas in pdf form! I want a pdf, even if that means taking a picture and converting it to pdf. It is important for grading purposes, because I want to make comments and remarks on pdfs, which I can return to you easily. From my experience last spring, I think the best solution is to use a scanning app on your phone, rather than convert a jpeg. Scanning apps automatically generate a pdf and the way it generates it is much better for printing purposes: much smaller size, simple blackandwhite coloring, doesn't eat up toner and take 5 minutes for the printer to spool. Please use a scanning app (or equivalent) to scan all submitted assigments.
You are allowed to use the internet and other resources (e.g. the recommended supplementary books). However! First of all, you must cite your sources when you use them. If you outright copy a solution or a proof, you are required to confess to the fact, and it will cost you a point (it remains to be determined exactly how I'll score the homeworks, but suffice it to say I'll give you roughly a 20% discount). I encourage you all to work together on homeworks, maybe even divide up the problems into smaller groups and then get together to share solutions. We'll discuss strategies in class.
No late homework will be accepted, to help develop regularity of habits, as well as to make everybody's lives more bearablewe are on a tight schedule of five weeks! I will drop your lowest homework score to counterbalance, and will also do the same with quizzes.
Students With Disabilities: If you qualify for accommodations because of a disability, please submit your accommodation letter from Disability Services to your faculty member in a timely manner (at least one week before the exam) so that your needs can be addressed. Disability Services determines accommodations based on documented disabilities in the academic environment. Information on requesting accommodations is located on the Disability Services website www.colorado.edu/disabilityservices/students. Contact Disability Services at 3034928671 or dsinfo@colorado.edu for further assistance. If you have a temporary medical condition or injury, see Temporary Medical Conditions under the Students tab on the Disability Services website and discuss your needs with your professor.
Student Classroom and CourseRelated Behavior:
Students and faculty each have responsibility for maintaining an appropriate learning environment. Those who fail to adhere to such behavioral standards may be subject to discipline. Professional courtesy and sensitivity are especially important with respect to individuals and topics dealing with race, color, national origin, sex, pregnancy, age, disability, creed, religion, sexual orientation, gender identity, gender expression, veteran status, political affiliation or political philosophy. Class rosters are provided to the instructor with the student's legal name. I will gladly honor your request to address you by an alternate name or gender pronoun. Please advise me of this preference early in the semester so that I may make appropriate changes to my records. For more information, see the policies on classroom behavior and the Student Code of Conduct.
Statement on Discrimination and Harassment:
The University of Colorado Boulder (CU Boulder) is committed to fostering a positive and welcoming learning, working, and living environment. CU Boulder will not tolerate acts of sexual misconduct intimate partner abuse (including dating or domestic violence), stalking, protectedclass discrimination or harassment by members of our community. Individuals who believe they have been subject to misconduct or retaliatory actions for reporting a concern should contact the Office of Institutional Equity and Compliance (OIEC) at 3034922127 or cureport@colorado.edu. Information about the OIEC, university policies, anonymous reporting, and the campus resources can be found on the OIEC website.
Honor Code:
All students enrolled in a University of Colorado Boulder course are responsible for knowing and adhering to the academic integrity policy. Violations of the policy may include: plagiarism, cheating, fabrication, lying, bribery, threat, unauthorized access to academic materials, clicker fraud, submitting the same or similar work in more than one course without permission from all course instructors involved, and aiding academic dishonesty. Incidents of academic misconduct may be reported to the Honor Code Council (honor@colorado.edu; 3037352273). Students who are found responsible for violating the academic integrity policy will be subject to nonacademic sanctions from the Honor Code Council as well as academic sanctions from the faculty member. Additional information regarding the academic integrity policy can be found at the Honor Code Office website.
Pascal, in the opening lines of his Of the Geometrical Spirit (c 1657) says, `We may have three principal objects in the study of truth: one to discover it when it is sought; another to demonstrate when it is possessed; and a third, to discriminate it from the false when it is examined. I do not speak of the first [this is speculation, or insight, and involves ingenuity and creativitythese are not uniformly distributed among people and so do not constitute a method]; I treat particularly of the second, and it includes the third. For if we know the method of proving the truth, we shall have, at the same time, that of discriminating it, since, in examining whether the proof that is given of it is in conformity with the rules that are understood, we shall know whether it is exactly demonstrated.`
He then proceeds to explain the method of proof. Step one is establishing clear definitions, step two is proofs, `never advancing any proposition which could not be demonstrated by truths already known,` whether those be previously proven propositions, our established definitions or the assumed axioms of the subject.
Pascal elaborates more fully on the proper methods of proof in another essay, The Art of Persuasion: 'This art, which I call the art of persuading, and which, properly speaking, is simply the process of perfect methodical proofs, consists of three essential parts: of defining the terms of which we should avail ourselves by clear definitions; of proposing principles or evident axioms to prove the thing in question; and of always mentally substituting in the demonstrations the definition in the place of the thing defined.'
'The reason of this method is evident,' says Pascal, 'since it would be useless to propose what it is sought to prove, and to undertake the demonstration of it, if all the terms which are not intelligible had not first been clearly defined; and since it is necessary in the same manner that the demonstration should be preceded by the demand for the evident principles that are necessary to it, for if we do not secure the foundation we cannot secure the edifice; and since, in fine, it is necessary in demonstrating mentally, to substitute the definitions in the place of the things defined, as otherwise there might be an abuse of the different meanings that are encountered in the terms. It is easy to see that, by observing this method, we are sure of convincing, since the terms all being understood, and perfectly exempt from ambiguity by the definitions, and the principles being granted, if in the demonstration we always mentally substitute the definitions for the things defined, the invincible force of the conclusions cannot fail of having its whole effect.'
Significant portions of these two essays are devoted to discussing key nuances of the method, which require skill, even art, to master:

Concerning definitions, he makes the allimportant distinction between primitive definitions and complex definitions, which reflects the distinction between obvious and nonobvious terms.

Primitive definitions are those of things we directly perceive (but do not yet understand)his examples are motion (a primitive term of the subject of mechanics), number, equality, greater than, less than (primitive terms of the subject of arithmetic), space (a primitive term of geometry), and time (a primitive of both mechanics and geometry today). We do not define these terms because we all understand what we mean by them, even though we do not know their hidden nature and deeper meaning (which is, after all, the avowed purpose of the subsequent theoretical development of each subject).

Complex definitions are constructed out of primitive terms and previously defined terms. For example, in arithmetic a composite integer is defined in terms of divisibility and prime number, both of which are also composite terms (defined as they are in terms of the primitives product and 1).

Concerning the proper construction of definitions in general, the basic principle is this: We have complete freedom in defining complex terms, subject only to the restriction that the result is unambiguous in meaning ('You can't argue with a definition.'). As Pascal putis it, 'The only definitions recognized in geometry are what the logicians call definitions of name, that is, the arbitrary application of names to things which are clearly designated by terms perfectly known...Their utility and use is to elucidate and abbreviate discourse...Hence it appears that definitions are very arbitrary, and that they are never subject to contradiction; for nothing is more permissible than to give to a thing which has been clearly designated, whatever name we choose...For geometricians, and all those who proceed methodically, only impose names on things to abbreviate discourse, and not to diminish or change the idea of the things of which they are discoursing.'

Concerning the proper usage of definitions in proofs, the guiding principle is the equality of the defined term and the thing it defines (for example 'even number' and 'an integer divisible by 2'), because it is by this equality that a term succeeds in abbreviating a concept. As with equations involving variables, their usage comes via substitution: the term may be substituted for the thing defined when writing a proof, and the thing defined may be substituted for the term when reading a proof.

Concerning axioms there is this to say: It is an art, requiring insight and ingenuity, to find, or, may better, distill a subject's foundational principles to a short list of axioms. These are, first of all, propositions, whose truth is granted, usually on empirical grounds (as is the case with the meaning of primitive terms). There are no other reasons than selfevidence in experiential terms or pragmatic usefulness (subject of course to topicality) for the axioms. Axioms serve as the foundation to a subject (as the five postulates of Euclid serve as the foundation to Euclidean geometry). All other truths of the subject derive, logically, from them (e.g. the Pythagorean Theorem derives logically from the five postulates of Euclid).
Two special topics round out his discussion, both in Of the Geometrical Spirit.

First, the topic of infinity. Actually, there are two sides to infinity, the infinitely large and the infinitely small or infinitessimal. Pascal, of course, lived roughly a generation before Newton's and Leibniz' invention of calculus, so it is not surprising to see one of the fundamental issues of analysis discussed minutely here. Numbers and measurement were united into one single framework by Descartes, Pascal's immediate predecessor, and all things to which measurement applies are subject to the issues involved here: time, space, motion.
'That is, in a word, whatever movement, whatever number, whatever space, whatever time there may be, there is always a greater and a less than these: so that they all stand betwixt nothingness and the infinite, being always infinitely distant from these extremes. All these truths cannot be demonstrated; and yet they are the foundations and principles of geometry. But as the cause that renders them incapable of demonstration is not their obscurity, but on the contrary their extreme obviousness, this lack of proof is not a defect, but rather a perfection. From which we see that geometry can neither define objects nor prove principles; but for this single and advantageous reason that both are in an extreme natural clearness, which convinces reason more powerfully than discourse. For what is more evident than this truth, that a number whatever it may be, can be increased, can be doubled? Again, may not the speed of a movement be doubled, and may not a space be doubled in the same manner?'

Secondly, the topic of dimension. A point, or equivalently the real number representing that point on a line, is 0dimensional. An interval is 1dimensional. Even though points are the elements of lines, they are infinitessimals in terms of dimension 1, and they do not add up to an interval (this is why it is necessary to develop the integral, to resolve this paradoxit will require a new concept, that of the limit). Pascal drives his point home with a simple example: a soldier versus an army.
'It is annoying to dwell upon such trifles; but there are times for trifling. It suffices to say to minds clear on this matter that two negations of extension cannot make an extension. But as there are some who pretend to elude this light by this marvellous answer, that two negations of extension can as well make an extension as two units, neither of which is a number, can make a number by their combination; it is necessary to reply to them that they might in the same manner deny that twenty thousand men make an army, although no single one of them is an army; that a thousand houses make a town, although no single one is a town; or that the parts make the whole, although no single one is the whole; or, to remain in the comparison of numbers, that two binaries make a quaternary, and ten tens a hundred, although no single one is such.'
The stage has been set for the development of calculus, whose full logical articulation is analysis. Our subject, linear algebra, which is the study of ndimensional Euclidean space, should be understood as the ndimensional analog of the tangent line to a curve: the tangent space to an ndimensional hypersurface in n+1 dimensions, say. What a line is to a curve, an ndimensional vector space is to an ndimensional hypersurface, the local linearization (hence the importance of the word linear in linear algebra). This analytic aspect is only touched in Calc 3, but is fully developed in Undergraduate Analysis II. We study its algebraic aspects alone in this class.
All of the above concerns the logical structure of linear algebra. But there is the computational side to consider as well. In this course, we will compute many examples, or, in other words, we will apply the theory to special numerical cases. For this reason, we will avail ourselves also of software and coding. All this will be spelled out in due time, but suffice it to say that the whole design of the theory is guided by numerical considerations from the beginning. It's logic guarantees it's reliability and serves to map out its architecture, while it's purpose is to facilitate computations in practical applications. Both work in harmony towards the same goal.
Homework 1 (due Fri 7/10):
 Sec. 1.1: 2, 4, 8, 12, 20
 Sec. 1.2: 2, 4, 12, 22
 Sec. 1.3: 14, 18, 30
 Sec. 6.1: 14, 24
 Sec. 6.2: 14, 16
 Sec. 1.4: 4, 14, 26

Sec. 1.5: 10, 26

Sec. 1.7: 2, 12, 38
 Sec. 1.8: 8, 14, 32
 Sec. 1.9: 8, 12, 18, 23e, 24a
Homework 2 (due Thurs 7/16):
 Sec. 2.1: 25
 Sec. 2.2: 13, 5, 6
 Sec. 2.3: 16, 13 (optional, but recommended: 20, 26, 27, 28, 30, 33)
 Sec. 2.4: 8, 13
 Sec. 2.5: 1, 2, 16
 Sec. 2.8: 4, 6, 16, 18, 21, 22
 Sec. 2.9: 4, 6, 10, 12
Homework 3 (due Wed 7/22):
 Bases, Coordinates and Reps. Exercises Notes: 1.18, 1.23
 Sec. 4.1: 1012, 30 (optional: 21, 22)
 Sec. 4.2: 4, 16, 34 (optional: 24, 33)
 Sec. 4.3: 13, 15 (optional: 14, 16, 20)
 Sec. 4.4: 1, 3 (optional: 2, 4)
 Sec. 4.5: 12, 14, 22
 Sec. 4.6: 2, 4
 Sec. 4.6: 2, 4
 Sec. 4.7: 8, 10, 14
Homework 4 (due Thurs 7/30):
 Bases, Coordinates and Reps. Exercises: 1.20, 1.27, 1.28, 7.5, 7.6, 7.11, 7.12, 7.15, 7.17, 7.227.25

Sec. 3.1: 4, 26, 28, 30, 37

Sec. 3.2: 6, 22, 24, 31, 34, 38
Homework 5 (due Thurs 8/6):
 Sec. 3.1: 4, 26, 28, 30, 37
 Sec. 3.2: 6, 22, 24, 31, 34, 38
 Sec. 5.1: 2, 6, 8, 20
 Sec. 5.2: 4, 10, 16
 Sec. 5.3: 4, 8, 12, 24
 Sec. 5.4: 8, 12, 20, 25 26
 Sec. 5.5: 1, 3 2,
 Sec. 6.3: 11, 12, 16,
 Sec. 6.7: 17, 18, 22, 24,
 Sec. 7.1: 14, 16