Unit LOGIC AND LOGIC NETWORKS

Course
Informatics
Study-unit Code
A003091
Curriculum
In all curricula
Teacher
Raffaella Gentilini
Teachers
  • Raffaella Gentilini
Hours
  • 42 ore - Raffaella Gentilini
CFU
6
Course Regulation
Coorte 2023
Offered
2023/24
Learning activities
Base
Area
Formazione matematico-fisica
Academic discipline
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.
Condividi su