View subject

13069 Computability Theory

Models logicomatemàtics de la computació. Funcions computables i recursives de Church. Complexitat computacional. Problemes indicibles i intractables.

Credits
Theory credits	Créditos Prácticas	Total credits
3	2	5

Degree	Name	Objective	Year	Type	More information
413	Computational Sciences Engineering	Segundo Ciclo de Ingeniero en Informática	4	Optional	Program	Ficha técnica	O.C.A. 24
		Segundo Ciclo de Ingeniero en Informática	5	Optional	Program	Ficha técnica	O.C.A. 24
418	Computational Sciences and Telematics Engineering	PROGRAMA DOBLE TÍTULO ING.INFORMÁTICA+IT.TELECO.TELEMÁTICA	4	Optional	Program	Ficha técnica	O.C.A. 24