Libri UniversitariApri il catalogo

Lm410 -Teoremi Sulla Logica 1 – prof. Roberto Maieli, Lorenzo Tortora De Falco

Matematica · Università degli Studi Roma Tre · 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) · canale unico

Libri del canale

Lm410 -Teoremi Sulla Logica 1 9 CFU

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

Modulo a

Michele – Abrusci e Lorenzo Tortora de FalcoVerificato sulla scheda ufficiale il 30/09/2026
Cerca su Amazon ›
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.

Apri nel catalogo: Matematica, 1º anno, tutte le materie e i canali ›

Testi d'esame di Lm410 -Teoremi Sulla Logica 1 del prof. Roberto Maieli, Lorenzo Tortora De Falco, canale unico, corso di laurea in Matematica (Laurea magistrale (LM-40)), Università degli Studi Roma Tre, 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), a.a. 2026/2027. Libri adottati: Michele – Abrusci e Lorenzo Tortora de Falco.

Altre materie del prof. Maieli, Falco

Vedi anche: Prof. Roberto Maieli · Prof. Lorenzo Tortora De Falco · Lm410 -Teoremi Sulla Logica 1 a Roma Tre (tutti i canali)