Il workshop “Proof, Argumentation, Computation, Modalities and Negation (PACM/\N)”, è in programma dal 20 al 22 marzo nella Sala verde di Cà Vignal 3.
Questo workshop esplora l'intricata relazione tra dimostrazione, argomentazione, computazione, modalità e negazione. I partecipanti investigheranno la costruzione di dimostrazioni valide, i principi dell'argomentazione e il ruolo della computazione nella formalizzazione delle strutture logiche. Il programma strutturato, composto da presentazioni di esperti e discussioni interattive, offre un contesto formale per i partecipanti per approfondire la comprensione dei concetti fondamentali nei domini interdisciplinari della logica, della matematica, dell'informatica, della filosofia e della linguistica.
Per maggiori informazioni visitate il sito
Strada le Grazie 15
37134 Verona
VAT number01541040232
Italian Fiscal Code93009870234
© 2024 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********p>