Dehornoy – COMPLEXITÈ ET DECIDABILITÈ

Name: Dehornoy – COMPLEXITÈ ET DECIDABILITÈ
Author: Dehornoy

Libro adottato a Roma Tre, a.a. 2026/2027 · 2 canali

«Dehornoy – COMPLEXITÈ ET DECIDABILITÈ» è adottato per In410-Calcolabilità e Complessità dal prof. Marco Pedicini (Matematica, Scienze computazionali – Roma Tre).

Dehornoy – COMPLEXITÈ ET DECIDABILITÈVai su Amazon ›

Come lo indica il docente: [1] DEHORNOY, P., COMPLEXITÈ ET DECIDABILITÈ. SPRINGER-VERLAG, (1993)

Chi lo adotta

In410-Calcolabilità e Complessità – Prof. Marco Pedicini (canale unico)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))
In410-Calcolabilità e Complessità – Prof. Marco Pedicini (canale unico)Scienze computazionali · Laurea magistrale (LM-40) · esame facoltativo · 9 CFU

Programma e testi di ogni canale

In410-Calcolabilità e Complessità – Prof. Marco Pedicini 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 3 testi · da studiare tutti

Dehornoy – COMPLEXITÈ ET DECIDABILITÈquesto libroVai su Amazon ›Verificato sulla scheda ufficiale il 30/09/2026

[2] KRIVINE, J.-L., LAMBDA CALCULUS

TYPES AND MODELS Vai su Amazon ›Verificato sulla scheda ufficiale il 30/09/2026

Sipser – INTRODUCTION TO THE THEORY OF COMPUTATION.THOMSON COURSE…Vai su Amazon ›Verificato sulla scheda ufficiale il 30/09/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: 1) Computabilità, complessità e rappresentabilità: - Introduzione ai problemi di decisione, procedure algoritmiche e non algoritmiche, computazioni deterministiche, procedure discrete, nozione di alfabeto, di parola. Decidibilità e semidecidibilità di un insieme. Computazioni deterministiche, finitarie e discrete.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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