Week 6

This week we got to the end of the most difficult chapter since now. :) Proofs are interesting, but a little bit outstanding. I am able to prove what is needed in most cases. But what I hate is the structure of proof. assume, let and so on. Can't we just write everything mathematically? without any words? :) But I am afraid of proofs. Because sometimes it is really difficult to translate sentence to the expression . And I am very bad at it. Now I am trying to get rid of this problem.Hope I will achieve some success. And this week's subchapter-non-boolean functions... it is not that hard. But again, need to prove or disprove it with chains makes proof structure longer.

Week 5

    This week we get deeper with proofs. In proving existence, we just need one example. And we do not really need to show where we got this example. We just need to show that it works!
    And if something is True , then its contrapositive is True. With other words, if there is some trouble in proving case, we can try to prove contrapositive. We can disprove negation too.Using contrapositive to prove statement is indirect proof, otherwise it is direct.
And contradiction is useful when we have trouble showing which exactly proves or disproves something. Its contradiction changes all 'and's to 'or's, and problem is solved! You don't need exact element any more.
This is all that took my attention in fifth week. :)
   

Week 4

    This week we learned bi-implication, transitivity and a general knowledge about proofs. There was not something remarkably difficult in bi-implications and transitivity. But I had some difficulty in understanding some parts of lecture slides. For example, a question about switching the places of some parts of expression without changing the meaning. I did not understand anything from it.And all that limit pictures - they did not tell me anything. But proof seems quiet interesting at first glance. Proving by chaining might be a little bit tricky and might need more time, but I think I will be fine with it.

Week 3.

This week we learned meaning of conjunction , disjunction , negation and of course using them properly. The main point of this week was understanding the difference between natural English and logic. More concretely speaking: 'and' and 'or'. I was afraid that I will have problems with inclusivity or exclusivity of 'or'. I was afraid that, I will not catch the meaning of an English sentence from this aspect. But then professor said that it will be provided in questions if it seems confusing. Tabulating  table to negate the expression was the best part for me. It was amusing to negate long expressions using tables. I really do not find words to describe this week and my opinion. All I did this week was  learning rules of operations written and after doing handout. Nothing special.

...

http://mp3.waprik.ru/song/7492773_109793516/3011844?67

http://mp3.waprik.ru/song/23919_80684701/3011954?13

Надеюсь понравится . 

Week 2

I am feeling that if we are going to continue in this temp, i will need more than an hour a day for this course . :) At the end of first week I started to believe that during all semester I am going to hear and analyse same names like Al, Betty , Carlos and so on. But this week was pretty challenging. Starting from symbols ending with Vacuous truth - Everything was outstanding. In some moments of the week I was thinking to drop the course, in others I put an aim  to end it with 4.0...Now I stopped at second one :)
 I want to talk  more detailed about this week's lectures.The logic of verifying or falsifying universal and existential claims was quite simple. Some small difficulties were in implications, especially in creating and understanding  the contrapositive  of some sentences. And finally, vacuous truth seemed to me easy , because there was one simple thing. If first part is false, then you have no prove that second is false. As a result , whole expression is true. That is everything that took my attention this week .

CSC165 ,Week 1 .

The first week was pretty interesting and easy.As all first weeks :) Maybe the reason is because some of things that professor was teaching I have already learned and 'practised' at  school. Especially solving problems with help of Venn diagrams were not new for me. But it was fun because you have to take into account every single possibility in logical reasonings. For instance the first quiz was very easy , but few seconds were separating me to solve it in a wrong way because of my inattention. And that's why I think at the end of semester , CSC165 will not only change my ability of analysis and reasoning in a good way, but also will help me to be more carefull.  I believe that this course will lead to thinking in a different way which  is in my opinion the most important characteristics for a computer scientist.