This course is taught in Italian. The intended students are students of the bachelor degree in Computer Science of the Department of Computer Science and Information Engineering (DISI) of the University of Trento. There are no formal pre-requisites, but a certain familiarity with mathematical notation and with data bases is useful. This is a 14 week, 48 hours, six credit introductory course to Logic. The Logics covered are: propositional logics, first order logics, and Description logics. The focus is on modeling (i.e., how to use logics as a modeling language), semantics (i.e., the formalization of the intended semantics of the models developed), reasoning (with a focus on Tableau systems) and on the use of logics in practice (with a focus on the formalizational of natural language, ER models and relational data bases and knowledge graphs). The course has a strong emphasis on examples, exercises and practical applications of Logic, with a focus on Artificial Intelligence and Computer Science applications.