Introduction to Computational Logic 1-AIN-411

go to list of all courses...

Course name and code: Introduction to Computational Logic (1-AIN-411)
Prerequisite courses: none
Available in/recommended study year: Summer semester / 2
Form and # of hours/week: L - lecture (2), P - practicals (2)
Credits: 5
Evaluation (semester/exam): 50/50
Course webpage: not available
Information sheet: 1-AIN-411 information sheet
Teacher(s): RNDr. Martin Homola, doc. PhDr. Ján Šefránek, CSc.
E-mail: homola@ii.fmph.uniba.sk, sefranek@ii.fmph.uniba.sk
Homepage(s): http://ii.fmph.uniba.sk/~homola/ http://ii.fmph.uniba.sk/~sefranek/

Short description:

The course provides introduction to mathematical logic and to computational aspects of logic and is especially recommended to students who intend to undertake further courses on artificial intelligence, knowledge representation and cognitive science.

Offered in these study programs: Obligatory-optional in Bachelor program in Applied Informatics

Recommendations: none

Revízia z 01:49, 17. september 2010; Homola (Diskusia | príspevky)

(rozdiel) ← Staršia verzia | Aktuálna úprava (rozdiel) | Novšia verzia → (rozdiel)