Logic and the Automated Deduction

Descipline Logic and the Automated Deduction
Faculty Faculty of Computer Science and Cybernetics
Faculty URL http://cyb.univ.kiev.ua/en.html
Language English
Degree Master
Credits 5
Semester 1
Description Course includes introduction to automated theorem proving and underlying algorithms and principles and logic programming using Prolog programming language. Goal of this course to study the basic notions of automated reasoning and concept of logic programming.
Teachers Kryvolap Andrii,
PhD,
KrivolapA@gmail.com
Author: admin