Logiche booleane minimali e teorema di Post. Un linguaggio di programmazione 'a registri' Turing-completo. (20 marzo 2019, h.14-16, aula 5A)
Schema della sezione
Proseguire nella lettura dei lucidi "Cos'è una logica?" del 6 marzo scorso, della dispensa associata agli stessi e del Capitolo 1 delle `Lecture Notes in Logic' di Davis del 1993.
