(New page: {{Course | name = Logic for Artificial Intelligence | code = 2-AIN-184 | prerequisites = none | semester = Summer | year = 1 | credits = 3 | form = C - exercise (2) | evalu...)
 
Riadok 6: Riadok 6:
 
   | year = 1
 
   | year = 1
 
   | credits = 3
 
   | credits = 3
   | form = C - exercise (2)
+
   | form = C - course (2)
 
   | evaluation = 40/60  
 
   | evaluation = 40/60  
 
   | webpage = not available
 
   | webpage = not available

Verzia zo dňa a času 16:36, 19. august 2008

Logic for Artificial Intelligence 2-AIN-184

go to list of all courses...

Course name and code: Logic for Artificial Intelligence (2-AIN-184)
Prerequisite courses: none
Available in/recommended study year: Summer semester / 1
Form and # of hours/week: C - course (2)
Credits: 3
Evaluation (semester/exam): 40/60
Course webpage: not available
Information sheet: 2-AIN-184 information sheet
Teacher(s): doc. PhDr. Ján Šefránek, CSc.
E-mail: sefranek@ii.fmph.uniba.sk
Homepage(s): http://ii.fmph.uniba.sk/~sefranek/

Short description:

To give an overview of the non-classical logics with applications in artificial intelligence.

Offered in these study programs: Elective in Master program in Applied Informatics

Recommendations: none