Publicação

Álgebra universal e categorias

Detalhes bibliográficos
Resumo:	Apontamentos disponibilizados aos alunos de Álgebra Universal e Categorias da Licenciatura em Ciências da Computação e da Licenciatura em Matemática no ano letivo 2013/2014.
Autores principais:	Ferreira, Ana Cristina
Assunto:	Álgebra Universal Categorias
Ano:	2014
País:	Portugal
Tipo de documento:	outro
Tipo de acesso:	acesso restrito
Instituição associada:	Universidade do Minho
Idioma:	português
Origem:	RepositóriUM - Universidade do Minho

Registos relacionados

Teoria de categorias: mestrado em matemática computacional
por: Ferreira, Ana Cristina
Publicado em: (2012)

Complemented congruences on double Ockham algebras
por: Mendes, C.
Publicado em: (2007)

Exploring functional relationships to foster algebraic thinking in grade 8
por: Matos, Ana
Publicado em: (2009)

The study of pictorial sequences as a support to the development of algebraic thinking
por: Branco, Neusa
Publicado em: (2012)

Typing linear algebra : a biproduct-oriented approach
por: Macedo, Hugo Daniel
Publicado em: (2013)

Towards a quantitative alloy
por: Silva, Pedro Faria Durães da
Publicado em: (2021)

A informação sobre a categoria gramatical nos dicionários bilingues
por: Iriarte Sanromán, Álvaro
Publicado em: (2003)

Notas de álgebra linear
por: Soares, M. J.
Publicado em: (2010)

On kleene algebras for weighted computation
por: Gomes, Leandro
Publicado em: (2017)

Álgebra no ensino básico
por: Ponte, João Pedro da
Publicado em: (2009)

Processo de gestão de categorias : um caso do retalho alimentar
por: Neto, Guilherme José Branco Miranda de Carvalho
Publicado em: (2016)

Analytical querying with typed linear algebra: integration with MonetDB
por: Pereira, Lucas Ribeiro
Publicado em: (2021)

Discussão matemática no ensino e aprendizagem da álgebra
por: Rodrigues, Cátia Sofia Nunes
Publicado em: (2020)

Notes for a history of the teaching of algebra
por: Ponte, João Pedro da
Publicado em: (2014)

Álgebra linear e geometria analítica
por: Machado, Gaspar J.
Publicado em: (2005)

Complemented congruences on Ockham algebras
por: Mendes, C.
Publicado em: (2005)

Algebraic specification of documents
por: Ramalho, José Carlos
Publicado em: (1998)

Avaliar para superar erros e dificuldades em álgebra linear
por: Barros, Paula
Publicado em: (2017)

Generic process algebra: a programming challenge
por: Barbosa, L. S.
Publicado em: (2006)

Teste de nomeação de categorias específicas: Estudo de adaptação portuguesa
por: Martins, Luisa S.
Publicado em: (2002)

Fixed points in MSn-algebras
por: Mendes, C.
Publicado em: (2013)

Towards an approach to teachers’ professional development: How to work with algebraic thinking in the early years
por: Ferreira, M. C. N.
Publicado em: (2022)

Prática de discussão coletiva de uma professora em Álgebra
por: Rodrigues, Cátia
Publicado em: (2018)

Analysis of teaching and learning situations in algebra in prospective teacher education
por: Branco, Neusa
Publicado em: (2013)

Dificuldades de aprendizagem da álgebra: Análise de manuais do 7º e 8º anos de escolaridade
por: Silvestre, Ana Margarida
Publicado em: (2008)

Otimização do espaço promocional alocado às categorias
por: Costa, Ema Maria Martins
Publicado em: (2014)

Complementos de álgebra linear e geometria analítica
por: Brito, Irene
Publicado em: (2020)

Subdirectly irreducible double Km,n-algebras
por: Mendes, C.
Publicado em: (2016)

Exercícios de Complementos de Álgebra Linear e Geometria Analítica
por: Brito, Irene
Publicado em: (2020)

Introdução à álgebra linear com o gnu-Octave
por: Patrício, Pedro
Publicado em: (2007)

Matrices as arrows! A biproduct approach to typed linear algebra
por: Oliveira, José Nuno Fonseca
Publicado em: (2010)

Review to Stephen Pollard. Ernst Schröder on Algebra and Logic
por: Bertran-San-Millán, Joan
Publicado em: (2024)

Recuperação por categorias, relato livre e efeito protetor da memória
por: Feio, Marcelo José Tavares Abreu de Faria
Publicado em: (2025)

Algebra - coalgebra duality in Brzozowski's minimization algorithm
por: Bonchi, Filippo
Publicado em: (2014)

Typed linear algebra for weighted (probabilistic) automata
por: Oliveira, José Nuno Fonseca
Publicado em: (2012)

Typed linear algebra for weighted (probabilistic) automata
por: Oliveira, José Nuno
Publicado em: (2012)

Towards a linear algebra of programming
por: Oliveira, José Nuno Fonseca
Publicado em: (2012)

Integration of time in a quantum process algebra
por: Fernandes, Vítor Emanuel Gonçalves
Publicado em: (2019)

Estereótipos compósitos : origem de atributos emergentes em categorias compósitas
por: Cardoso, Maurício Oliveira Leitão da Silva
Publicado em: (2019)

Números e álgebra no currículo escolar
por: Ponte, João Pedro da
Publicado em: (2006)