Logic
A.Y. 2021/2022
Learning objectives
The objective of the course is to provide the basic knowledge and the reasoning skills of Logic and its applications to Information Security.
Expected learning outcomes
At the end of the course, the student will be able to model and solve simple, logical or Informatics Security's, problems exploiting the techniques presented in the course.
Lesson period: First semester
Assessment methods: Esame
Assessment result: voto verbalizzato in trentesimi
Single course
This course cannot be attended as a single course. Please check our list of single courses to find the ones available for enrolment.
Course syllabus and organization
Single session
Responsible
Lesson period
First semester
Teaching methods
Asynchronous lessons (video recordings or power point with audio) will be available and will cover the topics of each lesson of the course. Recorded lessons will be available weekly on Ariel. In addition, during the scheduled teaching times, some periodic synchronous meetings with students will be organized, using the Zoom platform, in order to carry out exercises, provide clarifications and answer students' questions. Synchronous meetings will be recorded and made available on Ariel.
Program and reference material
The course program and the reference materials are unchanged. All course's material will always be available in Ariel.
Learning assessment procedures and assessment criteria
Remote exams will be carried out using the exam.net platform, as illustrated on the University's portal. The written test will be shortened to approximately 60 minutes.
Asynchronous lessons (video recordings or power point with audio) will be available and will cover the topics of each lesson of the course. Recorded lessons will be available weekly on Ariel. In addition, during the scheduled teaching times, some periodic synchronous meetings with students will be organized, using the Zoom platform, in order to carry out exercises, provide clarifications and answer students' questions. Synchronous meetings will be recorded and made available on Ariel.
Program and reference material
The course program and the reference materials are unchanged. All course's material will always be available in Ariel.
Learning assessment procedures and assessment criteria
Remote exams will be carried out using the exam.net platform, as illustrated on the University's portal. The written test will be shortened to approximately 60 minutes.
Course syllabus
PROPOSITIONAL AND PREDICATE LOGIC. Syntax, semantics, and calculus (natural deduction and sequent calculus).
RESOLUTION AND LOGIC PROGRAMMING. Unification algorithm and theory of logic programming.
FUZZY LOGIC. Fuzzy sets. Brief introduction of syntax and semantics of fuzzy logic.
BINARY DECISION DIAGRAMS. Representation of Boolean functions using OBDDs. Boolean operations with OBDDs.
PROGRAM VERIFICATION. Hoare triples. Verification rules.
MODAL LOGIC. Syntax, semantics of modal logics.
LOGIC FOR SECURITY. BAN logic.
RESOLUTION AND LOGIC PROGRAMMING. Unification algorithm and theory of logic programming.
FUZZY LOGIC. Fuzzy sets. Brief introduction of syntax and semantics of fuzzy logic.
BINARY DECISION DIAGRAMS. Representation of Boolean functions using OBDDs. Boolean operations with OBDDs.
PROGRAM VERIFICATION. Hoare triples. Verification rules.
MODAL LOGIC. Syntax, semantics of modal logics.
LOGIC FOR SECURITY. BAN logic.
Prerequisites for admission
None.
Teaching methods
Class lessons.
Teaching Resources
- Andrea Asperti, Agata Ciabattoni, Logica a Informatica McGraw-Hill, 1997.
- Michael Huth , Mark Ryan. Logic in Computer Science: modelling and reasoning about systems (2nd edition), Cambridge University Press, 2004.
- Slides and other materials available on the course website.
The course wepage is: https://vcirianil.ariel.ctu.unimi.it
- Michael Huth , Mark Ryan. Logic in Computer Science: modelling and reasoning about systems (2nd edition), Cambridge University Press, 2004.
- Slides and other materials available on the course website.
The course wepage is: https://vcirianil.ariel.ctu.unimi.it
Assessment methods and Criteria
The exam is a written test. The written test requires the solution of application and theoretical exercises, having contents and difficulties similar to those shown in class. During the exam, the consultation of texts or notes is not allowed. The evaluation parameters include: knowledge of the course topics and logical reasoning skills. In oder to pass the exam the score must be equal or above 18/30. The maximum score is 30/30 with laude. The marks will be sent to students by official e-mails, from the verbalization system.
Professor(s)
Reception:
By appointment only
Dipartimento di Informatica - Via Celoria 18 - 20135 - Milano (MI)