With this function you can construct your weekly calendar of lessons, which is customized on the basis of the courses that you intend to follow. Warning: the personal schedule does not replace the presentation of the study plan! It's an informal tool that can help you better manage the organization of class attendance before the study plan presentation. After the study plan presentation we recommend you to use the Lecture timetable service in your Online Services.
To create your customized schedule follow these instructions:
- Click on the "Enable" link to proceed. You will be asked your surname and first name in order to determine your alphabetic grouping.
-
To add or remove courses from your personal schedule, use the small icons which are found next to the courses:
addition of the course
removal of the course
selection of the section of the Laboratory of Architecture (Note: the effective area in which the teaching will be carried out will be determined after the presentation of the Study Plans)
-
The sidebar on the left displays the number of lessons included in schedule.
There are also these commands:
View the schedule: allows the viewing of the weekly synoptic schedule
Delete the schedule: cancels the selections made
When you have finished the entry, you can print the calendar you have made.
Semester (Sem) | 1 | First Semester | 2 | Second Semester | A | Annual course | Educational activities | C | Similar 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
|
|
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
|
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
|
|
|