SIGAA - Sistema Integrado de Gestão de Atividades Acadêmicas

Visualização da Ação de Extensão

Ação de Extensão
Título:	Teoria das Categorias para Programadores
Ano:	2019	Nº Bolsas Concedidas:	0	Nº Discentes Envolvidos:	0	Público Estimado:	80
Período do Curso:	27/07/2019 a 10/08/2019
Área Principal:	Tecnologia e Produção			Área do CNPq:	Ciências Exatas e da Terra
Unidade Proponente:	CENTRO DE MATEMÁTICA, COMPUTAÇÃO E COGNIÇÃO			Unidades Envolvidas:
Tipo:	CURSO
Municípios de Realização:	SANTO ANDRÉ - SP
Espaços de Realização:	Universidade Federal do ABC
Fonte de Financiamento:	FINANCIAMENTO INTERNO (Fluxo Contínuo - Extensão)
Modalidade do Curso:	Presencial			Tipo do Curso:	CURSO
Tipo do Evento:				Carga Horária:	12	Quantidade de Vagas:	80
Responsável pela Ação:	FABRICIO OLIVETTI DE FRANCA
E-mail do Responsável:	folivetti@ufabc.edu.br
Url da Acão:	https://sig.ufabc.edu.br/sigaa/link/public/extensao/visualizacaoAcaoExtensao/808

Resumo

A teoria das categorias pode ser vista como uma formalização para o desenvolvimento e análise de linguagens modernas de programação como C++, Java e Haskell. Os padrões de programação encontrados em teoria das categorias permite criação de programas mais declarativos e com menos bugs. Esse curso tem como objetivo apresentar os conceitos básicos e a relação com padrões de design de programas.

Programação

Dia 01: Categorias, Tipos e Funções, Categoria Kleisli, Produtos e Coprodutos, Tipos de Dados Algébricos, Functors

Dia 02: Bifunctors e profunctors, tipo função, transformação natural, monoids grátis, Functors representáveis

Dia 03: Yoneda, Functors Adjuntos, Monads, Comonads

Públicos Alvo

Interno:

Discentes, docentes e TAs

Externo:

Programadores e desenvolvedores da área de TI

Público Alvo Externo

Programadores e desenvolvedores da área de TI

Membros da Equipe

EMILIO DE CAMARGO FRANCESQUINI
Categoria: DOCENTE
Função : Coordenador(a) Adjunto(a)

FABRICIO OLIVETTI DE FRANCA
Categoria: DOCENTE
Função : Coordenador(a)

Lista de Fotos

Não há fotos cadastradas para esta ação

Clique aqui para fazer a sua Inscrição

<< voltar