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

Libro adottato a Bologna, a.a. 2026/2027 · 1 canale

«algoritmi, logica, calcolatori, di M. Frixione, D. Palladino,» è adottato per Logica (1) (Lm) dal prof. Guido Gherardi (Scienze filosofiche – Bologna).

algoritmi, logica, calcolatori, di M. Frixione, D. Palladino,Cerca su Amazon ›

Come lo indica il docente: algoritmi, logica, calcolatori", di M. Frixione, D. Palladino, Carocci Editore

Chi lo adotta

Logica (1) (Lm) – Prof. Guido Gherardi (canale unico)Scienze filosofiche · Laurea magistrale (LM-78) · 1º anno · annuale · Percorsi e forme della filosofia · 6 CFU / esame facoltativo · 6 CFU

Programma e testi di ogni canale

Logica (1) (Lm) – Prof. Guido Gherardi 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 ›

Il docente indica 1 testo

algoritmi, logica, calcolatori, di M. Frixione, D. Palladino,questo libroCerca 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.