Aquest 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 informtica. A partir de la justificaci de la necessitat d'un model formal de computaci, es presenta el model de mquina 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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.