Libri UniversitariZoom 100%
Libri Universitari › Reasoning about Knowledge, R. Fagin, J. Halpern, Y. Moses, M. Vardi (MIT Press)

Reasoning about Knowledge, R. Fagin, J. Halpern, Y. Moses, M. Vardi (MIT Press)

6.6 / 10
Difficoltà medio
1 facoltà
lo adottano, in 1 ateneo1 docente · 1 corso di laurea

Scheda libro

Titolo
Reasoning about Knowledge, R. Fagin, J. Halpern, Y. Moses, M. Vardi (MIT Press)
Pagine
n.d.
Tipo
Manuale universitario
Studio
≈ 3 settimane

Cosa si studia con questo libro Reasoning about Knowledge, R. Fagin, J. Halpern, Y. Moses, M. Vardi (MIT Press): di cosa parla

Reasoning about Knowledge, di R. Fagin, J. Halpern, Y. Moses e M. Vardi, tratta il ragionamento sulla conoscenza: che cosa sanno gli individui o gli agenti, che cosa sanno gli uni degli altri, come si formalizza la conoscenza condivisa. Il tema nasce all'incrocio tra logica, informatica e studio dei sistemi distribuiti. Rientra nelle letture di logica e ragionamento, dove offre una trattazione formale di nozioni che nel linguaggio comune restano vaghe. Si affronta con conoscenze di logica di base, e mostra come un ragionamento apparentemente intuitivo possa essere reso preciso, controllabile e utile nella verifica di protocolli.

Dove acquistarlo Reasoning about Knowledge, R. Fagin, J. Halpern, Y. Moses, M. Vardi (MIT Press): prezzo nuovo e usato su Amazon, IBS e Libraccio

Like
Comparatore prezzi
Amazon
Vedi prezzoNuovo
IBS
CercaNuovo
Feltrinelli
CercaNuovo
Libraccio
CercaNuovo e usato

Chi lo adotta Reasoning about Knowledge, R. Fagin, J. Halpern, Y. Moses, M. Vardi (MIT Press): esami, corsi di laurea e docenti che lo indicano

Sapienza 1 facoltà · 1 esame

Reasoning about Knowledge, R. Fagin, J. Halpern, Y. Moses, M. Vardi (MIT Press) a Sapienza: Logics And Reasoning, prof. Perelli

Facoltà: Ingegneria dell'informazione, informatica e statistica

Logics And Reasoning

Prof. GIUSEPPE PERELLI
Vai alla scheda ufficiale ›
Pagina del docente: Giuseppe Perelli
Scopri le domande d’esame:Apri scheda materia ›
Di cosa si tratta: Calcolo proposizionale e logica del primo ordine aprono la materia, con strutture, modelli e teorie. Seguono definibilità, completezza, decidibilità ed eliminazione dei quantificatori, insieme alla teoria dei modelli finiti e all'esprimibilità delle query nelle diverse logiche. Sono trattati anche l'isomorfismo e l'equivalenza elementare di strutture, con esempi di teorie complete.

Dettagli corso

Computer Science - Informatica
Corso: LM-18
CFU: 6Canale: Unico
Apri l’esame nel catalogo

Tempo di studio e official info

Tempo consigliato per preparare l’esame: ≈ 13 settimane
Dati verificati il 18/09/2026

Libri indicati per la materia

Scorri di lato: 4 libri
A concise introduction to Mathematical Logic, W. RautenbergISBN
Tempo di studio del libro≈ 3 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
n.d.
Difficoltà
5,4
Vai all’analisi del libro →
Elements of Finite Model Theory, L. Libkin (https://homepages.inf.ed.ac.uk/libkin/fmt/fmt.pdf)ISBN
Tempo di studio del libro≈ 3 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
n.d.
Difficoltà
5,4
Vai all’analisi del libro →
Modal Logic, P. Blackburn, M. de Rijke, Y.ISBN
Tempo di studio del libro≈ 3 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
n.d.
Difficoltà
5,4
Vai all’analisi del libro →
Reasoning about Knowledge, R. Fagin, J. Halpern, Y.ISBN
Tempo di studio del libro≈ 3 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
n.d.
Difficoltà
5,4

Domande frequenti su Reasoning about Knowledge, R. Fagin, J. Halpern, Y. Moses, M. Vardi (MIT Press)

Per quale esame serve Reasoning about Knowledge, R. Fagin, J. Halpern, Y. Moses, M. Vardi (MIT Press)?

È indicato per Logics And Reasoning a Sapienza, dal prof. Giuseppe Perelli. A.a. 2026/2027.

Quali libri indica il prof. Giuseppe Perelli per Logics And Reasoning?

Per Logics And Reasoning (Sapienza) il prof. Giuseppe Perelli indica Reasoning about Knowledge, R. Fagin, J. Halpern, Y. Moses, M. Vardi (MIT Press); l'elenco completo dei testi, obbligatori e facoltativi, è nella sezione «Chi lo adotta» di questa pagina.

Qual è il prezzo migliore di Reasoning about Knowledge, R. Fagin, J. Halpern, Y. Moses, M. Vardi (MIT Press)?

Il comparatore prezzi di questa pagina mette a confronto Amazon, IBS e Libraccio, nuovo e usato: su Amazon il prezzo aggiornato è nella scheda del negozio.

Quanto tempo serve per studiare Reasoning about Knowledge, R. Fagin, J. Halpern, Y. Moses, M. Vardi (MIT Press)?

≈ 3 settimane: il tempo è calcolato sulle pagine del libro e sui crediti dell'esame.

Sei uno studente tra i 18 e i 22 anni?Con Prime Student hai 90 giorni gratis, poi Amazon Prime a soli 2,49 € al mese: consegne veloci e gratuite anche sui libri.Scopri Prime Student ›
Come leggere questi dati
Come è calcolata la difficoltà ›
Crediti (CFU)50%1 CFU = 25 ore di studio (dato ufficiale). Più crediti, più ore.
Densità di lettura50%pagine dei libri indicati divisi per i CFU (pagine dalla scheda SBN; se non note, una stima di 400 pagine a libro).

Ogni esame si confronta solo con quelli della sua area (scientifico-tecnica, umanistica, giuridico-sociale, sanitaria, economica): un esame di lettere non viene misurato con matematica. Il numero 1-10 è la posizione dell'esame nella sua area; per il libro si fa la media degli esami che lo adottano. Non contano anno di corso, laurea triennale o magistrale e lunghezza del programma: non dicono quanto si studia. È una stima del carico, non una difficoltà misurata.

Atenei e facoltà in ordine di diffusione. Per ogni esame: docente, corso di laurea, facoltà e il confronto con gli altri libri che indica.
Controlla sempre la scheda dell'esame. Le informazioni vengono dalle schede ufficiali degli atenei e possono cambiare o contenere errori: prima di acquistare verifica i testi sulla scheda ufficiale dell'esame (la trovi linkata in ogni esame) e, nel dubbio, chiedi al docente.
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.