| 2016 |
Artigo em periódico |
Computadores nas práticas matemáticas: um exercício de micro história
Gisele Dalva SECCO
O QUE NOS FAZ PENSAR (PUCRJ)
ISSN 0104-6675
|
SH
History and Philosophy of Science
|
| 2015 |
Capítulo de livro |
In a wittgensteinian light
Gisele Dalva SECCO
Why is this a Proof? Festschrift for Luiz Carlos Pereira
ISBN 9781848901728
|
SH
Language and Linguistics
|
| 2015 |
Capítulo de livro |
Diálogos que nossos alunos podem ler
Gisele Dalva SECCO
Livros que seu aluno pode ler: formação do leitor na educação básica
ISBN 9788599706060
|
SH
Education
|
| 2015 |
Trabalho em evento |
Colóquio Conesul de Filosofia das Ciências Formais - Caderno de resumos: filosofia da geometria
Casanave Abel LASSALLE; Luiz Carlos Pinheiro Dias PEREIRA; André Da Silva PORTO; Gisele Dalva SECCO
XIX Colóquio Conesul de Filosofia das Ciências Formais
ISBN 978858292527
|
SH
History and Philosophy of Science
|
| 2015 |
Trabalho em evento |
A Abordagem Interdisciplinar na Produção de Histórias em Quadrinhos: análise de um projeto do PIBID InterVale UFRGS
Dandara Cemin CAGLIARI; Júlia Razzolin RAMIRES; Gisele Dalva SECCO; Gustavo Cortazzi Garcia KESSLER; Matheus PENAFIEL et al
I PIBIDSUL / PARFOSUL / ENLICSUL.
ISBN 978-85-5722-0
|
SH
Visual Arts and Performing Arts
|
| 2015 |
Trabalho em evento |
A Hora da Ciência: práticas interdisciplinares do PIBID Interdisciplinar UFRGS Campus do Vale
Vitória Machado NANI; Michele Assis De OLIVEIRA; Gisele Dalva SECCO
I PIBIDSUL / PARFOSUL / ENLICSUL.
ISBN 978-85-5722-0
|
SH
Education
|
| 2015 |
Trabalho em evento |
Investigação Sobre Ações Interdisciplinares com Ênfase em CTC nas Escolas da Região Metropolitana de Porto Alegre
Gustavo Cortazzi Garcia KESSLER; Júlia Razzolin RAMIRES; Matheus PENAFIEL; Matheus Fronza RIGO; Gisele Dalva SECCO et al
I PIBIDSUL / PARFOSUL / ENLICSUL.
ISBN 978-85-5722-0
|
SH
Education
|
| 2015 |
Trabalho em evento |
Ensinando a justificar: uma experiência de deliberação coletiva na disciplina de Seminário Integrado
Jeferson Diello HUFFERMANN; Vitória Machado NANI; Ivete Fátima STEMPKOWSKI; Michele Assis De OLIVEIRA; Gisele Dalva SECCO
8a Etapa Pré-Olímpica de Filosofia e 1a Mostra de Pesquisa Interdisciplinar de Filosofia; Ciência e Tecnologia
ISBN 9788564961043
|
SH
Philosophy
|
| 2015 |
Artigo em periódico |
Anotações acerca de Symbolic Knowledge from Leibniz to Husserl
Gisele Dalva SECCO
Revista Latinoamericana de Filosofía
ISSN 1852-7353
|
SH
Philosophy
|
| 2014 |
Livro |
Anais do II Encontro de Pesquisa em Filosofia do PPGFIL-UFRGS
Alfredo Carlos STORCK; Eros Moreira De CARVALHO; Gisele Dalva SECCO; Jônadas TECHIO; Priscilla Tesch SPINELLI
—
ISBN 9788566106275
|
SH
Philosophy
|
| 2013 |
Capítulo de livro |
Provas; provas formais e provas por computador
Gisele Dalva SECCO
Filosofia contemporânea: lógica; linguagem e ciência
ISBN 9788588072121
|
PS
Logic
|
| 2013 |
Capítulo de livro |
Conocimiento simbólico en la prueba del Teorema de los Cuatro Colores
Gisele Dalva SECCO
Conocimiento simbólico y conocimento gráfico: historia y teoría
ISBN 9789874506504
|
SH
History and Philosophy of Science
|
| 2013 |
Trabalho em evento |
Os diferentes tipos de a priori e uma aplicação da distinção
Gisele Dalva SECCO
III Jornada Nacional de Pesquisa na Pós-Graduação em Filosofia da UFSM
|
SH
Philosophy
|
| 2013 |
Artigo em periódico |
Anotações sobre provas; computadores e os diferentes tipos de a priori
Gisele Dalva SECCO
Alter (Rio de Janeiro)
ISSN 1519-1893
|
SH
Language and Linguistics
|
| 2013 |
Artigo em periódico |
Primeira nota sobre as controvérsias em torno da prova do Teorema das Quatro Cores: um panorama à la Prawitz
Gisele Dalva SECCO
Notae Philosophicae Scientiae Formalis
ISSN 2238-8796
|
SH
History and Philosophy of Science
|
| 2013 |
Artigo em periódico |
Filosofia no ensino médio: distinções preliminares para uma didática mínima da lógica
Gisele Dalva SECCO
Controvérsia (UNISINOS)
ISSN 1808-5253
|
SH
Philosophy
|
| 2012 |
Trabalho em evento |
Provas; provas formais e provas por computador
Gisele Dalva SECCO
XV Encontro Nacional ANPOF
|
PS
Theoretical Computer Science
|
| 2012 |
Artigo em periódico |
Entre matemáticas e filosofias: breves notas sobre a noção de prova
Gisele Dalva SECCO
Alter (Rio de Janeiro)
ISSN 1519-1893
|
SH
History and Philosophy of Science
|
| 2011 |
Artigo em periódico |
Entre descoberta e invenção: notas sobre ciência e ceticismo
Gisele Dalva SECCO
Analógos (PUCRJ)
ISSN 1678-3468
|
SH
History and Philosophy of Science
|
| 2010 |
Trabalho em evento |
Um estudo do conceito de prova de Oswaldo Chateaubriand
Gisele Dalva SECCO
Jornada Regional de Pesquisa na Pós-graduação em Filosofia
ISBN 9788599184318
|
SH
Philosophy
|
| 2010 |
Trabalho em evento |
Notas para um estudo da noção wittgensteineana de prova
Gisele Dalva SECCO
XIV Encontro Nacional da ANPOF
ISBN 9788588072053
|
SH
Language and Linguistics
|
| 2010 |
Artigo em periódico |
Notas para uma didática mínima da lógica
Gisele Dalva SECCO
Analógos (PUCRJ)
ISSN 1678-3468
|
PS
Logic
|
| 2009 |
Trabalho em evento |
On the convenience of formalization in philosophy
Gisele Dalva SECCO
XIV Latin American Symposium on Mathematical Logic
ISBN 10798986
|
SH
Philosophy
|
| 2009 |
Artigo em periódico |
Ensino de Filosofia e Currículo
Gisele Dalva SECCO
Crítica. Revista de Filosofia e Ensino
ISSN 1749-8457
|
SH
Philosophy
|
| 2008 |
Trabalho em evento |
Acerca da Formalização em Filosofia: o exemplo da lógica deôntica
Gisele Dalva SECCO
XV Brasilian Logic Conference; XIV Latin-American Symposium on Mathematical Logic
ISBN 9788586497049
|
PS
Logic
|