https://www.glc.us.es/~jalonso/SLC2018/api.php?action=feedcontributions&feedformat=atom&user=Mjoseh 2026-07-19T00:48:44Z Contribuciones del usuario MediaWiki 1.31.0 https://www.glc.us.es/~jalonso/SLC2018/index.php?title=Temas&diff=36 2018-02-26T12:03:00Z

<p>Mjoseh: /* Temas de Seminario de lógica computacional (2018) */</p> <hr /> <div>== Temas de &#039;&#039;Seminario de lógica computacional (2018)&#039;&#039; ==<br /> <br /> En esta página se irán publicando los temas conforme se vayan estudiando.<br /> <br /> * Tema 0: Introducción al Seminario <br /> ** [http://www.seas.upenn.edu/~cis500/current/lectures/lec01.pdf Introducción de B. Pierce al curso &quot;Software foundations&quot;].<br /> ** [https://softwarefoundations.cis.upenn.edu/lf-current/Preface.html Introducción del libro &quot;Software foundations&quot;].<br /> * Tema 1: Programación funcional en Coq<br /> ** [https://softwarefoundations.cis.upenn.edu/lf-current/Basics.html Texto], [http://www.seas.upenn.edu/~cis500/current/sf/lf-current/Basics.v Código], [[Tema 1 |Exposición]], [[R1 |Enunciado de ejercicios]] y [[Relación 1 | Solución colaborativa]].<br /> <br /> === Ponentes ===<br /> <br /> Los ponentes de las próximas sesiones serán<br /> * Ángel Ruiz Campos<br /> * Alejandro Rodríguez Rodríguez<br /> <br /> === Participantes === <br /> <br /> Los participantes en el Seminario son<br /> * Alejandro Rodriguez Rodríguez <br /> * Ángel Ruiz Campos<br /> * Borja Sierra Miranda<br /> * Elías Guisado Villalgordo<br /> * Jorge Catarecha Otero-Saavedra <br /> * Marina Jiménez Comez<br /> * Mencía Veas Lerdo de Tejada<br /> * Miriam Medrán Navarro<br /> * Samuel Ortiz Morales</div>

Mjoseh