Discussion of last week’s homework
Texte intégral
Documents relatifs
[r]
Using only the definition of the multiplication, the properties of the addition and Peano axioms, prove that:.. Is it a
⇒ Let’s prove that any infinite set admits a proper subset of same cardinality.
• Read the paper once to get the main ideas and contributions. – Try to make the “one bit”
We study its properties We prove that the type system is sound, and that type checking is decidable (Section 4).. We have used
– Recent paper from top conference – Survey paper, if one exists?. – Seminal paper, if it is different from
– “I need to write the paper.” (implication: specific paper) – “I need to read the papers.” (specific papers). • Collective nouns often do not take
Saving slides Giving a talk Oral techniques Some discussion Conclusion.. To slide or not