Caríssimos, mais um seminário do LoLITA, desta vez:
* Uma Introdução ao Lambda Cálculo Emmanuelly Monteiro (PPgSC-UFRN) Local: Auditório do CCET Dia: 15-Out-10 Horário: 09:00hs Resumo: Este seminário visa introduzir os conceitos e principais caracteristicas do formalismo proposto por Alonzo Church, o λ-Cálculo; suas regras de substituição, β-redução e β-igualdade. Além disso, enfoca-se a equivalência com as máquinas de Turing através das funções recursivas parciais e uma breve relação com linguagens de programação procedural (Algol 60) e funcional. Regivan * -- ****************************************************************************** Prof. Dr. Regivan Hugo Nunes Santiago Group of Logic, Language, Information, Theory and Applications - LoLITA Department of Informatics and Applied Mathematics - DIMAp Federal University of Rio Grande do Norte - UFRN Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil Phone: +55 84 3215-3814 Ext. 228 Fax: +55 84 3215-3813 http://www.dimap.ufrn.br/~regivan e-mail: regivan AT DOMAIN=dimap,ufrn,br. ****************************************************************************** _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
