Logic of computation and information

By locating computational and information systems in their conceptual and technical evolution, students will gain working knowledge of the underlying logics and will understand how they are used for many applications in other sciences. The course includes activities for understanding different formal models of computation and for the representation of information transmission, both single and multi-agent. Such notions and methods will be valuable in any activity requiring advanced reasoning and problem-solving abilities in the computational domain.

Knowledge acquisition and understanding:
The course provides knowledge of formal methods and logics in the area of computing and information essential for the analysis and understanding of new software and data-intensive science methodologies. The course provides basic knowledge and technical skills in the following topics:
- Logic and computability
- Turing Computability
- Logics of Program Correctness
- Process Algebra
- Temporal Logics
- Logics of Information
- Multi-Agent Systems

Skills acquisition and ability to apply knowledge:
At the end of the course, students are expected to be able to:
- formally identify classes of computable functions and problems;
- formally define properties of computational processes;
- formally express reasoning about computational processes;
- formally describe informational structures and reasoning on them.