{"id":583,"date":"2025-09-02T19:11:34","date_gmt":"2025-09-02T18:11:34","guid":{"rendered":"https:\/\/mat.uab.cat\/web\/tfg\/?p=583"},"modified":"2025-09-02T19:11:34","modified_gmt":"2025-09-02T18:11:34","slug":"formalizacio-de-series-formals-restringides","status":"publish","type":"post","link":"https:\/\/mat.uab.cat\/web\/tfg\/formalizacio-de-series-formals-restringides\/","title":{"rendered":"Formalizaci\u00f3 de series formals restringides"},"content":{"rendered":"\n<p>La idea \u00e9s estudiar propietats de les series formals restringides i de les series formals convergents (per un anell commutatiu topol\u00f2gic, o un anell amb un valor absolut no arquimedi\u00e0), seguint la nombrosa bibliografia sobre el tema, i alhora aprofitar per aprendre Lean4 i la formalitzaci\u00f3 de resultats matem\u00e0tics.<\/p>\n\n\n\n<p>El treball es pot entendre com una continuaci\u00f3 o extensi\u00f3 de l&#8217;assignatura d&#8217;estructures algebraiques i d&#8217;\u00e0lgebra commutativa, per\u00f2 els requisits s\u00f3n nom\u00e9s l&#8217;assignatura d&#8217;estructures. <\/p>\n","protected":false},"excerpt":{"rendered":"<p>La idea \u00e9s estudiar propietats de les series formals restringides i de les series formals convergents (per un anell commutatiu topol\u00f2gic, o un anell amb un valor absolut no arquimedi\u00e0), seguint la nombrosa bibliografia sobre el tema, i alhora aprofitar per aprendre Lean4 i la formalitzaci\u00f3 de resultats matem\u00e0tics. El treball es pot entendre com [&hellip;]<\/p>\n","protected":false},"author":76,"featured_media":0,"comment_status":"closed","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[28,1],"tags":[39],"class_list":["post-583","post","type-post","status-publish","format-standard","hentry","category-algebra","category-general","tag-xavier-xarles"],"_links":{"self":[{"href":"https:\/\/mat.uab.cat\/web\/tfg\/wp-json\/wp\/v2\/posts\/583","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mat.uab.cat\/web\/tfg\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mat.uab.cat\/web\/tfg\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/mat.uab.cat\/web\/tfg\/wp-json\/wp\/v2\/users\/76"}],"replies":[{"embeddable":true,"href":"https:\/\/mat.uab.cat\/web\/tfg\/wp-json\/wp\/v2\/comments?post=583"}],"version-history":[{"count":2,"href":"https:\/\/mat.uab.cat\/web\/tfg\/wp-json\/wp\/v2\/posts\/583\/revisions"}],"predecessor-version":[{"id":586,"href":"https:\/\/mat.uab.cat\/web\/tfg\/wp-json\/wp\/v2\/posts\/583\/revisions\/586"}],"wp:attachment":[{"href":"https:\/\/mat.uab.cat\/web\/tfg\/wp-json\/wp\/v2\/media?parent=583"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mat.uab.cat\/web\/tfg\/wp-json\/wp\/v2\/categories?post=583"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mat.uab.cat\/web\/tfg\/wp-json\/wp\/v2\/tags?post=583"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}