Libri Universitari › Elements of Finite Model Theory, L. Libkin (https://homepages.inf.ed.ac.uk/libkin/fmt/fmt.pdf)
Elements of Finite Model Theory, L. Libkin (https://homepages.inf.ed.ac.uk/libkin/fmt/fmt.pdf)
6.6 / 10
Difficoltà medio
1 facoltà
lo adottano, in 1 ateneo1 docente · 1 corso di laurea
Scheda libro
Titolo
Elements of Finite Model Theory, L. Libkin (https://homepages.inf.ed.ac.uk/libkin/fmt/fmt.pdf)
Pagine
n.d.
Tipo
Manuale universitario
Studio
≈ 3 settimane
Cosa si studia con questo libro Elements of Finite Model Theory, L. Libkin (https://homepages.inf.ed.ac.uk/libkin/fmt/fmt.pdf): di cosa parla
Elements of Finite Model Theory di Leonid Libkin è un testo in inglese che collega la logica matematica con l'informatica teorica. Considera la logica sulle strutture finite, un ambito diverso dalla logica classica pensata per modelli infiniti, e ne mostra il legame con i linguaggi di interrogazione dei database e con la complessità computazionale. Il libro si indirizza a chi studia logica e ragionamento in ambito informatico o matematico e ha bisogno di strumenti formali per esprimere e analizzare proprietà di strutture finite come grafi e basi di dati.
Dove acquistarlo Elements of Finite Model Theory, L. Libkin (https://homepages.inf.ed.ac.uk/libkin/fmt/fmt.pdf): prezzo nuovo e usato su Amazon, IBS e Libraccio
Chi lo adotta Elements of Finite Model Theory, L. Libkin (https://homepages.inf.ed.ac.uk/libkin/fmt/fmt.pdf): esami, corsi di laurea e docenti che lo indicano
Sapienza 1 facoltà · 1 esame
Elements of Finite Model Theory, L. Libkin (https://homepages.inf.ed.ac.uk/libkin/fmt/fmt.pdf) a Sapienza: Logics And Reasoning, prof. Perelli
Facoltà: Ingegneria dell'informazione, informatica e statistica
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.
Domande frequenti su Elements of Finite Model Theory, L. Libkin (https://homepages.inf.ed.ac.uk/libkin/fmt/fmt.pdf)
Per quale esame serve Elements of Finite Model Theory, L. Libkin (https://homepages.inf.ed.ac.uk/libkin/fmt/fmt.pdf)?
È 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 Elements of Finite Model Theory, L. Libkin (https://homepages.inf.ed.ac.uk/libkin/fmt/fmt.pdf); l'elenco completo dei testi, obbligatori e facoltativi, è nella sezione «Chi lo adotta» di questa pagina.
Qual è il prezzo migliore di Elements of Finite Model Theory, L. Libkin (https://homepages.inf.ed.ac.uk/libkin/fmt/fmt.pdf)?
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 Elements of Finite Model Theory, L. Libkin (https://homepages.inf.ed.ac.uk/libkin/fmt/fmt.pdf)?
≈ 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 datiCome è calcolata la difficoltà ›
Crediti (CFU)
50%
1 CFU = 25 ore di studio (dato ufficiale). Più crediti, più ore.
Densità di lettura
50%
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.
Questo sito usa solo strumenti tecnici (nessun cookie di profilazione). I link ai negozi sono link di affiliazione. Cookie policy · Privacy
Libri UniversitariZoom 100%