Libri UniversitariZoom 100%
Libri Universitari › Modal Logic, P. Blackburn, M. de Rijke, Y. Venema (Cambridge University Press)

Modal Logic, P. Blackburn, M. de Rijke, Y. Venema (Cambridge University Press)

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

Scheda libro

Titolo
Modal Logic, P. Blackburn, M. de Rijke, Y. Venema (Cambridge University Press)
Pagine
n.d.
Tipo
Manuale universitario
Studio
≈ 3 settimane

Cosa si studia con questo libro Modal Logic, P. Blackburn, M. de Rijke, Y. Venema (Cambridge University Press): di cosa parla

Modal Logic, di P. Blackburn, M. de Rijke e Y. Venema, è un testo di logica modale: lo studio di formalismi che permettono di ragionare su ciò che è necessario, possibile, conosciuto o creduto. La logica modale ha applicazioni in informatica, linguistica e filosofia, perché descrive in modo rigoroso strutture di relazioni, stati e transizioni. Interessa a chi segue logica e ragionamento, in particolare nella parte dedicata ai linguaggi formali e alla loro semantica. Presuppone una buona conoscenza della logica classica e di nozioni matematiche di base, e conduce verso temi di teoria dei modelli e di completezza delle teorie.

Dove acquistarlo Modal Logic, P. Blackburn, M. de Rijke, Y. Venema (Cambridge University 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 Modal Logic, P. Blackburn, M. de Rijke, Y. Venema (Cambridge University Press): esami, corsi di laurea e docenti che lo indicano

Sapienza 1 facoltà · 1 esame

Modal Logic, P. Blackburn, M. de Rijke, Y. Venema (Cambridge University 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
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
Vai all’analisi del libro →

Domande frequenti su Modal Logic, P. Blackburn, M. de Rijke, Y. Venema (Cambridge University Press)

Per quale esame serve Modal Logic, P. Blackburn, M. de Rijke, Y. Venema (Cambridge University 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 Modal Logic, P. Blackburn, M. de Rijke, Y. Venema (Cambridge University Press); l'elenco completo dei testi, obbligatori e facoltativi, è nella sezione «Chi lo adotta» di questa pagina.

Qual è il prezzo migliore di Modal Logic, P. Blackburn, M. de Rijke, Y. Venema (Cambridge University 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 Modal Logic, P. Blackburn, M. de Rijke, Y. Venema (Cambridge University 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.