Complejidad y computabilidad desde un punto de vista lógico

Simple item page
dc.centroE.T.S.I. Informáticaes_ES
dc.contributor.authorSciavicco, Guido
dc.date.accessioned2017-04-28T12:21:24Z
dc.date.available2017-04-28T12:21:24Z
dc.date.created2017
dc.date.issued2017-04-28
dc.departamentoMatemática Aplicada
dc.description.abstractEn esta charla trataremos temas clasicos de complejidad y computabilidad visto desde un punto de vista lógico. En particular, veremos como a cada clase de complejidad corresponde, en general, un problema de satisfiactibilidad de fórmulas de un lenguaje lógico concreto, mostrando así como la jerarquía computacional es, en efecto, una jerarquía lógica. Trataremos entonces los teorema de Goedel, de Cook, y otros teoremas clasicos desde un nuevo punto de vista.es_ES
dc.description.sponsorshipUniversidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.es_ES
dc.identifier.urihttp://hdl.handle.net/10630/13524
dc.language.isospaes_ES
dc.relation.eventdate19/06/2017es_ES
dc.relation.eventplaceMálagaes_ES
dc.relation.eventtitleConferencia: Complejidad y computabilidad desde un punto de vista lógicoes_ES
dc.rightsby-nc-nd
dc.rights.accessRightsopen accesses_ES
dc.subjectMatemáticas computacionaleses_ES
dc.subject.otherComplejidades_ES
dc.subject.otherLógicaes_ES
dc.subject.otherComputaciónes_ES
dc.subject.otherMatemática aplicadaes_ES
dc.titleComplejidad y computabilidad desde un punto de vista lógicoes_ES
dc.typeconference outputes_ES
dspace.entity.typePublication

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
CharlaGS.pdf
Size:
86.32 KB
Format:
Adobe Portable Document Format
Description:
Download

Collections

Ponencias, Comunicaciones a congresos y Pósteres