Logica e calcolo 2018/2019

Main

Slides

Schedule

Reports

• Calcolatori digitali allo stato liquido — Lorenzo Breschi
• Un esempio di interconnessione tra formalismi di calcolo e la logica. Il lambda-calcolo — Francesco Camilli, Teresa Signati
• Automated Theorem Provers. An introduction — Alessio Catanzaro
• Programmazione Logica. Principi di funzionamento, parallelismo e applicazione ai sistemi distribuiti — Lorenzo Di Lella
• Delegation logic: a logic based approach to authorization — Sofia Farina
• Home Automation using Logic Programming as a Service / with code — Giacomo Gaddoni
• L’equilibrio economico: ottimizzazione convessa e teorema del punto fisso — Martino Kuntze
• Sulla quantificabilità del rischio — Chiara Lattanzi
• Le macchine di Turing. Definizione, decidibilità e varianti — Antonio Marini
• Applicazione della programmazione logica nel drug design — Alessio Melli
• Il Test di Turing. Breve analisi e commento — Carlo Emilio Montanari
• Natural computing e implementazione logica degli esperimenti — Leonardo Morini
• Assiomatizzazione della matematica a inizio ‘900 — Lorenzo Obersnel
• La macchina di Turing e la tesi di Church — Andrea Pari
• Visual programming languages and logic programming — Beatrice Vaienti
• La macchina di Turing — Andrea Policarpi
• La programmazione logica come strumento per il processamento del linguaggio naturale (NLP) — Lorenzo Rosa
• Tempi di apprendimento di tre algoritmi di logica induttiva a confronto — Francesco Taurone
• From Entscheidungsproblem to Turing Machine — Matteo Teruggi
• Programmazione logica e Medicina — Stefano Puligheddu