Lm410 -Teoremi Sulla Logica 1 – Roma Tre

Università degli Studi Roma Tre · Matematica e Fisica · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Roberto Maieli, Prof. Lorenzo Tortora De Falco Canale unico

Corso di laurea: Matematica · Laurea magistrale (LM-40) · 1º anno · 1º semestre · Teorico · 9 CFU · a scelta (CURRICULUM TEORICO SCEGLIERE QUATTRO INSEGNAMENTI (30 CFU) NEI SEGUENTI SSD MATH01/A(Logica),02/A(Algebra) 02/B (Geometria),03/A(Analisi) TRA LE ATTIVITÀ CARATTERIZZANTI (B). 2 INSEGNAMENTI DA 9 CFU IN 2 SSD DIVERSI E 2 INSEGNAMENTI DA 6 CFU) / 1º anno · 1º semestre · Teorico · 9 CFU · a scelta (CURRICULUM TEORICO SCEGLIERE 4 INSEGNAMENTI (30 CFU) TRA LE ATTIVITÀ AFFINI INTEGRATIVE (C): 2 INSEGNAMENTI DA 9 CFU E 2 INSEGNAMENTI DA 6 CFU DI CUI 1 INSEGNAMENTO DA 9 CFU E 1 DA 6 CFU NEI SSD MATH01/A(Logica),02/A(Algebra) 02/B (Geometria),03/A(Analisi))

Roma Tre · Matematica e Fisica · 9 CFU · apri nel catalogo · Matematica · 1º anno · 1º semestre ›

Il docente indica 1 testo

Modulo a

Michele – Abrusci e Lorenzo Tortora de Falco Cerca su Amazon ›Verificato sulla scheda ufficiale il 30/09/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Parte 1: Alcune nozioni preliminari. Relazioni d'ordine e alberi, definizioni induttive, dimostrazioni per induzione, assioma di scelta e lemma di Kőnig. Parte 2: Dimostrabilità e soddisfacibilità Linguaggio formale del primo ordine: alfabeto, termini , formule, sequenti.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.