|
|
Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
19/02/1998 |
Data da última atualização: |
20/09/2007 |
Autoria: |
CAFEZEIRO, I.; HAEUSLER, E. H.; LUCENA, C. J. P. |
Título: |
Paradigmas de linguagens de programação: uma abordagem geométrica. |
Ano de publicação: |
1996 |
Fonte/Imprenta: |
In: SIMPÓSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO, 1., 1996, Belo Horizonte. Anais. Belo Horizonte: SBC / UFMG, 1996. |
Páginas: |
p.265-276 |
Idioma: |
Português |
Conteúdo: |
Este trabalho apresenta uma abordagem para definir parádigmas de linguagens de programação. A ideia central e a existência de vários níveis de abstração sobre a noção de programas com entradas. Utiliza-se linguagem categórica e o conceito de sheaf visando a obtenção de uma caracterização matemática de parádigmas de programação baseada na definição geométrica de funções computáveis. |
Palavras-Chave: |
Linguagens de programação; Programming languages. |
Categoria do assunto: |
-- |
Marc: |
LEADER 00998naa a2200181 a 4500 001 1006019 005 2007-09-20 008 1996 bl uuuu u00u1 u #d 100 1 $aCAFEZEIRO, I. 245 $aParadigmas de linguagens de programação$buma abordagem geométrica. 260 $c1996 300 $ap.265-276 520 $aEste trabalho apresenta uma abordagem para definir parádigmas de linguagens de programação. A ideia central e a existência de vários níveis de abstração sobre a noção de programas com entradas. Utiliza-se linguagem categórica e o conceito de sheaf visando a obtenção de uma caracterização matemática de parádigmas de programação baseada na definição geométrica de funções computáveis. 653 $aLinguagens de programação 653 $aProgramming languages 700 1 $aHAEUSLER, E. H. 700 1 $aLUCENA, C. J. P. 773 $tIn: SIMPÓSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO, 1., 1996, Belo Horizonte. Anais. Belo Horizonte: SBC / UFMG, 1996.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
Registro Completo
Biblioteca(s): |
Embrapa Amazônia Oriental; Embrapa Unidades Centrais. |
Data corrente: |
25/04/2018 |
Data da última atualização: |
08/05/2018 |
Tipo da produção científica: |
Folder/Folheto/Cartilha |
Autoria: |
SOUZA, V. B.; BOTH, J. P. C. L. |
Afiliação: |
VLADIMIR BOMFIM SOUZA, CPATU; JOAO PAULO CASTANHEIRA LIMA BOTH, CPATU. |
Título: |
Aprender fazendo: formação de multiplicadores comunitários com uso de tecnologias da Embrapa. |
Ano de publicação: |
2017 |
Fonte/Imprenta: |
Brasília, DF: Embrapa, 2017. |
Páginas: |
36 p. |
Série: |
(Sistematização de experiências: métodos de transferência de tecnologia, intercâmbio e construção do conhecimento, 6). |
ISBN: |
978-85-7035-739-7 |
Idioma: |
Português |
Conteúdo: |
Esta sistematização teve como intenção, entre outros aspectos, servir como um registro de um modelo diferenciado de abordagem em um segmento de público não usual da Embrapa. Deve servir como balizamento para a Unidade da Embrapa Amazônia Oriental no tocante às atividades de TT e pode ser utilizada, também, por parceiros institucionais, por exemplo: Empresa de Assistência Técnica e Extensão Rural (Emater) e sistema de Assessoria Técnica, Social e Ambiental à Reforma Agrária (Ates); universidades, Serviço Brasileiro de Apoio às Micro e Pequenas Empresas (Sebrae), além dos atores envolvidos. |
Thesagro: |
Desenvolvimento comunitário; Extensão rural; Transferência de tecnologia. |
Categoria do assunto: |
-- B Sociologia Rural |
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/item/176438/1/COLECAO-SISTEMATIZACAO-EXPERIENCIAS-vol-6.pdf
|
Marc: |
LEADER 01317nam a2200193 a 4500 001 2091209 005 2018-05-08 008 2017 bl uuuu u0uu1 u #d 020 $a978-85-7035-739-7 100 1 $aSOUZA, V. B. 245 $aAprender fazendo$bformação de multiplicadores comunitários com uso de tecnologias da Embrapa.$h[electronic resource] 260 $aBrasília, DF: Embrapa$c2017 300 $a36 p. 490 $a(Sistematização de experiências: métodos de transferência de tecnologia, intercâmbio e construção do conhecimento, 6). 520 $aEsta sistematização teve como intenção, entre outros aspectos, servir como um registro de um modelo diferenciado de abordagem em um segmento de público não usual da Embrapa. Deve servir como balizamento para a Unidade da Embrapa Amazônia Oriental no tocante às atividades de TT e pode ser utilizada, também, por parceiros institucionais, por exemplo: Empresa de Assistência Técnica e Extensão Rural (Emater) e sistema de Assessoria Técnica, Social e Ambiental à Reforma Agrária (Ates); universidades, Serviço Brasileiro de Apoio às Micro e Pequenas Empresas (Sebrae), além dos atores envolvidos. 650 $aDesenvolvimento comunitário 650 $aExtensão rural 650 $aTransferência de tecnologia 700 1 $aBOTH, J. P. C. L.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Amazônia Oriental (CPATU) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
Expressão de busca inválida. Verifique!!! |
|
|