Libri UniversitariApri il catalogo

Prof. Guido Gherardi

Alma Mater Studiorum - Università di Bologna · Studi umanistici · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Guido Gherardi

Materie del prof. Guido Gherardi

Logica A-L

Corso di laurea: Filosofia · Laurea triennale (L-5) · 1º anno · annuale · 12 CFU

Bologna · Studi umanistici · 12 CFU · apri nel catalogo · Filosofia · 1º anno · canale A-L ›

A queste vanno affiancati i capitoli 2Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • Il materiale primario per la preparazione dell'esame è costituito dalle dispense fornite del docente.
  • Per chi non potrà frequentare è previsto anche lo studio dei capitoli 5,7,8,9 di tale volume.

Argomenti del programma: Scopo del corso è quello di fornire gli strumenti di base per la conoscenza della logica formale come scienza del ragionamento. L'utilizzo di strumenti formali consente infatti un maggior rigore nello studio e nelle analisi delle argomentazioni. Verranno forniti strumenti per lo studio della logica formale classica.

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

Logica (1) (Lm) Canale unico

Corso di laurea: Scienze filosofiche · Laurea magistrale (LM-78) · 1º anno · annuale · Percorsi e forme della filosofia · 6 CFU / esame facoltativo · 6 CFU

Bologna · Studi umanistici · 6 CFU · apri nel catalogo · Scienze filosofiche · 1º anno ›

algoritmi, logica, calcolatori, di M. Frixione, D. Palladino,Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • Dispense fornite dal Docente.

Argomenti del programma: COMPUTABILITÀ E DIMOSTRABILITÀ Nel corso verranno affrontate le nozioni di computabilità ed algoritmo, anche in relazione ai metodi di dimostrazione logici. Le nozioni di computabilità ed algoritmo sono fondamentali nella società contemporanea e siamo costantemente sottoposti allo svolgimento di processi computazionali, effettuati da agenti umani o elettronici.

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

Logica (2) (Lm) Canale unico

Corso di laurea: Scienze filosofiche · Laurea magistrale (LM-78) · esame facoltativo · 6 CFU

Bologna · Studi umanistici · 6 CFU · apri nel catalogo · Scienze filosofiche · 2º anno ›

George Boole – An Investigation of the Laws of Thought,…Cerca su Amazon ›Da studiare: Capp. I-VII, XXIIVerificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • Dispense del Docente disponibili on line.
  • Per chi non potrà frequentare è previsto anche lo studio del capitolo X de "La Logica e la sua Storia" di Robert Blanché.

Argomenti del programma: PENSIERO COME CALCOLO IN GEORGE BOOLE L'utopia del trattamento dei ragionamenti mediante calcoli risale per lo meno a Thomas Hobbes (1588-1679), per il quale ragionare significava calcolare. Aldilà dello slogan hobbesiano, significativi progressi in tale direzione furono compiuti da Gottfried Wilhelm von Leibniz (1646-1716), ma è con George Boole (1815-1864) che si arriva alla prima esposizione sistematica di un…

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. Guido Gherardi per Logica?

A queste vanno affiancati i capitoli 2

Quali libri consiglia il prof. Guido Gherardi per Logica (1) (Lm)?

algoritmi, logica, calcolatori, di M. Frixione, D. Palladino,

Quali libri consiglia il prof. Guido Gherardi per Logica (2) (Lm)?

George Boole – An Investigation of the Laws of Thought,…