Entry Johann:1999:FTH from sigcse1990.bib

Last update: Wed Sep 26 02:07:32 MDT 2018                Valid HTML 4.0!

Index sections

Top | Symbols | Numbers | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Johann:1999:FTH,
  author =       "Patricia Johann",
  title =        "A funny thing happened on the way to the formula:
                 demonstrating equality of functions and programs",
  journal =      j-SIGCSE,
  volume =       "31",
  number =       "4",
  pages =        "32--34",
  month =        dec,
  year =         "1999",
  CODEN =        "SIGSD3",
  DOI =          "https://doi.org/10.1145/349522.349387",
  ISSN =         "0097-8418 (print), 2331-3927 (electronic)",
  ISSN-L =       "0097-8418",
  bibdate =      "Sat Nov 17 16:56:41 MST 2012",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
  abstract =     "The concept of a function is arguably one of the most
                 fundamental in computer science. It is frequently also
                 one of the most problematic. In particular, students
                 often have difficulty inferring, in a mathematically
                 well-supported manner, equality of functions from
                 equality of function values. That is, the transitions
                 they make from demonstrations of equality of values of
                 functions to demonstrations of equality of those
                 functions themselves are often not well reasoned. In
                 this complementary paper to [GK97] we describe one line
                 of reasoning which we have found helps elucidate the
                 mathematical principles according to which such
                 inferences can correctly be made.",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGCSE Bulletin (ACM Special Interest Group on
                 Computer Science Education)",
  journal-URL =  "http://portal.acm.org/browse_dl.cfm?idx=J688",
}

Related entries