en/debian/mytime.txt
2004-02-16
How I will be spending March
I just sent the following email to certain mailing lists and individuals on campus:
Did you ever wonder how computers could be made prove theorems? Did you ever look at logic and tell yourself, wow, this should be automated? Are you...... an IT student interested in logic or software/hardware verification?
... a math student with a taste for logic and the foundations of mathematics, and with an interest in computer science?
Starting on Tuesday, 2 March 2004, I will give a series of lectures on
*** Automated Reasoning (TIE 329, 2 cr) ***
We will look at how logical information can be processed on a computer. We will discuss (both in theory and in practice) fundamental automated reasoning methods such as unification, resolution and semantic tableaux. In the end, we will have constructed a simple automated reasoning system.
A familiarity with first-order (predicate) logic is necessary. Other prerequisities are the Automata and formal language course (or equivalent) and programming experience.
Enroll via Korppi. The course has a home page at http://www.mit.jyu.fi/antkaij/opetus/ap/2004/. For the benefit of our foreign students, we will use the English language.
18:53 - /en/debian - 0 comments
