Libri UniversitariApri il catalogo

Prof. Agostino Dovier

Università degli Studi di Udine · Dmif - Dipartimento di Scienze Matematiche, Informatiche e Fisiche · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Agostino Dovier

Materie del prof. Agostino Dovier

Automated Reasoning Canale unico

Corso di laurea: Artificial Intelligence & Cybersecurity – sede di Udine · Laurea magistrale (LM-18) · 1º anno · annuale · 6 CFU

Udine · Dmif - Dipartimento di Scienze Matematiche, Informatiche e Fisiche · 6 CFU · apri nel catalogo · Artificial Intelligence & Cybersecurity – sede di Udine · 1º anno ›

Kahl – Knowledge RepresentationCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare
  • Dispense del docente on-line

Argomenti del programma: Contenuto in accordo con le direttive IEEE/ACM. In Italiano solo le parti non strettamente codificate. IS/Fundamental Issues: - Overview of AI problems, examples of successful recent AI applications IS/Basic Knowledge Representation and Reasoning: - Review of propositional and predicate logic - Resolution and theorem proving IS/Advanced Representation and Reasoning: - Knowledge representation issues - Non-monotonic…

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

Fondamenti dell'Informatica Canale unico

Corso di laurea: Informatica – sede di Udine, Sede di UDINE · Laurea triennale (L-31) · 2º anno · annuale · 9 CFU

Udine · Dmif - Dipartimento di Scienze Matematiche, Informatiche e Fisiche · 9 CFU · apri nel catalogo · Informatica – sede di Udine, Sede di UDINE · 2º anno ›

Agostino Dovier – ROBERTO GIACOBAZZI Fondamenti dell'InformaticaCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Il corso si divide in tre parti: linguaggi formali, calcolabilità, e complessità. Linguaggi formali. Linguaggi regolari. Automi a stati finiti deterministici e non-deterministici, e loro equivalenza. Espressioni regolari. Pumping Lemma per i linguaggi regolari e sue applicazioni. Proprietà di chiusura e di decidibilità dei linguaggi regolari. Linguaggi liberi dal contesto.

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

Ragionamento Automatico Canale unico

Corso di laurea: Informatica – sede di Udine, Sede di UDINE · Laurea magistrale (LM-18) · 1º anno · annuale · 6 CFU

Udine · Dmif - Dipartimento di Scienze Matematiche, Informatiche e Fisiche · 6 CFU · apri nel catalogo · Informatica – sede di Udine, Sede di UDINE · 1º anno ›

Kahl – Knowledge RepresentationCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare
  • Dispense del docente on-line

Argomenti del programma: Contenuto in accordo con le direttive IEEE/ACM. In Italiano solo le parti non strettamente codificate. IS/Fundamental Issues: - Overview of AI problems, examples of successful recent AI applications IS/Basic Knowledge Representation and Reasoning: - Review of propositional and predicate logic - Resolution and theorem proving IS/Advanced Representation and Reasoning: - Knowledge representation issues - Non-monotonic…

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

Fondamenti dell'Informatica Canale unico

Corso di laurea: Internet of Things, Big Data, Machine Learning – sede di Udine · Laurea triennale (L-31) · 2º anno · annuale · 9 CFU

Udine · Dmif - Dipartimento di Scienze Matematiche, Informatiche e Fisiche · 9 CFU · apri nel catalogo · Internet of Things, Big Data, Machine Learning – sede di Udine · 2º anno ›

Agostino Dovier – ROBERTO GIACOBAZZI Fondamenti dell'InformaticaCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Il corso si divide in tre parti: linguaggi formali, calcolabilità, e complessità. Linguaggi formali. Linguaggi regolari. Automi a stati finiti deterministici e non-deterministici, e loro equivalenza. Espressioni regolari. Pumping Lemma per i linguaggi regolari e sue applicazioni. Proprietà di chiusura e di decidibilità dei linguaggi regolari. Linguaggi liberi dal contesto.

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

Domande frequenti

Quali libri consiglia il prof. Agostino Dovier per Automated Reasoning?

Kahl – Knowledge Representation

Quali libri consiglia il prof. Agostino Dovier per Fondamenti dell'Informatica (Informatica – sede di Udine, Sede di UDINE, canale unico)?

Agostino Dovier – ROBERTO GIACOBAZZI Fondamenti dell'Informatica

Quali libri consiglia il prof. Agostino Dovier per Ragionamento Automatico?

Kahl – Knowledge Representation

Quali libri consiglia il prof. Agostino Dovier per Fondamenti dell'Informatica (Internet of Things, Big Data, Machine Learning – sede di Udine, canale unico)?

Agostino Dovier – ROBERTO GIACOBAZZI Fondamenti dell'Informatica