<div dir="ltr"><p style="font-size:12.8px"><font face="arial, helvetica, sans-serif">Estimados,</font></p><p style="font-size:12.8px"><font face="arial, helvetica, sans-serif">Les agradezco la difusión del <span class="gmail-m_-7147533385902873527gmail-m_9194933881212233703gmail-il"><span class="gmail-il">anuncio</span></span> del próximo seminar<span class="gmail-m_-7147533385902873527gmail-m_9194933881212233703gmail-m_-783468885696854435gmail-m_-167443931672407118gmail-m_2645097548491923312il"><span class="gmail-m_-7147533385902873527gmail-m_9194933881212233703gmail-il">io</span></span> del Ciclo de Coloquios y <span class="gmail-m_-7147533385902873527gmail-m_9194933881212233703gmail-m_-783468885696854435gmail-m_-167443931672407118gmail-m_2645097548491923312il"><span class="gmail-m_-7147533385902873527gmail-m_9194933881212233703gmail-il"><span class="gmail-il">Seminarios</span></span></span> que se organizan el Instituto de Física La Plata y el Departamento de Física. </font></p><p style="font-size:12.8px"><span style="font-family:arial,helvetica,sans-serif;font-size:12.8px">Se adjunta el archivo para difundir en carteleras.</span></p><p style="font-size:12.8px"><span style="font-size:12.8px">Saludos cordiales,</span><br style="font-size:12.8px"><span style="font-size:12.8px">Virginia Manías</span><br style="font-size:12.8px"><span style="font-size:12.8px">Secretaria Científica del IFLP</span></p><p class="MsoNormal" align="center" style="text-align:center"><b><u><span lang="ES" style="font-family:arial,sans-serif"><br></span></u></b></p><p class="MsoNormal" align="center" style="text-align:center"><b><u><span lang="ES" style="font-family:arial,sans-serif">SEMINARIOS  DEL

IFLP y DEL DEPARTAMENTO</span></u></b></p><p class="MsoNormal" align="center" style="text-align:center"><b><u><span style="font-family:arial,sans-serif">MARTES 25 de ABRIL – 10:30 hs<span></span></span></u></b></p><p class="MsoNormal" align="center" style="text-align:center"><b><u><span lang="EN-US" style="font-family:arial,sans-serif">AULA CHICA<span></span></span></u></b></p><p class="MsoNormal" style="text-align:justify"><br></p><p class="MsoNormal"><b><u><span style="font-family:arial,sans-serif">TÍTULO</span></u></b><b><span lang="PT-BR" style="font-family:arial,sans-serif">: </span></b><b><span style="font-family:arial,sans-serif">"CÁLCULO LAMBDA y COMPUTACIÓN CUÁNTICA"</span></b><b><span style="background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"><span></span></span></b></p><p class="MsoNormal" style="background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"><span style="font-family:arial,sans-serif;color:rgb(69,69,69)"><span> </span></span></p><p class="MsoNormal" style="background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"><span style="font-family:arial,sans-serif;color:rgb(69,69,69)"><span> </span></span></p><p class="MsoNormal" style="background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"><b><u><span style="font-family:arial,sans-serif">EXPOSITOR:</span></u></b><b><span style="font-family:arial,sans-serif"> </span></b><span class="gmail-Ninguno"><b><span lang="EN-US">Dr Alejandro

Diaz-Caro</span></b></span></p><p class="MsoNormal" style="background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"><i><span lang="ES-TRAD"><font size="2">Universidad

Nacional de Quilmes<p class="MsoNormal" style="text-align:justify"><span style="font-family:arial,sans-serif"> <p class="MsoNormal" style="text-align:justify"><span style="font-family:arial,sans-serif">Resumen:<span style="font-family:arial,sans-serif"> <span lang="PT-BR" style="font-family:arial,sans-serif">En esta charla vamos a dar una rápida introducción al cálculo lambda,

un modelo de computación equivalente a las Máquinas de Turing, y su relación

con la lógica intuicionista. Luego presentaremos diferentes extensiones al

cálculo lambda para computación cuántica, en sus dos paradigmas: el paradigma

de control clásico y datos cuánticos, orientado principalmente a estudiar

propiedades en los lenguajes de programación para la computadora cuántica, y el

paradigma de control y datos cuánticos, orientado a estudiar las consecuencias

lógicas de la computación cuántica desde un punto de vista computacional.<span></span></span></p><p class="MsoNormal" align="center" style="text-align:center">

</p><p class="MsoNormal" style="text-align:justify;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"><span lang="PT-BR" style="font-family:arial,sans-serif;color:black"><span> </span></span></p><p class="MsoNormal" align="center" style="text-align:center"><b><u><span lang="ES" style="font-family:arial,sans-serif"><br></span></u></b></p><p class="MsoNormal" align="center" style="text-align:center"><b><u><span lang="ES" style="font-family:arial,sans-serif"><br></span></u></b></p><p class="MsoNormal" align="center" style="text-align:center"><b><u><span lang="ES" style="font-family:arial,sans-serif"><br></span></u></b></p><p class="MsoNormal" align="center" style="text-align:center"><br></p><p class="MsoNormal" style="text-align:justify"> <br></p></div>