Title:<\/b> On the Foundations of Computing (60 ore, 9cfu)<\/p>\n
Semester: <\/b>2nd<\/p>\n
Professor in charge of the course: Giuseppe Primiero<\/b><\/p>\n
Teaching Unit A<\/b> (20 ore, 3cfu): Mathematical Foundation<\/p>\n
Teaching Unit B<\/b> (20 ore, 3cfu): Engineering Foundation<\/p>\n
Teaching Unit C<\/b> (20 ore, 3cfu): Experimental Foundation<\/p>\n
This course is addressed to students of the Master Degree in Philosophical Sciences (Classe LM-78, enrolled from AY 2017\/2018, 120 CFU).<\/p>\n
Description<\/strong><\/p>\n Computing is developing academically and industrially, and it has a huge impact on everyday\u2019s life. This requires not only for practitioners to be aware of the delicate and extensive role they are playing in society, but it also imposes an essential task to disciplines like Philosophy that have traditionally played a critical role on the methodological and epistemological nature of the sciences. Computing and information 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.<\/p>\n Learning <\/b>Objectives<\/b><\/span><\/span><\/span><\/p>\n By locating computing in its conceptual, technical and historical evolution and by learning the principles that define it, students will gain a critical awareness and technical knowledge of the processes by which computing has become an essential aspect of our lives and will understand how this subject is located with respect to other sciences. The course includes programming activities for the model of Turing Machines and for an agent-based simulation software. 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<\/b><\/p>\n Successful completion of at least one course in Logic is strongly recommended.<\/p>\n Expected Learning Outcomes<\/b><\/p>\n Knowledge acquisition and understanding: <\/b><\/p>\n The course provides knowledge of philosophical and technical literature in the area of computing and the philosophy of information; principles of logic, epistemology of computing sciences and technologies; and the understanding of new software and data-intensive science methodologies.<\/p>\n Skills acquisition and ability to apply knowledge:<\/b><\/p>\n The course provides technical and analytical skills in the following topics:<\/p>\n – Logic and computability<\/p>\n – Turing Computability<\/p>\n – Logics of Program Correctness<\/p>\n – Laws of Computing Evolution<\/p>\n – Logics of Information<\/p>\n – Errors in Computing<\/p>\n – Computer Modelling, Experiments and Simulation<\/p>\n – Multi-Agent Systems and Logics of Communication<\/p>\n A<\/span><\/span>t the end of the course, students are expected to be able to:<\/span><\/p>\n Teaching Unit A+B+C<\/p>\n G.Primiero. On the Foundations of Computing. OUP, 2019<\/i><\/p>\n <\/a> L. Floridi, The Logic of Being Informed, Logique Et Analyse 49 (2006)<\/span><\/span><\/p>\n G.Primiero, An Epistemic Logic for Becoming Informed, Synthese, 167:2, pp.363-389, 2009.<\/span><\/span><\/p>\n Teaching Unit C<\/p>\n M.Huth, M.Ryan, Logic in Computer Science, CUP 2004.<\/p>\n G.Primiero, M. Bottone, F. Raimondi, J. Tagliabue, Trust and Distrust in Contradictory Information Transmission. Applied Network Science, 2:12. DOI: 10.1007\/s41109-017-0029-0 (2017).<\/span><\/span><\/p>\n All the reading material will be made available to students.<\/p>\n Programme for Attending and Non-Attending Students<\/b><\/p>\n Teaching Unit A<\/b><\/p>\n Mathematical Foundations of Computing:<\/p>\n 1. The foundational Crisis of Mathematics<\/p>\n 2. Computing and Decidability<\/p>\n 3. Definition of Computable<\/p>\n 4. Mechanical Computation<\/p>\n 5. Logics of Program Correctness<\/p>\n Teaching Unit B<\/b><\/p>\n Engineering Foundations of Computing:<\/p>\n 1. Universality and All-purposefulness<\/p>\n 2. The Laws of Computing Evolution<\/p>\n 3. Logics of Information<\/p>\n 4. Specification and Implementation<\/p>\n 5. Miscomputation<\/p>\n Teaching Unit C<\/b><\/p>\n The Experimental Foundation of Computing:<\/p>\n 1. Computer Experiments, Models and Simulations<\/p>\n 2. Logics for Multi-Agent Systems<\/p>\n 4. Logics of Communication<\/p>\n 5. Epistemology of Experimental Computing<\/p>\n Examination: Written<\/b><\/p>\n For attending students: <\/b><\/p>\n 1. Compulsory: Each unit in this course will be followed by a compulsory written test with open questions, to verify understanding and technical mastering of issues specific to that unit. Each test is structured as follows:<\/p>\n Group I: Definitions and Basic Concepts<\/em><\/p>\n This set contains 6 questions of 3 points each concerning essential<\/em> knowledge. The criteria of evaluation are correctness and clarity. All these questions need to be answered correctly to pass the exam. Only full points are given. Total points: 18.<\/p>\n<\/li>\n Group II: Technical and Formal Analysis<\/em> Group III: Philosophical Analysis<\/em> Participation to Test 2 is reserved to students who have passed Test 1. Participation to Test 3 is reserved to students who have passed Test 2. With a failed test the student will need to take the full exam at the end of the course as by the modalities given for non-attending students.<\/p>\n Dates of the Tests will be made available to Students on the Website of the Course. Corrections of each test will be communicated with feedback to students via email. The final mark offered to the students will be one consistent with each Test counting for 1\/3 of the total.<\/p>\n\n
References<\/h2>\n
\n<\/i><\/a>Teaching Unit B<\/p>\n\n
\nThis set contains 2 questions of 4 points each concerning more complex formal and technical aspects related to computing. The criteria of evaluation are correctness and clarity. Partial evaluation on each question is admitted. Total points available: 8.<\/p>\n<\/li>\n
\nThis set contains 2 questions of 5 points each concerning philosophical aspects related to computing. The criteria of evaluation are correctness, clarity and completeness. Partial evaluation on each question is admitted. Total points available: 10.<\/p>\n<\/li>\n<\/ul>\n