Metodi Quantitativi per le Scienze Economiche ed Aziendali

AREA INFORMATICA
Titolo: “Dimostrazione automatica di teoremi con metodi indiretti”
Componenti: UGO MOSCATO, Alessandro Avellone, Guido Fiorino
I presupposti di questa ricerca vanno ricercati nei lavori dei proponenti che da anni si occupano
della dimostrazione automatica di teoremi in stile tableau. Dopo avere implementato un dimostratore
automatico di teoremi i proponenti, utilizzando il parallelismo insito nelle dimostrazioni indirette
a tableau, hanno implementato una versione parallela del package già esistente. La versione
sequenziale, PITP, è stata ottimizzata e testata nella libreria di formule ILTP. In questo momento PITP
è il dimostratore automatico che risolve il maggior numero di formule.
AREA LINGUE STRANIERE
Titolo: “Aspetti della cultura aziendale: approfondimento
dell’utilizzo di registri specialistici”
Componenti: PAOLA TORNAGHI, Patricia Ann Kennan, Angela Tiziana Tarantini
La ricerca si proponeva (e continua a farlo) di raccogliere e analizzare testi specialistici nell’ambito
delle discipline economico-aziendali, giuridiche e storico-culturali. Tali testi sono tratti sia da giornali,
riviste, rubriche di settore, saggi, comunicati stampa, lettere agli azionisti, sia da siti internet e sia
da fonti storiche e socio-culturali. L’analisi dei suddetti testi si sviluppa dal punto di vista linguistico,
testuale e comunicativo, in una prospettiva diacronica e sincronica nel tentativo di mettere in luce
non solo che i fenomeni linguistici sono prodotti sociali perché la lingua è parte integrante della
società ed è specchio della sua cultura, ma anche e soprattutto di migliorare la consapevolezza
delle diversità che connotano i vari registri.
Il metodo seguito è quello ormai consolidato: si procede dalle strategie di lettura per poi passare a
quelle testuali attraverso una attenta indagine:
– delle componenti lessicali (word-formation processes, use of synonyms, use of alliteration,
use of similies, use of metaphors, variation, puns, wordplays);
– delle componenti morfosintattiche e pragmatiche (previsione, futurità, temporalità, ordine
delle parole, uso dei modali, dei pronomi, uso e posizione di aggettivi e avverbi) e della
tipologia testuale.
A seconda delle dimensioni del corpus si intende eseguire un’analisi quantitativa e qualitativa con
l’utilizzo di software adeguati (Wordsmith 4).
34 Dipartimento di Metodi Quantitativi per le Scienze Economiche ed Aziendali