logo-polimi
Loading...
Degree programme
Programme Structure
Show/Search Programme
Course Details
Save Document
Degree Programme
Read Degree Programme
Quantitative data
Faculty
Infrastructures
International context
Customized Schedule
Your customized time schedule has been disabled
Enable
Search
Search a Lecturer
Search a Course
Search a Course (system prior D.M. n. 509)
Search Lessons taught in English

Glossary
Semester (Sem)
1First Semester
2Second Semester
AAnnual course
Educational activities
CSimilar or integrative activities
Language
Course completely offered in italian
Course completely offered in english
--Not available
Innovative teaching
The credits shown next to this symbol indicate the part of the course CFUs provided with Innovative teaching.
These CFUs include:
  • Subject taught jointly with companies or organizations
  • Blended Learning & Flipped Classroom
  • Massive Open Online Courses (MOOC)
  • Soft Skills
Course Details
Context
Academic Year 2020/2021
School School of Industrial and Information Engineering
Name (Bachelor of Science degree)(ord. 270) - MI (358) Engineering of Computing Systems
Track IT1 - Ingegneria Informatica e Comunicazioni
Programme Year 2

Course Details
ID Code 085903
Course Title LOGIC AND ALGEBRA
Course Type Mono-Disciplinary Course
Credits (CFU / ECTS) 5.0
Semester First Semester
Course Description Relations and maps: Relations of arity 2, properties and closure of a relation with respect to a given set of properties. Equivalence relations and partitions, quotient set. Order relations. Surjective, injective and bijective maps, existence of the inverse map, kernel, factorization theorem of maps. Cardinality: Cantors theorem. Algebraic structures: definitions, examples and elementary properties of main algebraic structures, substructures, congruence relations, quotient structures, homomorphisms. Propositional logic: well formed formulas and semantic, formal systems. Deduction, soundness and completeness theorems. First order logic: the language of first order logic, terms and well formed formulas. Semantic and models. Prenex normal form. Formal systems: soundness and completeness. Examples of first order theories.
Scientific-Disciplinary Sector (SSD)
Educational activities SSD Code SSD Description CFU
C
MAT/01
MATHEMATICAL LOGIC
3.0
C
MAT/02
ALGEBRA
2.0

Schedule, add and removeAlphabetical groupLecturer(s)LanguageTeaching Assignment Details
From (included)To (excluded)
---AERodaro Emanuele
---EPAdami Stefania
---PZZZZNuccio Claudia
manifesti v. 3.9.3 / 3.9.3
Area Servizi ICT
29/04/2025