magistraleinformatica:mod:errata-2016:start
Differenze
Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.
Entrambe le parti precedenti la revisioneRevisione precedente | |||
magistraleinformatica:mod:errata-2016:start [01/05/2016 alle 19:02 (9 anni fa)] – Roberto Bruni | magistraleinformatica:mod:errata-2016:start [26/05/2016 alle 21:20 (8 anni fa)] (versione attuale) – Roberto Bruni | ||
---|---|---|---|
Linea 41: | Linea 41: | ||
* P202, line 1: induction should be inductive | * P202, line 1: induction should be inductive | ||
* {{: | * {{: | ||
+ | * {{: | ||
+ | * P226, definition of ENDCELL: input on gamma should be output on gamma | ||
+ | * P234, mid page: is x does should be if x does | ||
+ | * P246, line 3: fro should be for | ||
+ | * P247, statement of Theorem 11.4: if should be is | ||
+ | * P249, line -10: (p, | ||
+ | * P256, explanation of diamond op: satisfies and the should be satisfies the | ||
+ | * P264, item 1: string should be strong | ||
+ | * {{: | ||
+ | * P281, end of line 3: \nu x.\mu\phi should be \nu x.\phi | ||
+ | * P281, mid page: a dot is missing before This | ||
+ | * P286, Problem 12.2, item 1: in should be is | ||
+ | * {{: | ||
+ | * P289, abstract: ingenuous should be ingenious | ||
+ | * {{: | ||
+ | * P320, line-9: X< | ||
+ | * P322, end of last line: a< | ||
+ | * P326, line -12: \mu should be l (twice) | ||
+ | * P328, mid page: \gamma_M should be \gamma_D | ||
+ | * {{: | ||
+ | * {{: | ||
+ |
magistraleinformatica/mod/errata-2016/start.1462129323.txt.gz · Ultima modifica: 01/05/2016 alle 19:02 (9 anni fa) da Roberto Bruni