Entry Smith:1976:GSU from sigcse1970.bib

Last update: Sun Apr 22 02:03:34 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{Smith:1976:GSU,
  author =       "Robert L. Smith and Lee H. Blaine",
  title =        "A generalized system for university mathematics
                 instruction",
  journal =      j-SIGCSE,
  volume =       "8",
  number =       "1",
  pages =        "280--288",
  month =        feb,
  year =         "1976",
  CODEN =        "SIGSD3",
  DOI =          "https://doi.org/10.1145/952989.803485",
  ISSN =         "0097-8418 (print), 2331-3927 (electronic)",
  ISSN-L =       "0097-8418",
  bibdate =      "Sun Nov 18 08:53:52 MST 2012",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/sigcse1970.bib",
  note =         "Proceedings of the SIGCSE--SIGCUE joint symposium on
                 Computer science education.",
  abstract =     "EXCHECK is a system for developing
                 mathematically-based CAI courses. It is currently being
                 used at Stanford University to teach a college-credit
                 course in axiomatic set theory The design of this
                 system had several goals. First, we wanted an
                 instructional system that would provide a semantic base
                 for our work on processing natural language and
                 computer-generated audio. Axiomatic mathematics fits
                 this description in that the underlying semantics is
                 relatively well understood, but many of the interesting
                 problems of natural language are also involved in the
                 informal language of mathematics and the informal
                 expression of mathematical proofs. Second, we
                 recognized that traditional proof checkers were
                 inadequate for teaching mathematics, or for that
                 matter, introductory logic. People understand
                 mathematical concepts and arguments at a level much
                 higher than the traditional formal systems of
                 mathematical logic. Finally, we designed the EXCHECK
                 system to be an extensible system in which other
                 curricula could be implemented with incrementally less
                 work.",
  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