Libri UniversitariApri il catalogo

Lewis – Elements of the Theory of Computation

Libro adottato a Pisa, Siena, a.a. 2026/2027 · 3 canali

«Lewis – Elements of the Theory of Computation» è adottato per Logics For Artificial Intelligence (Applied Mathematics – sede di Siena – Siena); per Elementi di Calcolabilita' e Complessita' dal prof. Pierpaolo Degano (Informatica – sede di Pisa – Pisa); per Foundations Of Mathematics dal prof. Carles Noguera Clofent (Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena – Siena).

Lewis – Elements of the Theory of ComputationCerca su Amazon ›

Come lo indica il docente: H. Lewis, C. Papadimitriou, Elements of the Theory of Computation, Prentice-Hall, 1997 · H.R. Lewis, Ch.H. Papadimitriou, Elements of the Theory of Computation, Prentice-Hall, 1981

Titolo
Elements of the theory of computation
Autori
Harry R. Lewis
Editore
Prentice-Hall, 1998
ISBN
9780132624787

Chi lo adotta

Programma e testi di ogni canale

Logics For Artificial Intelligence Canale unico

Corso di laurea: Applied Mathematics – sede di Siena · Laurea magistrale (LM-40) · esame facoltativo / 1º anno · 2º semestre · 6 CFU

Siena · Ingegneria dell'Informazione e Scienze Matematiche · CFU · apri nel catalogo · Applied Mathematics – sede di Siena · 2º anno · 2º semestre ›

Abiteboul – Foundations of DatabasesCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Ben-Ari – Mathematical Logic for Computer ScienceCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Chang – Model TheoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Cintula – Handbook of Mathematical Fuzzy LogicCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Cintula – Logic and ImplicationCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Ebbinghaus – Finite Model TheoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Enderton – A Mathematical Introduction to LogicCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Gabbay – The Many Valued and Nonmonotonic Turn in…Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Hájek – Metamathematics of Fuzzy LogicCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Hodges – Model TheoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Lewis – Elements of the Theory of Computationquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Libkin – Elements of Finite Model TheoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Restall – An Introduction to Substructural LogicsCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Russell – Artificial IntelligenceCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Smith – Vagueness and Degrees of TruthCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Libri consigliati nell'a.a. 2025/2026
Serge Abiteboul – And Victor VianuCerca su Amazon ›Da acquistare più volumi: vol. 37, vol. 38Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • La bibliografia di riferimento è la medesima sia per gli studenti frequentanti che per i non frequentanti. Materiali integrativi saranno resi disponibili.

Argomenti del programma: 1. Introduzione: Prospettiva storica sul ruolo della logica nella scienza e nella tecnologia, con particolare attenzione alle interazioni con l'intelligenza artificiale. 2. Fondamenti di logica matematica: Richiami di logica proposizionale e del primo ordine classica e risultati utili di teoria dei modelli (compattezza, ultraprodotti, teoremi di Löwenheim-Skolem, equivalenza elementare, teoremi di Lindström, ecc.).

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Elementi di Calcolabilita' e Complessita' – Prof. Pierpaolo Degano Canale unico

Corso di laurea: Informatica – sede di Pisa · Laurea triennale (L-31) · esame facoltativo · 6 CFU

Pisa · Dipartimento di Informatica · 6 CFU · apri nel catalogo · Informatica – sede di Pisa · 3º anno · 1º semestre ›

Ch Papadimitriou – Computational ComplexityCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Soare – Recursively Enumerable Sets and DegreesCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Börger – ComputabilityCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Bernasconi – Introduzione alla Complessità ComputazionaleCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Cormen – Introduction to AlgorithmsCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Garey – Computers and IntractabilityCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Lewis – Elements of the Theory of Computationquesto libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Jones – Computability and ComplexityCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Sommerhalden – The Theory of ComputabilityCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Il corso introduce le nozioni fondamentali della teoria della calcolabilità e della complessità. La prima parte delinea i concetti e la natura dei problemi che hanno soluzione effettiva. La seconda parte caratterizza i problemi che sono risolvibili con risorse di calcolo limitate.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Foundations Of Mathematics – Prof. Carles Noguera Clofent Canale unico

Corso di laurea: Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena · Laurea magistrale (LM-39) · esame facoltativo · Philosophy and Cognition · 6 CFU

Siena · Scienze sociali politiche e cognitive · 6 CFU · apri nel catalogo · Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena · 2º anno · 2º semestre ›

Abiteboul – Foundations of DatabasesCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Ben-Ari – Mathematical Logic for Computer ScienceCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Chang – Model TheoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Cintula – Handbook of Mathematical Fuzzy LogicCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Cintula – Logic and ImplicationCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Ebbinghaus – Finite Model TheoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Enderton – A Mathematical Introduction to LogicCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Gabbay – The Many Valued and Nonmonotonic Turn in…Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Hájek – Metamathematics of Fuzzy LogicCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Hodges – Model TheoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Lewis – Elements of the Theory of Computationquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Libkin – Elements of Finite Model TheoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Restall – An Introduction to Substructural LogicsCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Russell – Artificial IntelligenceCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Smith – Vagueness and Degrees of TruthCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Libri consigliati nell'a.a. 2025/2026
Serge Abiteboul – And Victor VianuCerca su Amazon ›Da acquistare più volumi: vol. 37, vol. 38Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • La bibliografia di riferimento è la medesima sia per gli studenti frequentanti che per i non frequentanti. Materiali integrativi saranno resi disponibili.

Argomenti del programma: 1. Introduzione: Prospettiva storica sul ruolo della logica nella scienza e nella tecnologia, con particolare attenzione alle interazioni con l'intelligenza artificiale. 2. Fondamenti di logica matematica: Richiami di logica proposizionale e del primo ordine classica e risultati utili di teoria dei modelli (compattezza, ultraprodotti, teoremi di Löwenheim-Skolem, equivalenza elementare, teoremi di Lindström, ecc.).

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Si studia insieme a