Computabilità, Complessità e Logica

Statistica per l'Assicurazione e Business Analytics – sede di Trieste · Università degli Studi di Trieste · 3º anno · 1º semestre · canale unico

Libri del canale

Computabilità, Complessità e Logica

?Docente non indicato Canale unico

Il docente indica 1 testo

Per la parte di calcolabilità e complessità

Michael Sipser – Introduzione alla teoria della computazioneVerificato sulla scheda ufficiale il 03/10/2026

Cerca su Amazon ›

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Il corso consiste di tre parti principali ciascuna quantificabile in tre CFU: - Computabilità. Si esamineranno i principali modelli di computazione ragionando sulla loro espressività. In particolare, in ordine crescente di espressività si introdurranno prima gli automi regolari, poi gli automi a pila e le grammatiche libere dal contesto.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Apri nel catalogo: Statistica per l'Assicurazione e Business Analytics – sede di Trieste, 3º anno, tutte le materie e i canali ›

Testi d'esame di Computabilità, Complessità e Logica, canale unico, corso di laurea in Statistica per l'Assicurazione e Business Analytics – sede di Trieste (Laurea triennale (L-41)), Università degli Studi di Trieste, 3º anno · 1º semestre, a.a. 2026/2027. Libri adottati: Michael Sipser – Introduzione alla teoria della computazione.

Vedi anche: Computabilità, Complessità e Logica a Trieste (tutti i canali)