Traduzione appunti Giunchi

Traduzione insieme a chat GPT degli appunti di Giunchiglia AA 2023/24

Installazione

Ho usato MiKTeX su MacBook con Vscode, estensione LateX Workshop. File unico qui. Pdf generato qui.

Tutorial qui.

Con Miketex o anche altri:

pdflatex logica.tex 

TODO

Ancora da sistemare:

• Capitolo 1
• Capitolo 2
• Parte finale capitolo 4
• Capitoli 9, 10 (precedenza)
• sistemare i grassetti e i mathcal vari