The course aims at giving basic knowledge of classical and some non-classical logics, their formal semantics and proof systems. Students will acquire the capability to use the studied logics for representation purposes and will be presented with some important applications of logic in computer science.