Friday 28 November 2014

Week 12

The question from this Friday is one I have not yet solved. I have determined that of rectangle n x m, the boxes crossed are:
n = any, m = 1 => n
n = any, m = n, => n
n = any, m = n+1 => 2n
n = any, m = 2n => 2n
My original plan was the same as it usually is; find the outputs and find any patterns in my list of results. Unfortunately, this hasn't gotten me as far as it previously did, although my list of results only go up to 5 X 6 rectangles.

The rest of the week was uneventful.

Overall, my SLOG I believe has been a failure in terms of being a record of my thoughts and reactions. Although the first few SLOG's on the list on the CDF page don't seem very... updated, some of the latter ones show a much better example such as the 165choi blog. Sadly, I can't write very much on most topics, even this sentence is forced out as an attempt to write more than a few phrases and call it an entry.

Assignment 3 turned out to be not too bad; although that may be a false sense of security and I failed so bad I didn't even notice.

On an unrelated note: The comments are on by default right? Everything I have seen shows that it is and they are on right now.

Friday 21 November 2014

Week 10 + 11

Last week was more big O and Omega proofs with more complexity with relations between O's and Omegas. This short week consisted of things that computers cannot do such as determining whether a program terminates. I am not sure where this is going and the CDF page for the course is still down as of this writing. Assignment 3 is giving me some bad feelings so far and i suspect it will get worse as I go along.

Because I have the need to feel like I write more than the tiny amount of content seen above, here is an off topic part. That was the off topic part.

Friday 7 November 2014

Week 9

More of the same, with a test. Is there really more to write? Big O proofs for another week.
The test went alright, not great, not terribly.

I honestly can't think of anything else to write for this entry.

The unrelated note: It's apparently time to set up the decorations for the wonderful season of spending.

Saturday 1 November 2014

Week 8

This week, more proofs. That was not a sentence but it was true. More proofs in class and proofs for assignment two which continually kick me the head. Overall, not much this week. The 2nd and 3rd problems for assignment two are the most difficult in my opinion since there are many possible combinations of values which could invalidate or validate the equation. I don't think I can write much more about this right now as the assignment is still out.

In unrelated news: The Steam Halloween sale is begging me to spend money that I don't think I should be spending

Friday 24 October 2014

Week 7

Not much happened this week. We went through introductions and eliminations and searches and sorting. I don't know anything about searches and sorts, but I don't think they are too important in this context. The introductions and eliminations seems to just be names for things that we have already done before.

The hand out on Friday was something I did not expect. Of course the first thing I did was brute force it and draw a tree of all the possible operations starting after 48, 16 as the 32 , 32 becomes 48, 16 or 16, 48 but those are essentially the same thing but reversed as would be the continuations. Anyway, there were 32 resulting pairs which means every number is represented. Overall, a relaxing day for 165.

On an unrelated note: Civ Beyond Earth released today and I think this will begin eating up my free time.

Friday 17 October 2014

Week 6

Not much this week thanks to Monday off, more work on proofs and more overlap with math. Over all, I think I am starting to understand how to write proofs, but writing proofs for math and 165 may start to get confusing. I'll just have to remember which format I need. Either way, it shouldn't be too much of a problem unless the forms start to become completely different. I suppose reviewing the form I would need as a quick reminder would work.

My midterm seems to have gone well, 37/38. I'm glad my confidence as to my performance was not misplaced and I am not actually completely lost.

The SLOG on the other hand continues to under perform in my eyes. Still trying to improve on it, but I usually don't record my thoughts or ideas let alone put them online.

Since I have done one every other time. On an unrelated note, Complete History Of The Soviet Union, Arranged To The Melody Of Tetris has been stuck in my head for a while now. 

Saturday 11 October 2014

Week 5

This week went well as far as I am concerned. The test was remarkably similar to the sample test given and I think I did well on it. Proofs are also going well and are starting to make more sense now that we have had several examples of how they are organised and written. Then's come after if's and after the implication sign. Most lines are indented so I will eventually run out of space. All we have to do now is figure out what to write in the proof part of the proof.

So far this year, this class has been most useful in doing MAT137. Calculus with proofs seems to overlap with logic. However, now they are finally starting to diverge, mainly with how to format proofs to things. Math uses lines of symbols and equations while 165 uses lines of symbols with if's and then's and assume's shoved in the front and then indented.

On an unrelated note: I need to remember to put blank lines between paragraphs since I can't indent and figure out how to write better SLOG updates since I'm fairly sure these are quite awful so far.