{"id":113,"date":"2019-01-07T14:10:18","date_gmt":"2019-01-07T14:10:18","guid":{"rendered":"http:\/\/sites.unimi.it\/gprimiero\/?page_id=113"},"modified":"2022-02-12T15:05:40","modified_gmt":"2022-02-12T15:05:40","slug":"logic-of-computation-and-information","status":"publish","type":"page","link":"https:\/\/sites.unimi.it\/gprimiero\/logic-of-computation-and-information\/","title":{"rendered":"Logic of Computation and Information"},"content":{"rendered":"

Master in Philosophical Sciences
\nCurriculum in Reasoning, Analysis and Modelling<\/strong><\/p>\n

Presentation<\/p>\n

Logic is a foundational tool for Computing and Information Sciences. These represent new essential disciplines for students of philosophy, be they oriented towards an academic or professional career, to reflect and judge upon, to assess their working methodologies and foresee future developments. This course offer the basis to understand computational and information systems in their single and multi-agent variants, and to learn their modelling abilities for complex reasoning.<\/span><\/span><\/span><\/p>\n

Learning <\/b>Objectives<\/b><\/span><\/span><\/span><\/p>\n

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<\/span><\/span><\/span> 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.<\/span><\/span><\/span> Such notions and methods will be valuable in any activity requiring advanced reasoning and problem-solving abilities in the computational domain.<\/span><\/p>\n

Prerequisites<\/strong><\/p>\n

Successful completion of at least one course in Logic is strongly recommended to students who wish to enroll for this module.<\/p>\n

Knowledge acquisition and understanding: <\/b><\/p>\n

The course provides knowledge of formal methods and logics<\/span><\/span><\/span> in the area of computing and information essential for the analysis and understanding of new software and data-intensive science methodologies.<\/p>\n

Skills acquisition and ability to apply knowledge:<\/b><\/p>\n

The course provides basic knowledge and technical skills in the following topics:<\/p>\n

– Logic and computability<\/p>\n

– Turing Computability<\/p>\n

– Logics of Program Correctness<\/p>\n

– Process Algebra<\/p>\n

– Temporal Logics<\/p>\n

– Logics of Information<\/p>\n

– Multi-Agent Systems<\/p>\n

A<\/span><\/span>t the end of the course, students are expected to be able to:<\/span><\/p>\n