Assignatures : Itinerari recomanat - Pla docent - Horaris, professorat, avaluació ...

Facultat de Filosofia

LÒGICA PURA I APLICADA

Curs: 2021-2022 Assignatures : Itinerari recomanat - Pla docent - Horaris, professorat, avaluació ...

Itinerari

Codi

Assignatura

Crèdits

Pla docent

Horaris, avaluació, llengua...

1r Curs
	2n Semestre	569060	LÒGICA MATEMÀTICA	6	--	--	PRIMAVERA
	2n Semestre	569061	TEORIA BÀSICA DE MODELS	6	--	--	PRIMAVERA

2n Curs
2n Curs	Anual	569062	TREBALL FINAL DE MÀSTER	20	Pla docent	--	PRIMAVERA

1r Curs
	1r Semestre	569067	ORDRES, RETICLES I ÀLGEBRES DE BOOLE	5	--	TARDOR	--

	2n Semestre	569077	COMPLEXITAT COMPUTACIONAL	6	Pla docent	--	PRIMAVERA
		569064	EL DESENVOLUPAMENT DE LA LÒGICA FORMAL	5	--	--	PRIMAVERA
		569066	LÒGICA ALGEBRAICA	5	--	--	PRIMAVERA
		569068	TEORIA COMBINATÒRIA DE CONJUNTS	5	--	--	PRIMAVERA

2n Curs
	1r Semestre	569073	LÒGICA ALGEBRAICA ABSTRACTA	5	Pla docent	TARDOR	--
		569069	LÒGIQUES MULTIVALORADES	5	Pla docent	TARDOR	--
		569075	TEORIA AVANÇADA DE MODELS	5	Pla docent	TARDOR	--
		569076	TEORIA DE LA DEMOSTRACIÓ I DEMOSTRACIÓ AUTOMÀTICA	5	Pla docent	TARDOR	--

	2n Semestre	569074	MODELS DE LA TEORIA DE CONJUNTS	5	Pla docent	TARDOR	--

Edició: Àrea de Tecnologies
Última actualització o validació:Apr 25, 2024