Search

Search Results

• Difference lists in Prolog

  73-87

  Attila Csenki

  Views:

  26

  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

  Zoltán Kovács

  Views:

  12

  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

  Róbert Vajda

  Zoltán Kovács

  Views:

  18

  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.