Lm410 -Teoremi Sulla Logica 1 - Modulo a – prof. Roberto Maieli

Matematica · Università degli Studi Roma Tre · esame facoltativo · Teorico · 6 CFU · canale unico

Testi d'esame di Lm410 -Teoremi Sulla Logica 1 - Modulo a del prof. Roberto Maieli, canale unico, corso di laurea in Matematica (Laurea magistrale (LM-40)), Università degli Studi Roma Tre, esame facoltativo · Teorico · 6 CFU, a.a. 2026/2027. Libri adottati: Michele – Abrusci e Lorenzo Tortora de Falco.

Lm410 -Teoremi Sulla Logica 1 - Modulo a – Prof. Roberto Maieli Canale unico

Corso di laurea: Matematica · Laurea magistrale (LM-40) · esame facoltativo · Teorico · 6 CFU

Roma Tre · Matematica e Fisica · 6 CFU · apri nel catalogo

Il docente indica 1 testo

Michele – Abrusci e Lorenzo Tortora de Falco Vai 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.

Altre materie del prof. Maieli

Teoremi Sulla Logica 1 · Scienze filosofiche · esame facoltativo · 6 CFU
Lm410 -Teoremi Sulla Logica 1 - Modulo a · Scienze computazionali · esame facoltativo · Crittografia E Sicurezza Informatica · 6 CFU

Altri esami del 1º anno – Matematica

Ac310 - Analisi Complessa · 1º semestre · Luigi Chierchia
Al410 - Algebra Commutativa · 1º semestre · Amos Turchet
Bl410-Introduzione alla Biologia · 1º semestre · Marianna Nicoletta Rossi, Enrico Ruzzier
Cp430 - Calcolo Stocastico · 1º semestre · Elisabetta Candellero
Fm440 - Fisica Matematica · 1º semestre · Guido Gentile
Fs420 - Meccanica Quantistica · 1º semestre · Vittorio Lubicz
Fs510 - Metodo Montecarlo · 1º semestre · Roberto Franceschini, Severino Angelo Maria Bussino
Ge410 - Geometria Algebrica 1 · 1º semestre · Lucia Caporaso, Andrea Bruno
In410-Calcolabilità e Complessità · 1º semestre · Marco Pedicini
In490 - Linguaggi di Programmazione · 1º semestre · Flavio Lombardi
In550 – Machine Learning · 1º semestre · Vincenzo Bonifaci
Lm410 -Teoremi Sulla Logica 1 - Modulo B · 1º semestre · Lorenzo Tortora De Falco
Lm430 - Logica e Fondamenti della Matematica · 1º semestre · Lorenzo Tortora De Falco
St410-Statistica · 1º semestre · Fabio Martinelli
Al420 - Teoria Algebrica dei Numeri · 2º semestre · Fabrizio Barroero, Laura Capuano
Am410 - Modulo B - Introduzione Alle Equazioni Alle Derivate Parziali · 2º semestre · Pierpaolo Esposito
Am410 - Modulo a - Introduzione Alle Equazioni Alle Derivate Parziali · 2º semestre · Pierpaolo Esposito
Fm410-Complementi di Meccanica Analitica - Modulo a · 2º semestre · Robin Johannes Petrus Reuvers
Fs530 - Temi di Filosofia della Scienza · 2º semestre · Mauro Dorato
Ge310 - Istituzioni di Geometria Superiore · 2º semestre · Ana Margarida Mascarenhas Melo, Paola Supino
Gl410 - Introduzione alla Geologia · 2º semestre · Francesca Cifelli, Massimo Mattei
In440 - Ottimizzazione Combinatoria · 2º semestre · Vincenzo Bonifaci
In450- Algoritmi per la Crittografia · 2º semestre · Marco Pedicini
In480 - Calcolo Parallelo e Distribuito · 2º semestre · Flavio Lombardi
Lm400 - Introduzione alla Logica · 2º semestre · Vito Michele Abrusci
Lm420 - Teoremi Sulla Logica 2 · 2º semestre · Lorenzo Tortora De Falco
Mc420-Didattica della Matematica · 2º semestre · Paola Magrone
Mf410 - Finanza Computazionale · 2º semestre · Francesco Cesarone
Tn410 - Introduzione alla Teoria dei Numeri · 2º semestre · Francesco Pappalardi, Valerio Talamanca

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