{"id":348,"date":"2018-05-09T01:13:35","date_gmt":"2018-05-09T01:13:35","guid":{"rendered":"http:\/\/admin200486010878.com.ar\/clientes\/icc\/?page_id=348"},"modified":"2021-06-15T08:48:10","modified_gmt":"2021-06-15T11:48:10","slug":"teoria-de-la-computacion","status":"publish","type":"page","link":"https:\/\/icc.fcen.uba.ar\/en\/teoria-de-la-computacion\/","title":{"rendered":"Teor\u00eda de la Computaci\u00f3n"},"content":{"rendered":"

<\/span><\/div><\/div>

TEOR\u00cdA DE LA COMPUTACI\u00d3N<\/h1><\/div>
<\/div><\/div><\/div><\/div><\/div>

La teor\u00eda de la computaci\u00f3n se ocupa de determinar qu\u00e9 problemas pueden ser resueltos computacionalmente y con qu\u00e9 eficiencia. La teor\u00eda considera distintos modelos de c\u00f3mputo, como los aut\u00f3matas finitos (que son los m\u00e1s sencillos), las m\u00e1quinas de Turing (que son las computadoras usuales de hoy en d\u00eda) y las computadoras cu\u00e1nticas (cuyo funcionamiento no es digital). Las l\u00f3gicas y los lenguajes formales juegan un rol central en la teor\u00eda de la computaci\u00f3n porque permiten expresar propiedades de los programas y razonar sobre su comportamiento. La teor\u00eda de la computaci\u00f3n tambi\u00e9n se encarga de entender el l\u00edmite entre los problemas computables y los no-computables y, dentro del mundo de lo computable, clasificarlos de acuerdo a su grado de simpleza o dificultad.<\/span><\/p>\n

En particular, estudiamos l\u00f3gicas con buen comportamiento computacional, como las l\u00f3gicas modales, tanto desde el punto de vista de la teor\u00eda de modelos como desde el de la teor\u00eda de prueba. Analizamos lenguajes eficientes de consultas que permiten razonar sobre distintas estructuras de representaci\u00f3n del conocimiento. A un nivel m\u00e1s abstracto, investigamos las propiedades te\u00f3ricas de los sistemas de reescritura y los modelos de c\u00f3mputo fuertes, como el c\u00e1lculo lambda. A la inversa, estudiamos modelos de c\u00f3mputo d\u00e9biles, como los aut\u00f3matas finitos y sus numerosas variantes. Nos ocupamos tambi\u00e9n de la noci\u00f3n de aleatoriedad en relaci\u00f3n a los distintos modelos de c\u00f3mputo y a los \u00a0grados de dificultad de los problemas. Por \u00faltimo, introducimos nociones provenientes de la teor\u00eda de funciones computables y de la teor\u00eda de la aleatoriedad en el procesamiento cu\u00e1ntico de la informaci\u00f3n y en algunos modelos computacionales que intentan explicar ciertas caracter\u00edsticas de la cognici\u00f3n humana.<\/span><\/p>\n

Keywords: L\u00f3gicas Modales, Complejidad, Cu\u00e1ntica<\/strong><\/span><\/p>\n<\/div>

<\/div><\/div><\/div><\/div><\/div>

Grupos.<\/span><\/h2><\/div>
<\/div>
<\/div><\/div>
<\/div>
\"\"<\/div>

LoReL: L\u00f3gica y Reescritura para Lenguajes de Programaci\u00f3n<\/h2><\/a><\/div>
<\/div>+ info<\/a>
<\/div><\/div><\/div>
\"\"<\/div>

KAPOW<\/h2><\/a><\/div>
<\/div>+ info<\/a>
<\/div><\/div><\/div>
\"\"<\/div>

QuICC: Quantum Information, Computation, and Communication<\/h2><\/a><\/div>
<\/div>+ info<\/a>
<\/div><\/div><\/div>
\"\"<\/div>

L\u00f3gica y Computabilidad<\/h2><\/a><\/div>
<\/div>+ info<\/a>
<\/div><\/div><\/div>
<\/div><\/div>
<\/div><\/div><\/div>
<\/span><\/div><\/div><\/div><\/div>
<\/div><\/div><\/div><\/div><\/div>
<\/div>
<\/div><\/div>
<\/div>
\n

Investigadores Consolidados<\/h2>
<\/a><\/div>
Abriola, Sergio<\/div><\/div>
<\/a><\/div>
Alvarez, Nicol\u00e1s<\/div><\/div>
<\/a><\/div>
Barenbaum, Pablo<\/div><\/div>
<\/a><\/div>
Becher, Veronica Andrea<\/div><\/div>
<\/a><\/div>
Bellomo, Guido<\/div><\/div>
<\/a><\/div>
Bendersky, Ariel Mart\u00edn<\/div><\/div>
<\/a><\/div>
Bosyk, Gustavo Mart\u00edn<\/div><\/div>
<\/a><\/div>
Figueira, Santiago<\/div><\/div>
<\/a><\/div>
LOSADA, Marcelo Adri\u00e1n<\/div><\/div>
<\/a><\/div>
Melgratti, Hernan Claudio<\/div><\/div>
<\/a><\/div>
Turjanski, Pablo<\/div><\/div>

Investigadores en Formaci\u00f3n<\/h2>
<\/a><\/div>
CIANCAGLINI, Nicol\u00e1s<\/div><\/div>
<\/a><\/div>
Cifuentes, Santiago<\/div><\/div>
<\/a><\/div>
GOREN, Gabriel<\/div><\/div>
<\/a><\/div>
Ivnisky, Malena<\/div><\/div>
<\/a><\/div>
LERENA, Leopoldo<\/div><\/div>
<\/a><\/div>
Lew Deveali, Simon<\/div><\/div>
<\/a><\/div>
MAINE CALZADO, Enaide<\/div><\/div>
<\/a><\/div>
Mollo Cunningham, Ignacio Agustin<\/div><\/div>
<\/a><\/div>
Schitter, Tom\u00e1s Jos\u00e9<\/div><\/div><\/section><\/div>\n\n\n\t\t\t\n\n\t\t\t\n\n\n\t\n\t\n\t
\t\t\t
\n<\/div>\n\t\t<\/div>
<\/div><\/div>
<\/div><\/div><\/div><\/div><\/div>

M\u00e1s informaci\u00f3n del \u00e1rea<\/span>.<\/span><\/h1><\/div>