Month: February 2017 (Page 1 of 3)

The first in-class test will be given on Thursday, March 9. It will cover material/homework from Sections 1.1, 1.3, 1.4, 1.5, 1.6, 1.7, 2.1, 2.2, and 2.3. The test will take up the first 60 minutes of class time. The remaining time will be used for a shortened lesson.

Here is a photo of the board from the end of the lesson on nested quantifiers. Part of our discussion was a little rushed, so I wanted to recap here.

Recall that means that student likes cuisine . Recall also that the names and don’t matter…what matters is that the first entry is always a student and the second entry is always a cuisine. The exercise was to translate the propositions below into English sentences.

(a) translates to “Juliano does not like Japanese food.”

(b) translates to “There is a student who likes Korean food and all students like Mexican food.”

(c) translates to “There exits a cuisine that either Shannon or Jiayu (or both) like.”

(d) …let’s do this translation in a few steps:

• translates to “Students x and z like cuisine y.”
• translates to “It is not the case that students x and z like cuisine y,” which we can translate to “Either student x or student z does not like cuisine y.”
• translates to “If x and z are different students, then either student x or student z does not like cuisine y.”
• So far none of the statements are propositions, since we don’t know the values of the variables, but we can turn the last statement into a proposition by adding the quantifiers. translates to “For all students x and students z there exists a cuisine y such that if x and z are different students, then either student x or student z does not like cuisine y.” We can translate this into a more natural sentence in English by eliminating the variables: “For any pair of two distinct students, there is a cuisine that one of the students does not like.”

(e) …again, let’s do this translation in a few steps:

• translates to “Student x likes cuisine y if and only if student z likes cuisine y.”
• Again, the above statement is not a proposition since we don’t know the values of the variables, but we can upgrade it to a proposition by adding the quantifiers. translates to “There exists a student x such that there exists a student z such that for all cuisines y, student x likes cuisine y if and only if student z likes cuisine y.” We can translate this into a more natural sentence in English: “There exits a pair of two students who like all the same cuisines as one another and don’t like all the same cuisines as one another.“

(f) …let’s do this translation in a few steps:

• is the same as in question (e)
• This time the quantifiers will change the statement to: “For all students x and for all students z there exists a cuisine y such that student x likes cuisine y if and only if student z likes cuisine y.” Again, we translate this into a more natural sentence: “For all pairs of students there is a cuisine that they either both like or both do not like.”

Hello to everyone. I started my journey from Queensborough Community College. I finished my associates in the field of computer information systems. Then I transferred to New York City College of Technology to finish my bachelor’s in computer systems and technology. So far it’s my third semester here. I have been to USA for about four years. I am from Bangladesh. I am really glad to be a part of this class. The class seems really exciting and active. I hope I can learn something from this class.

Hello

I’m a transfer student and this is my second semester here at City Tech. My major is in computer systems focusing on networking and security. I started doing programming, but wasn’t as enthusiastic about it and switched over to network where I’m enjoying it more. I’ve always been into computers since my dad worked in the field doing networking, so I was exposed to it at an early age.  I’ve already learned a lot about this field from him making it an easy decision when selecting my major. After graduating from here, I hope to work in the networking field as a network administrator. If that doesn’t work out, the security field is also very good. I hope to fully understand algorithms and mathematical logic since it is the bases of computer programming, at the end of the semester. During my free time, I like working on computers and building them. I’ve built many for friends and family so they can have a better computer and not spend so much on it. I also enjoy writing programs for fun. It helps me get better at coding and I just find it fun.