Week 7

This week we worked on proof by cases, review of proofs and we began to see some content about algorithms.
Proof by cases has simple steps to get to a solution first we must split our argument into different cases then we prove the conclusion for each case.

During the review of proofs we saw some content about proof pattern. Pattern of inference has two categories of inference rules: introduction and elimination.
Consider:
ss-->smaller statement
ls--> larger statement

Introduction: when the smaller statement is equal or larger than the larger statement
(ss => ls)
elimination: when the larger statement is equal or larger than the smaller statement (ls => ss)

Introduction has some rules as: negation introduction, conjuction introduction, disjunction introduction, implication introduction, equivalence introduction, universal introduction, existencial introduction

Elimination rules: negation elimination, conjuction elimination, disjunction elimination,
implication elimination,implication elimination,equivalence elimination, universal elimination, existencial elimination

Tip: how to be good at proofs:
become familiar with these patters, by lots of practice
recognize these patters in your proof, use the manipulation rules to get closer to your target.

After that was time to start the content about Algorithm Analysis and Asymptotic Notation
among several subjects inside this content we looked at how analyse the time complexity of a program specifically through linear search we also saw the worst-case time complexity, best-case and average-case.

with it we finished this week anxious waiting for learn more about asymptotic notation and algorithm analysis.

Week 6

This week was an important one. We got our results and they were very nice, the class average was pretty high and i got a good score. :D
During the class we keep talking about proofs including:
Proof about non-boolean functions, proof something false, proof about limits.
The proofs became a little confusing to me I have to read the content again to really get all the informations.
Remember we have to make sure that we fully understand the definition of the function otherwise we will proof it wrong. As we are manipulating the expression we have to try put them as closer as possible to those in the definition since the definition is all we have to use.

Tips for disprove a statement:
First make sure to negate it correctly, then prove the negated statement and draw examples to obtain intuition. The main point about all those weird letters that when you take a look you get nervous and confuse is, do not freak out, keep calm and try to solve the question following all the rules they only seems hard but with a good practice they will become more easier to solve

We are going to finish up proofs next week and according with the time that we have
we might start a new subject, algotithm runtime.

Week 5

The Week 5 was right after our midterm, i was a bit apprehensive because i did not know if i had gone well on the test, so, was kind of hard to concentrate/put the head on the place right after a test. Although all this facts the class was fine so let's see what's happened and get into the rhythm of study again.
We continued to talk about proofs this week covering several kinds of proofs including:
Proof using contrapositive, proof using contradiction, proof for existence, proof about a sequence. These proofs techniques are very interesting. The professor gave us severals tips during the lecture about how to do the work of proof become easier
Haaa and just to remember:
One proof may consist of  several different structures and another important part is that with multiple quantifiers, we should do a zoom into the smaller and smaller part of the statement, layer by layer to better prove the statement.

Week 4

Hey guys, the past weeks have been hard to me with a lot of assignments and midterms going on but now i'm back to present you whats happened at week 4.

The main subjects of this week were Bi-implication, Transitivity and Mix quantifiers.
With these subjects we finished all the content about the language of math.
The content was very extensive but I was able to understand it. Once the exercises during the week helped me to do that. Once we finished the content about math language we start to talk about Proofs. The professor gave us an nice introduction regarding to why do we use proofs, why are they important, what is proofs and how to prove. To end up we solved some questions together to better understand the structure of proofs.
Just to remember this was our last lecture before the so waited midterm

Week 3

Hey guys, this week started with all speed. We had an amazing class this tuesday, although I was a little tired because I had a hard and busy day. I tried to enjoy the class as much as i could and it was very worthwhile. We covered a great part of our material about math language.

Here follow the elements of the language math covered today:
Conjunctions, Disjunctions, Negations, Truth tables and Manipulations laws.

As we can see we were introduced to a lot of scary names but with a good look at the content and a good dose of patience we were able to really understand each one of them. I started to feel more comfortable with this content now. I'm starting to understand the questions faster than before, understanding how all those symbols work and knowing what they mean. The students are being very cooperative during the classes, several of them are being very nice interacting during the class, solving questions, etc. As I said some posts before the content is not that hard but also is not so simple so if you feel some difficulty doing or studying these subjects go practice, start to solve questions, the slides have an wonderful material.

If you're doing well keep it up !!!

Haaaa, and before I forget I just want to say that the tutorials are very nice, although we had some problems finding a classroom this week but it happens. The activities during the tutorials are very helpfull, so we can have a little idea about the questions that will be asked in our midterm.

So, that's it. This was our third week, I am looking forward to see what will happen during the next weeks.

Week 2

The week two started with a huge amount of content at least for my view point. We had a great class, learning about some elements of the math language such as: quantifiers, verify/falsify, sentence, statement, predicates, implications, equivalence ...................... and the list does not stop here.
With all this content i started to understand all those symbols that before looked just messed up, now they are beginning to make sense. I´m still not familiar with all of them. I still need some time to read and go through all the content again to really understand everything.
I can say that the best form to practice not only this content but all the subject related with math is doing some exercises, they are very helpful. The slides are very explicative and they have a lot of examples that makes easy to understand the content.
Looking forward to see what we gonna learn next.

Week 1: First class and expectations

Well, let's start. First, I want to say that this is work, writing in a blog, is kind of new for me so, I hope to do a good work here.

This experience with the SLOG will be very helpful during the course and I will be able to help some classmates through some of my notes here. Although we only had one class, I'm really enjoying taking this course i liked the way the professor leads the class. He is very funny, this way the class seems more interesting and it make the time pass flying without let he class become boring.
I have good expectations about this course, have to confess that this huge name  mathematical expression and reasoning for computer science scared me at first time but now i'm more comfortable with the content. I want to improve my skills and also get new ones during this course to become more prepared when i take some more advanced courses in the future.So just to finish, our first class was very nice, i hope that it keep this way. I know that this course is not easy and we have to put a big effort to finish it but if we keep paying attention at classes, going to tutorials and doing the assignments we gonna conclude this course very well.