If I was invited to give advice to entering students on the first day of Mat 2071 I would tell the students to always be prepare for class, and pay attention to the teacher when he or she is explaining the course. I would tell them to come in class at time, and do not miss a lot of days in order for them to keep in track. I would also advise them to always ask questions when they don’t understand something, and keep practicing the subject in class and also at home which would help them to progress and also succeed in the subject.
Month: September 2017 (Page 2 of 2)
This assignment is due Thursday, September 14, 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.
Week 2 Assignments
Written work – Sec 1.8 p.28: 3, 5, 6, 8, Due Tuesday, September 12th, at the start of class.
NOTE: On this assignment, odd problems are worth 3 points, even problems worth 5 points.
WeBWorK – Assignment #2, due Tuesday, September 12th, at midnight.
OpenLab – OpenLab #2, due Thursday, September 14th, at the start of class.
Logic on Math StackExchange
- Replacing $\forall$ with a Function Symbol December 21, 2024Let $\mathcal{L}$ be a first order language and $\exists\mathbf{x} \forall y A(\mathbf{x},y)$ be a sentence in $\mathcal{L}$, where $\mathbf{x}=(x_1,\dots,x_k)$ for some fixed $k$. Extend $\mathcal{L}$ with a $k$-ary function symbol $h$ as $\mathcal{L}' = \mathcal{L}\cup\{h\}$. As two sentences in the Language $\mathcal{L}'$, show that $\vDash\exists\mathbf{x} \forall y A(\mathbf{x},y)$ if and only if $\vDash \exists\mathbf{x}A(\mathbf{x},h(\mathbf{x}))$. One […]Hosein Rahnama
- Why does the property “exactly three different vowels” remain unchanged when negating “at least two siblings” in a quantified statement? December 21, 2024Context and Motivation I am an undergraduate student reviewing basic logic and quantifier manipulation in the context of a Calculus 1 course. Our Unit 1 Practice Problems include exercises on how to negate statements involving “for all,” “there exists,” and various numerical thresholds. One practice problem states (in an informal way): “I have a friend, […]BRAD ZAP
- Verify if my proof that S ◦ R = ∅ iff Ran(R) and Dom(S) are disjoint is valid December 21, 2024I came across this problem from Velleman's How To Prove It. Suppose R is a relation from A to B and S is a relation from B to C. Prove that S ◦ R = ∅ iff Ran(R) and Dom(S) are disjoint. This is my initial proof although upon checking the solution, the author used […]APGG_B08
- How to prove that F∧φ is unsatisifiable doesn't mean F is unsatisfiable [duplicate] December 21, 2024The statement can be proven by contradiction. For instance, we can directly set $\phi$ as a contradictory formula and $F$ as a tautology. However, if we want to argue this point positively, how should we proceed? Here are my thoughts： Since $F \land \phi$ is unsatisfiable, it means that for any assignment $v$, we have […]yXin Huang
- Hilbert calculus and ZFC and their relation to independent statements [closed] December 20, 2024I have recently been studying calculi, namely the Hilbert calculus or ZFC. To conclude, I am making some general remarks in my notes on consistency: In axiom systems you cannot simply infer from $\Sigma \nvdash \Psi$ to $\Sigma \vdash \neg \Psi$, as there can exist formulas $\Psi$ independent of $\Sigma$ for which $\Sigma \nvdash \Psi$ […]God
- What's wrong with my formal translation of "every positive number has exactly two square roots"? December 20, 2024I translated the statement "every positive number has exactly two square roots" as $$\forall x, x>0\implies (\exists!y,\exists!z,yKenneth Luo
- How would you translate this statement into formal logic? [closed] December 20, 2024Let $N$ be the product of two prime factors $p$ and $q$. For all $g$ positive integers, $m$ positive integers, there exists a positive integer $r$ such that: $g^r = mN + 1$Filip Rank
- Predicate Logic: Is there a particular reason for using proof of contradiction here? December 19, 2024In Logic in Computer Science, the solution to 2.3.9 (d) is as follows : https://i.sstatic.net/TMR5LzRJ.png Can this question be proved without using contradiction, as shown below? \begin{array}{} 1 \quad \forall x P(x) \to S \quad \text{prem} \\ ------------\\ 2 \quad x_0 \quad P(x_0)\to S \quad \forall x e\ 1 \\ 3 \quad \exists x (P(x) […]RuntimeErrorz
- Logical expression of Neighborhood axioms [closed] December 19, 2024While taking notes about neighborhood axioms for definition of topological space on proofwiki, I had some confusion regarding logical expressions. Question 1: In the original page, the writer used ":" (possibly to avoid double use of ","). Is that a common convention? Even when I understand them as "such that", it doesn't make much sense […]Unuu U
- Application of "texts" in a system [closed] December 19, 2024Initial Opportunities for Reasoning About Texts The following initial opportunities are assumed for a mathematician reasoning about texts: The opportunity to insert one text $\Phi$ into another text $\Psi$ (in particular, to write alongside), inserting every occurrence $\Omega$ in the text $\Phi$ in the capacity of an occurrence in the text $\Psi$. The opportunity to […]MDNFromVN
Recent Comments