Libri UniversitariZoom 100%
Libri Universitari › A concise introduction to Mathematical Logic, W. Rautenberg (Springer 2006)

A concise introduction to Mathematical Logic, W. Rautenberg (Springer 2006)

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

Scheda libro

Titolo
A concise introduction to Mathematical Logic, W. Rautenberg (Springer 2006)
Pagine
n.d.
Tipo
Manuale universitario
Studio
≈ 3 settimane

Cosa si studia con questo libro A concise introduction to Mathematical Logic, W. Rautenberg (Springer 2006): di cosa parla

A Concise Introduction to Mathematical Logic, di Wolfgang Rautenberg, è un manuale in inglese di logica matematica: linguaggi formali, logica proposizionale e del primo ordine, dimostrazioni, modelli e risultati di completezza e incompletezza. Il tono è rigoroso ma sintetico. Lo adoperano studenti di informatica, matematica e filosofia della scienza che affrontano il ragionamento formale e hanno bisogno di basi precise, sia per proseguire con la teoria della computazione sia per gli aspetti più sottili della logica, come la teoria dei modelli.

Dove acquistarlo A concise introduction to Mathematical Logic, W. Rautenberg (Springer 2006): 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 A concise introduction to Mathematical Logic, W. Rautenberg (Springer 2006): esami, corsi di laurea e docenti che lo indicano

Sapienza 1 facoltà · 1 esame

A concise introduction to Mathematical Logic, W. Rautenberg (Springer 2006) 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
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
Vai all’analisi del libro →

Domande frequenti su A concise introduction to Mathematical Logic, W. Rautenberg (Springer 2006)

Per quale esame serve A concise introduction to Mathematical Logic, W. Rautenberg (Springer 2006)?

È 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 A concise introduction to Mathematical Logic, W. Rautenberg (Springer 2006); l'elenco completo dei testi, obbligatori e facoltativi, è nella sezione «Chi lo adotta» di questa pagina.

Qual è il prezzo migliore di A concise introduction to Mathematical Logic, W. Rautenberg (Springer 2006)?

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 A concise introduction to Mathematical Logic, W. Rautenberg (Springer 2006)?

≈ 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.