303 research outputs found

    Spartan Daily, September 20, 1977

    Get PDF
    Volume 69, Issue 11https://scholarworks.sjsu.edu/spartandaily/6234/thumbnail.jp

    Learning primary mathematics through computer programming

    Get PDF

    Mirror - Vol. 26, No. 19 - March 29, 2001

    Get PDF
    The Mirror (sometimes called the Fairfield Mirror) is the official student newspaper of Fairfield University, and is published weekly during the academic year (September - May). It runs from 1977 - the present; current issues are available online.https://digitalcommons.fairfield.edu/archives-mirror/1543/thumbnail.jp

    New Expression: April/May 1988 (Volume 12, Issue 4)

    Get PDF
    April/May 1988, Volume 12, Issue 4, edition of New Expression, a news publication researched, contributed, written, and edited by Chicago high school journalistshttps://digitalcommons.colum.edu/ycc_newexpressions/1090/thumbnail.jp

    Using on-line journals to stimulate reflective thinking

    Get PDF
    Information Systems or Electronic Commerce students can take HTX212 in their bachelor's program, or HTX512 in their graduate diploma and master's programs. These are combined into one face to face unit, supported by the use of WebCT, and consolidated by a three person team project, where students attempt to incorporate the features of client-side and server-side Web programming and database management which they have been taught. Other aims of the unit are to consolidate core skills learnt in other units; particularly project management, and to develop the use of reflective thinking for process improvement. This paper describes a partially successful attempt to stimulate private communication from students with their lecturers through the use of structured questions in a WebCT journal. Having discussed the techniques used, and examined the student responses to the questions posed, the paper concludes by suggesting improvements for the future. The weekly journal requirement from each student to audit their and their team's performance allowed each individual to share concerns with their lecturers, analyse where processes were not working, suggest and monitor the effect of improvements. The quality of student response improved throughout the semester, with some deep discussion of issues, although many students struggled with the concept initially. Discussions were promoted on the bulletin board

    Use of proofs-as-programs to build an anology-based functional program editor

    Get PDF
    This thesis presents a novel application of the technique known as proofs-as-programs. Proofs-as-programs defines a correspondence between proofs in a constructive logic and functional programs. By using this correspondence, a functional program may be represented directly as the proof of a specification and so the program may be analysed within this proof framework. CʸNTHIA is a program editor for the functional language ML which uses proofs-as-programs to analyse users' programs as they are written. So that the user requires no knowledge of proof theory, the underlying proof representation is completely hidden. The proof framework allows programs written in CʸNTHIA to be checked to be syntactically correct, well-typed, well-defined and terminating. CʸNTHIA also embodies the idea of programming by analogy — rather than starting from scratch, users always begin with an existing function definition. They then apply a sequence of high-level editing commands which transform this starting definition into the one required. These commands preserve correctness and also increase programming efficiency by automating commonly occurring steps. The design and implementation of CʸNTHIA is described and its role as a novice programming environment is investigated. Use by experts is possible but only a sub-set of ML is currently supported. Two major trials of CʸNTHIA have shown that CʸNTHIA is well-suited as a teaching tool. Users of CʸNTHIA make fewer programming errors and the feedback facilities of CʸNTHIA mean that it is easier to track down the source of errors when they do occur

    Maine Campus September 20 1977

    Get PDF
    corecore