formal methods in software engineering (particularly formal specification), logic programming, functional programming, logic and semantics of languages, societal impact of computing technologies ...

You will learn about the mathematical foundations of these logics. 3) You will learn about logic programming, a paradigm to use logic for knowledge representation. You will learn about the model ...

Constraint programming, logic programming, and automated planning are examples of declarative programming. Declarative programming is used in the build pipelines of games such as The Last of Us ...