Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = 'l9vpdt2evispnq05a54lnlld40' in /var/www/church/includes/database.mysql.inc on line 121
Unità di ricerca - CONCERTo | Gruppo di Logica e Geometria della Cognizione

Unità di ricerca - CONCERTo

Università, Istituzione:
Università Roma Tre
Dipartimento, Laboratorio:
Dipartimento di Filosofia
Homepage:
Responsabile scientifico:
Lorenzo Tortora de Falco
Email:
Telefono:
+390654577415
Descrizione:

L'obiettivo dell'Unità di ricerca di Roma Tre è di operare un cambio di prospettiva nella semantica denotazionale.

Lo scopo generale di quest'area di ricerca è di descrivere le proprietà operazionali concrete dell'esecuzione e dei programmi con proprietà astratte ed algebriche. Vogliamo muovere il centro dell'attenzione dall'esecuzione e la correttezza dei programmi al tempo d'esecuzione e la correttezza dell'interazione tra i programmi e gli ambienti.

Dopo la scoperta della Logica Lineare (LL) e svariati anni di lavoro fondazionale sugli strumenti matematici che LL ha introdotto, sembra che abbiamo ora la possibilità di attaccare con potenti strumenti astratti l'intima natura della computazione a complessità limitata e dell'interazione tra programmi e ambienti (due argomenti centrali della ricerca informatica).

Presentazione del progetto dell'unità di Roma Tre



Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = 'l9vpdt2evispnq05a54lnlld40' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/270', '', '216.73.216.58', 1751637077) in /var/www/church/includes/database.mysql.inc on line 121