Hi everyone,
I may be late to my office hours tomorrow (Thursday, 9/8), as I will be dropping my daughter off for her first day of school (second grade). I should be there by 9:30.
Regards,
Prof. Reitz
Author: Jonas Reitz (Page 5 of 5)
Week 3 Assignments
Written work – Sec 1.8*: 3, 5, 6, 8, due Tuesday, September 13th, in class.
* GRADING: odd-numbered problems worth 3 points, even problems 5 points.
WeBWorK – Start WeBWorK 3 (due in two week, on Tues 9/20)
OpenLab – OpenLab #3, due Thursday, Sept 15th (at start of class).
NOTE: Next week Thursday 9/15 runs on a Tuesday schedule (this has no affect on us, but may affect some of your other classes).
This assignment is due Thursday, September 8, at the start of class.
Assignment. Choose ONE of the following two topics. Write a reply to this post, responding to the topic. Begin by telling us which topic you chose. (1-2 paragraphs).
Topics.
- Sometimes people can recognize a time when their opinion of math dramatically changed either for the better or the worse. If such a time happened to you, tell us about it.
- Choose an experience you had in which you suddenly understood a math concept (it could be any kind of math, from elementary school up through college). Describe what happened. Do you think you could explain it to others in a way that they could have the same flash of understanding?
Extra Credit. For extra credit, write a response to one of your classmates’ comments. Do you feel the same, or different? Did you learn anything? Did you get any ideas about teaching, or about learning?
Why are we doing this, anyway? We are following two ideas that have come up already in class — things that may not seem related to learning math, but research shows that engaging in these activities can dramatically increase the amount that you learn, and change the way you learn it. The first is writing – something not typically associated with mathematics. When you express your ideas in words, it forces you to think them through very carefully, detail by detail. A great way to check and see if you really understand something is to try to explain it to someone else, either out loud or in writing. Example: if you know how to add fractions, try teaching it someone who doesn’t know how. The second is called metacognition, or “thinking about thinking.” This happens when you think about what was going on in your head while you were working on a problem or trying to learn a new idea. What train of thought did you follow? Where did you get stuck, and what did you do next? What were you feeling at the time? and so on. Combining writing and metacognition can be a tremendously powerful tool in identifying the ways we learn best and the ways we make mistakes, and learning to improve. However, like any skill, it takes practice. That’s why we’re getting started by writing a little about our past experiences with mathematics.
WeBWorK is accessible from on and off campus (anywhere you have access to the internet). Your first two WeBWorK assignments are due on Tuesday, September 6th, at midnight, and will cover the material from the first two weeks of class (primarily from the second week). Here’s what you have to do:
Assignment. To get started , you must complete the following three steps.
Step 1. Log in to WeBWorK here: http://mathww.citytech.cuny.edu/webwork2/MAT2071-F16-Reitz. I have created Usernames and Passwords for each student registered for my class.
Username. Your username for WeBWorK consists of your first initial plus your last name, all lowercase (for example, John Smith would have username ‘jsmith’).
Password. Your temporary password is the same as your username (if your username is ‘jsmith’, your password is currently ‘jsmith’).
Step 2. Change your password and update your email address. To do this, select “Password/Email” from the main menu on the left. Use whatever email address you like (I suggest using one that you check often).
Step 3. Complete the first two assignments, titled Assignment1-Sec1.2-1.3 and Assignment2-Sec1.4-1.7. Click on an assignment on the main screen to get started.
If you have any trouble – either with logging in, or with completing the assignment, post a comment here or send me an email and I will get back to you.
WeBWorK Tips:
- Click on a problem to see the details (the list of problems appears in the menu on the left). Enter an answer and hit “Submit Answers”. Don’t worry, if you get it wrong you can try it again.
- You can work on the problems in any order you wish. You can do some problems now, and come back and do the rest another day (your work will be saved, as long as you submit your answers).
- If you want to print out a copy of the assignment, click on the assignment name in the main menu on the left, and then click the link in the main screen area that reads “Download a hardcopy of this homework set.”
Week 2 Assignments
Written work – none
WeBWorK – Assignment #1 and #2, due Tuesday, September 6th, at midnight.
OpenLab – OpenLab #2, due Thursday, September 8th, at the start of class.
Hi everyone,
Your first homework assignment will be exclusively in the book (you do NOT have a WeBWorK assignment this week), and is due on Tuesday. Your first OpenLab Assignment is due on Thursday.
Welcome back,
Prof. Reitz
Week 1 Assignments
Written work due Tuesday August 30th – Sec 1.1 p.7: 1, 12, 19, 26, 29, 35
NOTE: On this assignment, odd problems are worth 2 points and even problems worth 4 points.
WeBWorK – none
OpenLab – Register for the OpenLab and join this course (instructions provided in a separate post). “OpenLab #1: Advice from the Past” due Thurs Sept 1.
A year ago I taught this same course. At the end of the semester, I gave my students the following assignment:
Imagine that you are invited to speak on the first day of MAT 2071, to give advice to entering students. Write at least three sentences … describing what you would tell them.
To see the assignment and the students’ responses, follow this link.
Your assignment, due at the beginning of class next Thursday, September 1st, is to:
- Read through ALL the responses (there are 19 of them).
- Write a reply to this post (1 paragraph) responding to all of the following:
- What advice seemed most relevant to you personally? Why? (you can copy/paste a short statement, or put it in your own words)
- Based on this advice, what changes can you make right now to help you succeed in this course?
Extra Credit. For extra credit, write a response to one of your classmates’ comments. Do you have any advice? Be kind.
This course is MAT 2071, Introduction to Proofs and Logic, taking place in the Fall 2016 semester with Professor Reitz. We will be using this website in a variety of ways this semester – as a central location for information about the course (assignments, review sheets, policies, and so on), a place to write about the work we are doing, to ask and answer questions, to post examples of our work, and to talk about logic, proofs, mathematics, reality and so on.
Getting Started
Anyone on the internet can look around the site and see what we are doing, and even leave a comment on one of the pages. However, only registered users can create new posts and participate in the discussion boards.
How do I register?
You will need to do two things:
- If you have not used the OpenLab before, you must first create an account. You will need access to your citytech email address for this. Detailed instructions for signing up on the OpenLab can be found here.
- Once you have created an account on the OpenLab, log in and then join this particular course, 2016 Fall – MAT 2071 Proofs and Logic – Reitz. To do this, first click the “Course Profile” link at the top left of this page (just under the picture). Then click the “Join Now” button, which should appear just underneath the picture.
Problems with the OpenLab or with your CityTech email:
Please let me know if you run into any problems registering or joining our course (send me an email, jreitz@citytech.cuny.edu). I also wanted to give you two resources to help out in the process:
1. For problems with your citytech email account, contact the Student Computing Helpdesk, either in person, by phone, or by email:
Student Computing Helpdesk
Location: Atrium 114
Hours: TBD
Phone: 718.260.4900
E-mail: Studenthelpdesk@citytech.cuny.edu
Their website also contains tutorials and FAQ on common problems
2. For problems registering for the OpenLab, contact the OpenLab support team, either by email at openlab@citytech.cuny.edu, or by following this link.
Logic on Math StackExchange
- Confusion on using "unless" more than once in proposition May 20, 2024I'm having trouble interpreting this highlighted sentence (from Discrete Math Rosen Textbook) properly due to using unless more than once in this sentence. I understand that q unless (not p) is the same as saying p implies q, but I'm not sure how to exactly apply that rule here for this sentence. Is it equivalent […]Bob Marley
- Clarification on models, interpretations, undefinability May 20, 2024I am an absolute beginner in this area and this is my third attempt to ask this question as my past posts have some inaccurate notations and I deleted them. Any help is much appreciated .... From (Jech, 2006 p. 163), by Godel's 2nd incompleteness theorem, we cannot prove consistency of $ZF$ using $ZF$ alone. […]Link L
- Is there "meta" algebra, that operates with the collections of expressions? May 20, 2024Classical decision problem (https://web.eecs.umich.edu/~gurevich/Books/00.pdf - book, it opens as pdf) considers the sets of formulas which have decidable SAT and which have not decidable SAT problem. My question is - is there some apparatus, approaches that operates not with single expressions but with the collection of expressions? Maybe entire collection of expressions can be converted […]TomR
- Can we modify the Peano axioms like this? [closed] May 19, 2024I am wondering if the following modifications of the Peano axioms result in a set of axioms equivalent to the Peano axioms, in the sense that any set of numbers satisfies these modified axioms if and only if they satisfy the Peano axioms: Delete the axiom of induction, namely "Let $P(n)$ be any property pertaining […]Princess Mia
- Trying to understand how numbers themselves (s0, ss0, sss0, etc) are represented in Gödel numbering May 19, 2024Problem solved: I did not actually read the table given on page 70 of nagel and newman. s does have a Godel number. It's 7. So ss0 would be broken down into 7, 7, and 6, since 0 is given the number 6. That makes me so much less confused. Without realizing that, I just […]Devery Sheridan
- Validate proof for $A \Rightarrow B, (C \vee \neg A) \Rightarrow F, B \Rightarrow D, \neg D \vDash F$ May 19, 2024I have the following premises: $$A \Rightarrow B, (C \vee \neg A) \Rightarrow F, B \Rightarrow D, \neg D$$ I attempted to construct a proof for the conclusion $F$ using inference rules, but I'm not sure if my proof is correct. Here is the proof I came up with: $B \Rightarrow D$: Premise 1 (P1) […]pmu2022
- Order type of cuts satisfying $\mathsf I\Sigma_n$ May 19, 2024When $M$ is a model of Peano arithmetic, a cut of $M$ is an initial segment $I$ of $M$ such that $I$ is closed under successor. There is some work on cuts that satisfy $\mathsf I\Sigma_n$, Peano arithmetic with induction only for $\Sigma_n$ formulae, such as in Paris's paper "A hierarchy of cuts in models […]C7X
- If $\Gamma\vDash\varphi$ and $\Delta\vDash\varphi$ then $Γ ∩ Δ ⊨ \varphi$ May 19, 2024Let $\Gamma$ be $\{p\}$ and $\Delta$ be $\{q\}$ and $\varphi$ be $p\lor q$, then $\Gamma\vDash\varphi$ and $\Delta\vDash\varphi$. However, $\Gamma\cap\varphi$ is the empty set $\{\}$ and $\{\} \not\vDash p\lor q$. The answer sheet said this, but doesn't an empty set entail everything? Shouldn't this be true?Young-min Lim
- Why is φ ⊨ ∀x.φwhen p(x) ⇒ ∀x.p(x) is contingent, not valid? May 19, 2024http://intrologic.stanford.edu/exercises/exercise_08_01.html In the link above in question 4, it says p(x) ⇒ ∀x.p(x) http://intrologic.stanford.edu/exercises/exercise_08_02.html However, in the next exercise it also says φ ⊨ ∀x.φ is true. I don't really get it. Aren't those two the same thing? Why is one valid when another is contingent? Is it because of the difference between implication and […]Young-min Lim
- meaning of logical symbols about existence May 19, 2024I read the paper "Lógica e Ontologia" (via JSTOR) by Paolo Valore; on page 402, I could find the table below. But the meanings of these symbols in this table was really unfamiliar to me because it was something I had never seen before. So I want to know more about the reasons behind the […]user1274233
Recent Comments