CST 329 - Module 7 & 8

 Week 7 & 8,

The last two weeks and their modules take it up a notch with the use of first order logic. We look more closely at how to make more advanced first order logical statements using a combination of universal/existential quantifiers, and the different types of logical statements, such as conditional, “and”, “or” etc. For instance, how can we translate a complicated english statement into first order logic, given some domain, premises, and variables. How can we translate sentences with limitations, such as “There are at most two apples.”. This example can be done by saying “If you pick out an apple, and an apple, and an apple, then you will have picked out (at least) one of these apples more than once.” Which looks something like “AxAyAz[((Ax ^ Ay)) ^ Az) -> ((x = y v x = z) v y = z). So a seemingly simple statement looks very different from what you would expect in first order logic.

Comments

Post a Comment

Popular posts from this blog

CST 338 - Module 4

 This week in CST 338, there were few assignments to complete. This time we got to get our hands on Android Studio, where we created very simple app where android users can convert temperature °c to temperature °f, or vice versa. We also got to complete our first project, where we practiced inheritance using an abstract class, and concrete classes. However, besides that, we were also allowed to go back to our previous assignment, Markov, and have our teammates review each other's code. I worked with my teammate Ryan Matsuo  and after reviewing his code, I learned a few things that could help me in the future, like splitting a string using str.split() with a regex of "\\s+" instead of what I did which was more complicated. My strategy with solving the Markov assignment was that I started writing the code right away. I didn't put anything to practice into paper because I feel I can do the same thing in the code. I would read the prompt, create stubs for the methods to b...
Read more

CST 438 - Module 1

 Week 1, This is the first week of the course CST 438 Software Engineering. The contents of this first module are to first teach of the main differences between software engineering and programming. Both involve programming, but software engineering also takes into account the maintainability and sustainability of code over time, which can be influenced by many factors. There are a few terms brought up by the textbook "Software Engineering at Google by Winters, Mantric and Wright" which can be helpful to remember such as Hyrum's Law, shifting left, the Beyonce Rule, etc. Additionally, we were introduced to the REST API, which stands for Representational State Transfer, and allows us to exchange and manipulate data over the internet using the common HTTP methods such as GET, POST, DELETE, and PUT. We did something similar in the Internet Programming course, except this time, we are keeping in mind the practices that goes into software engineering. Initially, for a course i...
Read more

CST 462s - Module 8

Week 8, This is a short week as most final weeks of CSUMB’s online courses are. However, I would like to take this opportunity to talk about my experience in Service Learning. I think for the most part, everything went well with my site. My site mentor was very helpful and kind and has many sources that can help one who wants to learn more and contribute. Something I would improve on is spending less time on a report that may not have enough information on reproducing a bug. I believe that the site is impactful as a whole, while what I have done individually in the last few weeks may not be immediately impactful, everyone working together to help improve LibreOffice can help make a difference in providing a powerful productive office suite that can become available to anyone with a computer. The software is available on many different operating systems, is free, and is open source because the The Document Foundation treats everyone as equals and believes everyone should be able to own ...
Read more