in lecture:
information sheet, structure of the course.
acknowledged marking system in different work and the using of forum for communication, and the right scale of collaboration
165 is a course about expression (major in maths area, and CS needs maths)
knowing the importance of the right precision
some ambiguity examples
understand the right way of solving problem:
what's given, what's required, carry out plans, choose a efficient one
solved question about three child age
a*b*c = 36, a+b+c can't solve, there's a largest number
tried to explain precisely what a python function says, in pairs
get a touch with universal and existential claims: (for all) & (there exist)
get in deep about using of the two claims
work on questions about 4 list function and questions about employment salary
universal claims:
to verify -- show no counter example
to falsify -- show at least one counter example
existential claims:
to verify -- show at least one supportive example
to falsify -- show no supportive example can be found
get a touch with subset, empty set, universe
in tutorial:
work through the hand out about statements of 3 program going through 3 test
figure out how the venn diagram should look like in both True and False situation for each statement
work on a quiz
