Study-unit LOGIC AND LOGIC NETWORKS
| Course name | Informatics |
|---|---|
| Study-unit Code | A003091 |
| Curriculum | Comune a tutti i curricula |
| Lecturer | Raffaella Gentilini |
| Lecturers |
|
| Hours |
|
| CFU | 6 |
| Course Regulation | Coorte 2023 |
| Supplied | 2023/24 |
| Supplied other course regulation | |
| Learning activities | Base |
| Area | Formazione matematico-fisica |
| Sector | MAT/01 |
| Type of study-unit | Obbligatorio (Required) |
| Type of learning activities | Attività formativa monodisciplinare |
| Language of instruction | Italian |
| Contents | The course is composed by two modules, on logic as tool for formal reasoning and on logic networks for circuit design. In particular, the module on logic networks provides a primer in digital logic design, focusing on (1) boolean functions and boolean algebra (2) combinational circuit analysis and synthesis (3) basics of sequential circuits. The logic module introduces propositional logic, first order logic and applications to computer aided automated reasoning. |
| Reference texts | Cristiana Bolchini, Carlo Brandolese, Fabio Salice, Donatella Sciuto. Reti Logiche. Maggioli Editore, 2015, Apogeo Education. Johan van Benthem, Hans van Ditmarsch, Jan van Eijck, Jan Jaspars. Logic in Action. 2016 (https://www.logicinaction.org/docs/lia.pdf) |
| Educational objectives | The student is expected to (1) acquire the basic knowledge and reasoning skills of mathematical logic, being able to use propositional and first order logic as a tool for formal reasoning (2) understand the link between logic and circuit design (from Boole to Shannon) (3) being able to design and optimize combinatorial and sequential circuits. |
| Prerequisites | --- |
| Teaching methods | Face to face lessons and exercise sessions |
| Other information | --- |
| Learning verification modality | written and oral examination |
| Extended program | Logic Networks Module --- Boolean algebra and logic gates: basic theorems and properties of boolean algebra, boolean functions, canonical forms, digital logic gates. Gate level minimization (Karnaugh method and Quine McCluskey method). Combinational Logic: combination circuits, analysis and design procedure, special circuits (Ripple-Carry Adder, Decoders, Encoders, Multiplexers). Synchronous sequential circuits (basics): storage element (Latches,Flip-Flops), Mealy and Moore machines. Logic as a Formal Reasoning Tool Module --- Propositional logic: syntax and semantics. Deductive reasoning in propositional logics: semantic tableaux. Completeness of the propositional deductive systems. First order logic: syntax and semantics. Deductive reasoning in first order logic: semantic tableaux for first order logic. |