El teorema de completesa de la lògica infinitvalorada de Lukasiewicz [en] This thesis presents a proof of the completeness theorem of the infinite-valued Lukasiewicz calculus, undertaking a more general formulation known as the finite completeness theorem. To this end,...

Nou #TFG al #DDUB: «El teorema de completesa de la lògica infinitvalorada de Lukasiewicz»

#EstructuresAlgebraiquesOrdenades
#LògicaMatemàtica
#LògicaAlgebraica

Dimensió d'espais funcionals, una mirada matemàtica a l'aprenentatge automàtic En els darrers anys, l’aprenentatge automàtic ha estat impulsat principalment per l’empirisme, amb avenços espectaculars sovint precedint la seva comprensió teòrica. En aquest context, el treball ofer...

Nou #TFG al #DDUB: «Dimensió d'espais funcionals, una mirada matemàtica a l'aprenentatge automàtic»

#Intel·ligènciaArtificial
#XarxesNeuronals
#ÀlgebraCommutativa
#EstructuresAlgebraiquesOrdenades