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

Facultat de Filosofia

LÒGICA PURA I APLICADA

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

Itinerari

Codi

Assignatura

Crèdits

Pla docent

Horaris, avaluació, llengua...

1r Curs
	1r Semestre	569057	LÒGIQUES NO CLÀSSIQUES	6	Pla docent	TARDOR	--
	1r Semestre	569058	TEORIA BÀSICA DE CONJUNTS	6	Pla docent	TARDOR	--

	2n Semestre	569060	LÒGICA MATEMÀTICA	6	Pla docent	--	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	569065	INTRODUCCIÓ A LA LÒGICA MATEMÀTICA	5	--	TARDOR	--

	2n Semestre	569077	COMPLEXITAT COMPUTACIONAL	6	--	--	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 26, 2024