Search Constraints

Start Over
Filtering by: lambda calculus Remove constraint lambda calculus Advisor Bregar, William S. Remove constraint Advisor: Bregar, William S.

Search Results

  • An experimental string processing extension to Pascal

    Creator:
    Weems, Charles Chilton
    Abstract:
    The need for and problems related to string processing are discussed and a definition of the term "string" is derived. A brief review of some existing string processing systems leads to the presentation of a design for a string processing extension to the programming language Pascal. A rationale for the...
    Resource Type:
    Masters Thesis
    Full Text:
    its power from the fact that it is based upon a mathematical foundation, in this case Church's lambda

  • Al-Khorezmi : an intelligent algebra tutoring system

    Creator:
    Bayley, Garland J.
    Abstract:
    This thesis presents our investigation of the problem of creating an intelligent tutor for solving algebra word problems that employs effective pedagogy. Among our major concerns are the problems of sufficient knowledge and proper knowledge organization. From student protocols and test papers, we derived sets of general purpose strategic rules...
    Resource Type:
    Dissertation