Show simple item record

dc.contributor.authorSerna Iglesias, María José
dc.contributor.authorÁlvarez Faura, M. del Carme
dc.contributor.authorCases Muñoz, Rafel
dc.contributor.authorLozano Bojados, Antoni
dc.date.accessioned2013-12-10T07:16:03Z
dc.date.available2013-12-10T07:16:03Z
dc.date.issued2001
dc.identifier.isbn9788498801026
dc.identifier.urihttp://hdl.handle.net/2099.3/36237
dc.description.abstractAquest text presenta una introducció a les teories de la calculabilitat i la complexitat a l'abast d'un estudiant de primer cicle d'una enginyeria informàtica. A partir de la justificació de la necessitat d'un model formal de computació, es presenta el model de màquina de Turing. S'hi introdueixen els conceptes i les eines que calen per classificar problemes segons el grau de dificultat computacional i, en particular, per determinar si un problema és indecidible o si és NP-complet.
dc.format.extent265 p.
dc.language.isocat
dc.publisherEdicions UPC
dc.relation.ispartofseriesAula politècnica ; 60
dc.relation.urihttp://cataleg.upc.edu/record=b1227558
dc.subjectÀrees temàtiques de la UPC::Informàtica::Informàtica teòrica
dc.titleEls Límits de la computació : indecidibilitat i NP-completesa
dc.typeBook
dc.subject.lemacAutòmats finits
dc.subject.lemacLingüística computacional
dc.subject.lemacProgramació (Ordinadors)
dc.subject.lemacLlenguatges formals
dc.subject.lemacComplexitat computacional
dc.rights.accessRestricted access to the UPC academic community
dc.audience.educationlevelGrau
dc.audience.mediatorUniversitat Politècnica de Catalunya. Facultat de Matemàtiques i Estadística
dc.audience.mediatorFacultat d'Informàtica de Barcelona
dc.audience.degreeGRAU EN ENGINYERIA INFORMÀTICA (Pla 2010)
dc.audience.degreeGRAU EN MATEMÀTIQUES (Pla 2009)
dc.identifier.cupcb1227558x
dc.audience.courseTEORIA DE LA COMPUTACIÓ - 270026


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record