| 2023 |
Trabalho em evento |
Drive-In: Atividades de Modelagem Matemática integrando ações de ensino e extensão no período pandêmico
Marcelo Da Silva CORRÊA; Lucas Tarcísio G Sant ANNA; Magda Kimico Kaibara DUTRA; Ana Maria Luz Fassarella Do AMARAL
XII Conferência Nacional sobre Modelagem na Educação Matemática (XII CNMEM)
|
PS
Modeling and Simulation
|
| 2014 |
Trabalho em evento |
O papel e a contribuição do Polo de Apoio Presencial UAB CEDERJ de Resende como infraestrutura de suporte na formação inicial e continuada dos professores da Educação Básica
Alice Batista De Souza BRANDÃO; Lina MORGADO; Marcelo Da Silva CORRÊA
XVI Encontro Ibero-americano de Educação Superior a Distância
|
SH
Education
|
| 2014 |
Trabalho em evento |
Educação a Distância (EAD): Formação de Professores; Desenvolvimento e Identidade Profissional
Luciene CERDAS; Marcelo Da Silva CORRÊA; Edmundo Alves De OLIVEIRA; Roberta Rossi Oliveira PALERMO; Mõnica Fátima Valenzi MENDES
XVII Encontro Nacional de Didática e Prática de Ensino (ENDIPE): A didática e a prática de ensino nas relações entre escola; formação de professores e sociedade
ISBN 9788578262266
|
SH
Education
|
| 2014 |
Trabalho em evento |
Explorando o Jogo da Rede Pontilhada com Atividades Colaborativas
Elenise Zaccur ARAUJO; Marcelo Da Silva CORRÊA
VII Semana de Matemática da UFF
|
PS
Applied Mathematics
|
| 2013 |
Trabalho em evento |
Estratégias para a transição ensino médio-superior em um curso de licenciatura em matemática a distância
Marcelo Da Silva CORRÊA; Wanderley Moura RESENDE; Eliane Amiune CAMARGO
III Colóquio Luso-Brasileiro de Educação a Distância e Elearning
ISBN 978-972-674-7
|
SH
Education
|
| 2013 |
Trabalho em evento |
Educação a Distância e políticas de formação de professores: um balanço de estudos da área da Educação
Luciene CERDAS; Marcelo Da Silva CORRÊA; Edmundo Alves De OLIVEIRA; Ricardo MAURO
III Colóquio Luso-Brasileiro de Educação a Distância e Elearning
ISBN 9789726747383
|
SH
Education
|
| 2012 |
Trabalho em evento |
Análise das práticas pedagógicas de um curso de licenciatura em matemática a distância relacionadas à interação e à colaboração
Marcelo Da Silva CORRÊA; Selma Dos Santos ROSA
IX Congresso Brasileiro de Ensino Superior a Distância ESUD2012
|
SH
Education
|
| 2012 |
Trabalho em evento |
Novas Tecnologias de Interação e Colaboração: Desafios para a atuação docente em um curso a distância em Licenciatura em Matemática
Marcelo Da Silva CORRÊA; Selma Dos Santos ROSA
IX Foro Internacional sobre Evalución de la Calidad de la Investigación y la Educación Superior (FECIES)
|
SH
Education
|
| 2008 |
Trabalho em evento |
Uma Ferramenta para Apoio ao Ensino de Programação Declarativa.
Alex MACHADO; Esteban CLUA; Marcelo Da Silva CORRÊA; Flavio SOARES
VII Simpósio Brasileiro de Jogos e Entretenimento Digital - SBGames 2008 - Computing Track - Full Papers
|
PS
Computer Science Applications
|
| 2008 |
Trabalho em evento |
MC10: Explorando o jogo de dominó com atividades cooperativas
Elenise Zaccur ARAUJO; Marcelo Da Silva CORRÊA
VI Encontro Sul Fluminense de Educação Matemática ESFEM
ISBN 9788588187047
|
PS
Mathematics (miscellaneous)
|
| 2006 |
Trabalho em evento |
On games and the polynomial-space completeness of intuitionistic propositional logic
Edward Hermann HAEUSLER; Marcelo Da Silva CORRÊA
XIV Encontro Brasileiro de Lógica
|
PS
Logic
|
| 2005 |
Trabalho em evento |
On the Selective Lambek Calculus
Marcelo Da Silva CORRÊA; Edward Hermann HAEUSLER
Logical Aspects of Computational Linguistics; 5th International Conference; LACL 2005
ISBN 0302-9743
|
PS
Theoretical Computer Science
|
| 2003 |
Artigo em periódico |
A Tableau Method for the Lambek Calculus based on a Matrix Characterization
Vana Leonardo B; Marcelo Da Silva CORRÊA
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
DOI 10.1016/S1571-0661(04)80855-7
ISSN 1571-0661
|
PS
Theoretical Computer Science
|
| 1998 |
Trabalho em evento |
A Lazy Lambda Lambek Calculus
Marcelo Da Silva CORRÊA; Edward Hermann HAEUSLER
LOGIC COLLOQUIUM'98
|
PS
Logic
|
| 1998 |
Trabalho em evento |
Selective Lambek Syntactic Calculus
Marcelo Da Silva CORRÊA; Edward Hermann HAEUSLER
Workshop on Logic; Language ; Information and Computation (WOLLIC'98)
|
PS
Logic
|
| 1997 |
Artigo em periódico |
A Concrete Categorical Model for the Lambek Syntactic Calculus
Marcelo Da Silva CORRÊA; Edward Hermann HAEUSLER
Mathematical Logic Quarterly
ISSN 0942-5616
|
PS
Theoretical Computer Science
|
| 1996 |
Trabalho em evento |
A Dialectica Model of State
Marcelo Da Silva CORRÊA; Edward Hermann HAEUSLER; Valeria Corrêa Vaz De PAIVA
Computing: The Australasian Theory Symposium (CATS'96)
|
PS
Computational Theory and Mathematics
|
| 1993 |
Trabalho em evento |
Sensible Inconsistent Reasoning - A Tableau System for LEI
Marcelo Da Silva CORRÊA; Arthur R V BUSCHBAUM; Tarcísio H C PEQUENO
AAAI Fall Symposium on Automated Deduction in Nonstandard Logics
|
PS
Theoretical Computer Science
|
| 1992 |
Trabalho em evento |
Raciocínio Automático em Situações de Conhecimento Incompleto e Inconsistente II - Um Método Computacional para IDL
Marcelo Da Silva CORRÊA; Tarcísio H C PEQUENO
IX Simpósio Brasileiro de Inteligência Artificial
|
PS
Artificial Intelligence
|
| 1992 |
Trabalho em evento |
Raciocínio Automático em Situações de Conhecimento Incompleto e Inconsistente I - Um Sistema de Tableaux para LEI
Marcelo Da Silva CORRÊA; Arthur R V BUSCHBAUM; Tarcísio H C PEQUENO
IX Simpósio Brasileiro de Inteligência Artificial
|
PS
Artificial Intelligence
|
