CST 329 - Module 5

 Week 5,

This module introduces us to another way of writing logical statements. Instead of using propositional logic, we use first order logic. Propositional logic is good for establishing relationships between general objects, but when it comes to things more specific, like multiple named individuals, then it falls apart. That is where first order logic comes into play. Here we can establish a person as a variable, and a statement as a function. For example, we can say that “a” = Alice, and “Fx” = x is tall, thus “Fa” = Alice is tall. This allows us to make more accurate logical statements and proofs. Additionally, we can establish domains of groups. Maybe a domain can be all CSUMB students named x. We can refer to everyone in that domain as Ax, or “for all CSUMB students”, or maybe we want to refer to at least some student Ex, or “there exists some CSUMB student”.

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