|
|
|
 |
 |
|
| |
Notiziario Marketpress di
Lunedì 29 Novembre 2010 |
|
| |
|
|
| |
8ª CONFERENZA INTERNAZIONALE SULLA TEORIA DELLA COMPUTABILITÀ E DELLA COMPLESSITÀ IN ANALISI,
|
|
| |
|
|
| |
Città del Capo, 29 novembre 2010 - L´8ª conferenza internazionale sulla teoria della computabilità e della complessità in analisi si terrà dal 31 gennaio al 4 febbraio 2011 a Città del Capo, in Sudafrica. La teoria della computabilità e della complessità sono due aree centrali della ricerca nel campo della logica matematica e dell´informatica teorica. La prima è lo studio delle limitazioni e delle capacità dei computer in linea di principio. La teoria della complessità computazionale, invece, fornisce una struttura per comprendere il costo della risoluzione di problemi computazionali, misurato in base alla necessità di risorse quali tempo e spazio. L´approccio classico in queste due aree è quello di considerare gli algoritmi come operanti su sequenze finite di simboli provenienti da un alfabeto finito. Queste sequenze possono rappresentare vari oggetti discreti come numeri interi o espressioni algebriche, ma non possono rappresentare comuni numeri reali o complessi, a meno che questi non vengano arrotondati. Tuttavia, la maggior parte dei modelli matematici in fisica e in ingegneria sono basati sul concetto del numero reale. Pertanto, sono necessarie una teoria della computabilità e una teoria della complessità sui numeri reali e sulle più generiche strutture di dati continui. Nonostante i notevoli progressi compiuti negli ultimi anni, molti importanti problemi fondamentali non sono stati ancora studiati, e numerosi risultati inaspettati e sorprendenti dovranno probabilmente ancora essere scoperti. Gli scienziati al lavoro nel campo del calcolo su dati con valori reali provengono da settori diversi, come informatica teorica, teoria degli ordini, logica, matematica costruttivista, aritmetica informatica, matematica numerica e tutti i settori dell´analisi. La conferenza rappresenterà un´opportunità per persone provenienti da aree così diverse di incontrarsi, presentare il lavoro in corso e scambiarsi idee e conoscenza. Per ulteriori informazioni, visitare: http://cca-net.De/cca2011/ |
|
| |
|
|
| |
<<BACK |
|
|
|
|
|
|
|
