inline-defaultCreated with Sketch.
inline-defaultCreated with Sketch.
HomeUniversitiesProgramsStudents & Alumni
search
Students
Bachelors

LOGIC

University of Genoa
Genoa , Italy
Visit Program Website
Students
Tuition Fee
Not Available
Start Date
Not Available
Medium of studying
On campus
Duration
Not Available
Details
About Program
About University
Gallery
Contact School
Details
Program Details
Degree
Bachelors
Major
Mathematics
Area of study
Mathematics and Statistics
Education type
On campus
Course Language
English
About Program

Program Overview

LOGIC

Course Information

  • CODE: 73029
  • ACADEMIC YEAR: 2025/2026
  • CREDITS: 6 cfu anno 1 INFORMATICA 11896 (L-31 R) - GENOVA
  • SCIENTIFIC DISCIPLINARY SECTOR: MAT/01
  • LANGUAGE: Italian
  • TEACHING LOCATION: GENOVA
  • SEMESTER: 1° Semester
  • SECTIONING: This teaching is divided into the following fractions:
    • A
    • B
  • MODULES: This teaching is a module of:
    • __ALGEBRA AND LOGICS FOR COMPUTER SCIENCE
  • TEACHING MATERIALS: __AULAWEB

Aims and Content

Learning Outcomes

Learning the concepts of logical consequence and equivalence, the distinction between syntax and semantics for a formal language, the concept of interpretation for a formal language, and the ability to translate sentences from a natural to a formal language and vice versa.


Aims and Learning Outcomes

At the end of the course, the student is expected to have acquired familiarity with propositional and first-order logics, and be able to solve exercises and problems on these topics.


Prerequisites

No specific prerequisites are required.


Teaching Methods

Lectures and exercises in presence.


Syllabus/Content

  • Introduction to mathematical reasoning
  • Syntax of propositional logic
  • Semantics of propositional logic: truth tables
  • Syntax of first-order logic
  • Semantics of first-order logic: model theory
  • The problem of formalisation

Recommended Reading/Bibliography

The notes of the course, discussed in the lectures, are available to the students. Any standard text in Mathematical logic includes the topics of the course.


Teachers and Exam Board

  • RICCARDO CAMERLO: By appointment.
  • JACOPO EMMENEGGER: By appointment, via email or after class.
  • GIUSEPPE ROSOLINI: By appointment.

Exam Board

  • ALDO CONCA (President)
  • RICCARDO CAMERLO
  • EMANUELA DE NEGRI (President Substitute)
  • JACOPO EMMENEGGER (Substitute)
  • ULDERICO FUGACCI (Substitute)
  • GIUSEPPE ROSOLINI (Substitute)

Lessons

Lessons Start

According to the calendar approved by the Degree Program Board.


Class Schedule

The timetable for this course is available here: Portale EasyAcademy.


Exams

Exam Description

Written examination. Guidelines for students with certified Specific Learning Disorders, disabilities, or other special educational needs are available.


Assessment Methods

The exams consist of the resolution of four exercises or problems on the subjects of the course. The evaluation takes into account the correctedness of the solution, the clarity of the explanation, and the rigour of the arguments.


Exam Schedule

Date Time Location Degree Type Notes
21/01/2026 09:00 GENOVA Scritto
12/02/2026 09:00 GENOVA Scritto
25/06/2026 09:00 GENOVA Scritto
17/07/2026 09:00 GENOVA Scritto
04/09/2026 09:00 GENOVA Scritto
See More