You can find them on the “Grades” page (email me if you don’t remember the password).
The exams will be returned on Tuesday.
Best,
Prof. Reitz
Month: September 2017 (Page 1 of 2)
The assignment below is due BEFORE CLASS on Thursday, October 5th (it is essential that you complete it before class, as we will be doing a class activity building on the assignment).
We are going to play a game creating walking tours of cities with bridges. We begin in the city of King’s Mountain, which is built on four land masses – both shores of a river and two islands in midstream – connected by a total of seven bridges (shown in green).
EXAMPLE 1: Can you create a walking tour of the city that crosses every bridge exactly once? You can begin anywhere you like, and end anywhere you like, as long as you cross each bridge just once.
Background – Graph Theory
We can simplify the picture of King’s Mountain to make it easier to deal with:
The key elements of the map are the four land masses (let’s label them A, B, C, and D) and the seven bridges (p,q,r,s,t,u and v) (thanks to mathisfun.com for the images):
For the purposes of our problem, we can simply think about each land mass as a point (A, B, C, and D), and the bridges as lines connecting the points (p,q,r,s,t,u and v) – like this:
We call this kind of picture a graph – the points are called vertices and the the lines are called edges. Our goal of finding “a walking tour that crosses each bridge once” is now matter of tracing out all the edges without lifting our pencil (and without repeating any edge).
Assignment, Due Thursday 10/5 (beginning of class)
Warm up (This Warm Up is just for practice – you do NOT need to submit your answers – see below for the three-part Assignment to be submitted). The following examples build on EXAMPLE 1 above.
WARM-UP EXAMPLE 2: If you are given the freedom to build one new bridge in King’s Mountain (“make one new edge in the graph”), can you do it in such a way the walking tour becomes possible? Do it!
WARM-UP EXAMPLE 3: If you are given the freedom to destroy one bridge (“erase one edge”), can you do it in such a way that the walking tour becomes possible? Do it!
WARM-UP EXAMPLE 4: Construct walking tours for each of the following graphs (or decide if it is impossible).
Assignment. Your assignment has 4 parts.
PART 1. Leave a comment responding to EXAMPLE 4 (above), telling us for each one of the 8 graphs whether a walking tour is possible or not. You only have to state whether it is possible or impossible for each one.
PART 2. Challenge your friends: Now it’s up to you to build your own graph, and challenge your classmates to construct a walking tour (or to determine if it is impossible). It can consist of as many points as you wish, and as many bridges (edges) connecting them. You MUST label your points “A, B, C…” etc. When you’re finished, decide for yourself if a walking tour crossing each bridge exactly once is possible. Remember, the most challenging puzzles are the ones where the answer is difficult to determine. Post two puzzles in the comments. See the note “POSTING YOUR PUZZLE ONLINE” below for instructions on how to draw and share graphs online.
PART 3. Solve a friend’s puzzle. Leave a response to a friend’s posted puzzle, giving a solution. TO POST A SOLUTION, JUST LIST THE POINTS OF YOUR WALKING TOUR IN ORDER.
Example:
Here is a puzzle: http://sketchtoy.com/67467551
Here is a solution: (start at A) – A, B, D, A, E, B, C, E
PART 4. The third part of your assignment is to write a short paragraph (at least 3 sentences) responding to the following prompt. Be sure to respond to each part:
Writing Prompt: Did you enjoy this assignment? Why or why not? Describe a connection between this assignment and our work in the class. (If you don’t believe there is a connection, try to imagine why we are doing this). Leave your response in the comments.
POSTING YOUR PUZZLE ONLINE. I recommend the site sketchtoy.com – it allows you to draw something, then click “SAVE” and get a link to your drawing. You can post the link in a comment, and we’ll be able to click on it and view your drawing. Don’t worry if it’s not pretty! For example, here is a graph that I drew (can you find a walking tour that crosses all edges?): http://sketchtoy.com/67467556
Week 5 Assignments
Exam #1 will take place on Thursday, 9/28
Written work – none
WeBWorK – Assignment #4, due Tuesday, October 3rd, at midnight. You are encouraged to start working on Assignment #5, which will be due one week later.
OpenLab – OpenLab #4, due Thursday, October 5th, at the start of class
Hi everyone,
Because we did not cover all of the intended material in class today, I am making the following changes:
- Your first exam will not include material on negation (Exam #1 review problem #16).
- The Due Date for Assignment #4 in WeBWorK is extended to Tuesday, October 3rd (the week after the exam).
Let me know if you have any questions. Enjoy the long weekend!
Regards,
Prof. Reitz
Week 4 Assignments
Written work – none
WeBWorK – Assignment #4, due Tuesday, September 26th, at midnight. (UPDATE: Due Tuesday, October 3rd, at midnight)
OpenLab – none
STUDY – for your first exam, taking place next Thursday, 9/28, during the first hour of class.
The first exam will take place on Thursday, September 28. The review sheet is posted under “Classroom Resources/Exam Reviews”. Please let me know if you have any questions, or to report an error.
Regards,
Prof. Reitz
Due Tuesday, 9/19/17. For this week’s writing assignment, take a look at the picture below called “Sentences.” Read every sentence in the picture. As you read, pay attention to your own stream of consciousness – what are the thoughts that pop into your head? For full credit, respond to all 4 of the following items.
- Record two observations about the sentences in the picture – what do you notice / what’s something you find interesting / what popped into your head / what stood out.
- Choose one of the sentences in the picture (do NOT choose the same sentence as anyone else). Type the sentence out “in quotes”, and then answer the following questions:
a. Is it a statement (as discussed in class on Tuesday)? Explain why or why not.
b. Is it true or false? Explain in everyday English why or why not. - Make up a sentence that you believe would fit into this picture. Tell us the sentence, and then tell us whether it is a statement, and whether it is true or false.
- What connection (if any) does this assignment have to do with the work we are doing in class?
“Sentences” by Flickr user Eldeem
- 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.
While I always had respect for the maths and the sciences it was not until recently that my opinions of math change. I have slowly begun to see the true value of math. As I researched what academics I wanted to teach I discovered some startling facts about the state of mathematics education in the US. For example, in 2015 the US rated 35th out of 71 developed countries in math literacy. This is simply unacceptable. In today’s global economy jobs which require higher levels of math competencies, such as computer programming, are becoming more prominent. These sorts of jobs are replacing the manufacturing jobs that once were prevalent in this country. The transition away from a manufacturing society has increased the value of a math education. Unfortunately, as the US falls behind, globally, in math education, we also start losing the ability to prosper, as a nation, in high demand fields. This realization served to highlight the importance of a math education to me.
Week 3 Assignments
Written work – None
WeBWorK – WeBWorK 3, due Tuesday 9/19 at midnight.
OpenLab – OpenLab #3, due Tuesday, 9/19 (at start of class).
NOTE: Next week Tuesday 9/19 runs on a Thursday schedule. Next week Wed-Thurs-Fri (9/20-9/22) there are no classes.
Hi everyone,
Apologies, I must attend a meeting this morning at 9am, so I will miss (most of) my office hour today. I will be in class a few minutes early to answer questions.
Regards,
Prof. Reitz
Logic on Math StackExchange
- An example with moving a premise of an inference rule into the context April 19, 2024In a way, this is a continuation about this question, it also partially motivates this question. Consider the following universes:$$\frac{\Gamma\vdash i:I}{\Gamma \vdash A_i\text{ type}}\quad \frac{}{\Gamma\vdash B=^{\text{def}} \Sigma(i:I)A_i\text{ type}}\\ \frac{\Gamma \vdash i:I\quad \Gamma \vdash a:A_i}{\Gamma\vdash T_i(a)\text{ type}}\quad \frac{\Gamma\vdash b:B}{\Gamma\vdash T(b)=T_{\pi_1(a)}(\pi_2(b)) \text{ type}}$$ Now suppose I want to get rid of $\Gamma\vdash i:I$ in the premises. Instead, […]user837242
- First order logic, why are the quantifier rules of inference reasonable? April 18, 2024This picture is from the book "Mathematical Logic, 2nd edition, Christopher C. Leary, Lars Kristensen" : I have two questions : Why are the quantifier rules of inference reasonable as they write in the start of the text ? Consider these variations : $$(\{\psi\rightarrow \phi\}, \psi \rightarrow (\exists x \phi)\})$$ $$(\{\phi\rightarrow \psi\}, (\forall x \phi) […]user394334
- Logical Definition of Isomorphism April 18, 2024I'm trying to define isomorphism in a logical way. Is the following statement true for Isomorphism's definition? Let $\langle S,⋆\rangle$ and $\langle S',⋆'\rangle$ be Algebraic Structures. These two structures are isomorphic if and only if: $$\left( \exists \phi : S \rightarrow S' \right) \left(\ \forall a,b \in S \right) \left[ \left( \phi (a⋆b) = \phi(a) […]Karaji
- Proof by contradiction square root of 3 is irrational [closed] April 18, 2024I think it requires circular thinking Please see this YouTube video https://www.youtube.com/watch?v=XQn47l2bt1g for details I found this alternative approach promising https://math.stackexchange.com/a/930492/1224828, and would like to know what is wrong with the approach in the YouTube video please.Caleb
- Is the inference rule another notation for $\implies$? April 18, 2024In mathematical logic, when we write a formula of the metalanguage (such as $A \vdash B$) above an horizontal rule and another formula (such as $\vdash A \to B$), is it the same as writing a meta implication sign $\implies$ between the two formulas?Anserin
- Prove that if a frame is dense then $\Box \Box A \to \Box A $ is valid [duplicate] April 18, 2024I am having trouble with the following question on modal logic. A modal logic frame $M =\langle W, R\rangle$ is dense whenever $$\forall x\forall y(Rxy\rightarrow\exists z(Rxz \land Rzy))$$ Prove that the formula $$\Box\Box A\to\Box A $$ is valid in every dense frame. We don't make any assumptions about the frames. How can this be done?A_alk
- Confusion on exercise on $(\mathbb Z, +)$ in Buechler's Stability theory book April 18, 2024Given as exercise 2.5.1: Show that the complete type realized by $1$ in $(\mathbb Z,+)$ is non-isolated. HINT Use the preceding exercise. The previous exercise: Let $\vec a$ and $\vec b $ be finite sequences from $\mathcal M.$ Prove that $\operatorname{tp}_{\mathcal M}(\vec a\vec b)$ is isolated iff $\operatorname{tp}_{\mathcal M}(\vec a/\vec b)$ and $\operatorname{tp}_{\mathcal M}(\vec b)$ […]spaceisdarkgreen
- Are there any problems about the difference between set theoretic definitions of polynomials? April 17, 2024I am a novice about this question, so if there is a misunderstanding then I apologize for it. As for Peano axioms, if I choose Zermelo natural numbers, and you choose von Neumann ones, then this doesn't cause any problems because we can prove Peano axioms are categorical i.e. it is guaranteed my model, and […]categoricalequivalent
- Application of the Löwenheim-Skolem Theorem for theories with uncountable signatures? April 17, 2024The Löwenheim-Skolem asserts the following: For a first order (L_(ω,ω)) theory with signature σ, every infinite σ - structure M and every infinite cardinal κ ≥ |σ|there is a σ-structure N such that |N| = κ and such that: if κ < |M| then N is an elementary substructure of M; if κ ≥ |M| […]SJe967
- Is this rule correct in sequent calculus? April 17, 2024In Ebbinghaus's book, the following rules occur in sequent calculus: $\dfrac{\Gamma \phi \dfrac{y}{x}}{\Gamma \forall x \phi}$, if y is not free in $\Gamma \forall x \phi$ $\dfrac{\Gamma \phi}{\Gamma \forall x \phi}$, if x is not free in $\Gamma$ I want to know if the following rule is also correct and how to prove its correctness/incorrectness: […]William
Recent Comments