m (moved Introduction to Computer Logic/en to Introduction to Computational Logic/en: Incorrect English translation)
Revision as of 01:40, 17 September 2010
Introduction to Computational Logic 1-AIN-411
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