Search

Published After
Published Before

Search Results

  • Difference lists in Prolog
    73-87
    Views:
    6
    Prolog is taught at Bradford University within the two-semester module Symbolic and Declarative Computing/Artificial Intelligence. Second year undergraduate students are taught here the basics of the functional and the logic programming paradigms, the latter by using the Linux implementation of SWI Prolog [6]. The topic 'Difference lists' is mentioned in traditional textbooks such as [2] and [5] but it was felt that the available texts do not quite serve our purposes. We present here a lecture handout and a laboratory sheet for the teaching sessions on Difference lists. It is believed that the lectures and lab sessions together with the handouts shown here are a gentle, self-contained and reasoned introduction into the topic. The figures here shown to illustrate the concepts are considered a special feature of the handouts which in this form do not seem to be well known.
  • WMI2: interactive mathematics on the web
    393-405
    Views:
    2
    After 5 years of experiments and feedback we decided to continue the software development on WebMathematics Interactive, a web-based e-learning tool, rewriting it from scratch. The demonstration version of WebMathematics Interactive 2 (WMI2) has been shown to the expert audience on the CADGME conference. In this article we summarize the development goals and results.
  • Interactive web portals in mathematics
    347-361
    Views:
    6
    Many of the recent problems in higher education (less contact seminars, the heterogeneity and the increasing number of our students) call for new instructional methods. At University of Szeged we have developed a mathematical web portal which can offer a solution for such problems among the changing circumstances. This freely available, easy-to-use web-surface supports interactive mathematical problem-solving and student self assessment. Our computer program cooperates with a lot of free software (computer algebra systems, formula parsers, converters, word processors). WebMathematics Interactive has been available for the public since June 2002 on its web page http://wmi.math.u-szeged.hu.