Date: Tue, 14 Jan 1997 23:18:33 GMT
Server: NCSA/1.5
Content-type: text/html
My teaching activity
My teaching activity
I teach classes in Artificial Intelligence and in
Programming Languages.
When I teach Artificial Intelligence, I am mostly interested in teaching
methods for automated reasoning and their logical foundations.
In Programming Languages, the emphasis is on functional programming,
logic programming and their foundations in lambda-calculus,
denotational semantics and automated deduction.
Since the computational mechanism in functional programming is a form
of equational reasoning and the computational mechanism in logic
programming is a form of deduction in Horn logic,
the common theme of the automation of deduction underlies both my
research and teaching activities.
List of classes:
A few useful links
This page was last updated on Monday, 13-May-96 11:45:05 CDT
by
Maria Paola Bonacina
(bonacina@cs.uiowa.edu).