Luiz Henrique Da Cruz Silvestrini

Dados pessoais

Lattes
Grupos de Pesquisa
Genealogia Acadêmica

Nacionalidade: Brasileira
Grande área de atuação: Ciências Exatas e da Terra
Área de atuação: Matemática

Publicações

Total: 154

Área temática ASJC

Percentual das publicações classificadas

HS Ciências da Saúde
LS Ciências da Vida
MU Multidisciplinar
PS Ciências Físicas
SH Ciências Sociais e Humanidades

Categoria ASJC

Categorias ASJC mais frequentes

Nome	Vínculo	Links	Grande área de atuação	Área de atuação
Nome	Vínculo		Grande área de atuação	Área de atuação
Mariana Matulovic Da Silva RODRIGUEIRO			Ciências Exatas e da Terra	Matemática

Figura 1

Número de publicações por ano e por tipo

Todas as publicações do perfil

Figura 2

Categorias ASJC mais frequentes por ano

A cor dos pontos identifica a categoria predominante

Figura 3

Mapa de calor das categorias ASJC por ano

Frequências absolutas; cores mais escuras indicam mais publicações. Todas as categorias ASJC e anos disponíveis, sem aplicar os filtros da página.

Escala: 0 → 6

Mapa de calor das categorias ASJC por ano
Categoria ASJC	2001	2002	2003	2004	2005	2006	2007	2008	2009	2010	2011	2012	2013	2014	2015	2016	2017	2018	2019	2020	2021	2022	2023	2024	2025
3304 · Education	0	0	0	0	0	0	0	0	0	0	0	0	1	0	2	3	6	2	4	2	5	2	2	1	2
1702 · Artificial Intelligence	1	0	0	0	3	1	1	0	0	0	1	0	1	3	5	5	1	2	1	2	2	0	0	1	0
1203 · Language and Linguistics	0	0	1	1	0	0	1	1	0	1	0	0	3	0	1	0	1	0	2	1	1	1	0	0	0
3201 · Psychology (miscellaneous)	0	0	0	0	0	0	0	0	0	1	0	0	0	1	0	2	4	0	2	2	2	1	0	0	0
1701 · Computer Science (miscellaneous)	0	1	0	0	0	0	0	0	0	0	0	0	0	1	1	0	1	3	0	1	1	3	0	0	0
2609 · Logic	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	1	0	4	3
2601 · Mathematics (miscellaneous)	0	1	1	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	1	1	2	0
3310 · Linguistics and Language	0	0	1	1	0	0	0	0	0	0	0	2	0	0	0	0	0	2	0	0	1	0	0	0	0
1211 · Philosophy	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	2	0	1	0	0	0	0	0	2	0
2604 · Applied Mathematics	0	0	0	0	0	0	0	0	0	0	0	0	0	0	2	0	0	0	0	0	0	0	0	3	0
2201 · Engineering (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	1	0	0	0	0
2606 · Control and Optimization	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	1
3301 · Social Sciences (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	2	0	0	0	0	0	0	0	0	0	0
1201 · Arts and Humanities (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0
1301 · Biochemistry; Genetics and Molecular Biology (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0
1706 · Computer Science Applications	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2204 · Biomedical Engineering	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0
2600 · General Mathematics	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0
2605 · Computational Mathematics	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0
2607 · Discrete Mathematics and Combinatorics	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1
2613 · Statistics and Probability	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1
2614 · Theoretical Computer Science	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
3101 · Physics and Astronomy (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0

Ano	Tipo	Registro	Área temática e categoria ASJC
	Tipo de Publicação	Registro	Área temática e categoria ASJC
2020	Trabalho em evento	Um operador deôntico na aplicação do Teste de Wason Luiz Henrique Da Cruz SILVESTRINI; Alexandre Morelli Alves De OLIVEIRA X Encontro Regional de Matemática Aplicada e Computacional ISBN 9786556231037	PS Artificial Intelligence
2020	Trabalho em evento	Um sistema de sequentes a partir do sistema TI1 Elias Oliveira Vieira Dos SANTOS; Luiz Henrique Da Cruz SILVESTRINI X Encontro Regional de Matemática Aplicada e Computacional ISBN 9786556231037	LS Biochemistry; Genetics and Molecular Biology (miscellaneous)
2020	Trabalho em evento	Sobre a equivalência entre tableaux e o sistema hilbertiano para S5 Gabriela Stéfany CIRILO; Luiz Henrique Da Cruz SILVESTRINI X Encontro Regional de Matemática Aplicada e Computacional ISBN 9786556231037	PS Artificial Intelligence
2020	Trabalho em evento	Argumentação e tomada de decisão em contextos diversos para alunos do ensino médio Gustavo Henrique Siqueira DIAS; Luiz Henrique Da Cruz SILVESTRINI XXXII Semana da Licenciatura em Matemática	SH Education
2020	Trabalho em evento	As lógicas modais normais via método dos tableaux analíticos Gabriela Stéfany CIRILO; Luiz Henrique Da Cruz SILVESTRINI XXXII Semana da Licenciatura em Matemática	SH Education
2020	Trabalho em evento	Atividades remotas de Raciocínio Lógico e o TDAH: um relato de experiência Elias Oliveira Vieira Dos SANTOS; Giovanna Dias CARDOSO; Alexandre Morelli Alves De OLIVEIRA; Luiz Henrique Da Cruz SILVESTRINI XXXII Semana da Licenciatura em Matemática	SH Psychology (miscellaneous)
2020	Trabalho em evento	Os paradoxos da implicação material e a implicação relevante Giovanna Dias CARDOSO; Luiz Henrique Da Cruz SILVESTRINI XXXII Semana da Licenciatura em Matemática	SH Language and Linguistics
2020	Trabalho em evento	Teoria da prova em um sistema trivalente e fracamente intuicionista a partir do método Hilbertiano Elias Oliveira Vieira Dos SANTOS; Luiz Henrique Da Cruz SILVESTRINI XXXII Semana da Licenciatura em Matemática	SH Psychology (miscellaneous)
2019	Capítulo de livro	Sobre um fragmento paraconsistente na lógica clássica Luiz Henrique Da Cruz SILVESTRINI; Luis Felipe Salvador BOATO Filosofia da linguagem; da lógica e analítica ISBN 9788588072749	SH Language and Linguistics
2019	Trabalho em evento	On order algebraic relations and logical deductions Luiz Henrique Da Cruz SILVESTRINI; Hercules De Araújo FEITOSA 19th Brazilian Logic Conference ISBN 9788523701666	SH Education
2019	Trabalho em evento	O sistema I1: da dedução axiomática à teoria da prova Luiz Henrique Da Cruz SILVESTRINI; Elias Oliveira Vieira Dos SANTOS 32º Colóquio Brasileiro de Matemática	SH Education
2019	Trabalho em evento	Pensamento crítico; implicação material e o raciocínio lógico Luiz Henrique Da Cruz SILVESTRINI; Alexandre Morelli Alves De OLIVEIRA VII CBE - Congresso Brasileiro de Educação 'Educação pública como direito: desafios e perspectivas no Brasil Contemporâneo' ISBN 9788554440145	SH Psychology (miscellaneous)
2019	Trabalho em evento	O sistema TP1 e sua completude dedutiva Alexandre Morelli Alves De OLIVEIRA; Luiz Henrique Da Cruz SILVESTRINI Encontro Regional de Matemática Aplicada e Computacional	PS Biomedical Engineering
2019	Trabalho em evento	Sobre o método dos tableaux analíticos Renan Henrique De SOUZA; Luiz Henrique Da Cruz SILVESTRINI VI Encontro Regional de Matemática Aplicada e Computacional	SH Education
2019	Trabalho em evento	O sistema multivalorado I1 em cálculo de sequentes Elias Oliveira Vieira Dos SANTOS; Luiz Henrique Da Cruz SILVESTRINI XXXI Congresso de Iniciação Científica da Unesp ISBN 2178-860X	PS Physics and Astronomy (miscellaneous)
2019	Trabalho em evento	Teoria da prova e o cálculo proposicional clássico Renan Henrique De SOUZA; Luiz Henrique Da Cruz SILVESTRINI XXXI Congresso de Iniciação Científica da Unesp ISBN 2178-860X	SH Psychology (miscellaneous)
2019	Trabalho em evento	Cálculo de sequentes: um método dedutivo alternativo para o sistema trivalorado I1 Elias Oliveira Vieira Dos SANTOS; Luiz Henrique Da Cruz SILVESTRINI XXXI Semana da Licenciatura em Matemática	PS Engineering (miscellaneous)
2019	Trabalho em evento	O uso do operador lógico deôntico de proibição em um contexto prático para alunos do ensino médio e recém-egressos Alexandre Morelli Alves De OLIVEIRA; Luiz Henrique Da Cruz SILVESTRINI XXXI Semana da Licenciatura em Matemática	SH Education
2019	Trabalho em evento	Um tableau analítico para o sistema S5 Gabriela Stéfany CIRILO; Luiz Henrique Da Cruz SILVESTRINI XXXI Semana da Licenciatura em Matemática	PS Artificial Intelligence
2019	Artigo em periódico	Monadic Algebras for the Notion of Many Hercules De Araújo FEITOSA; Luiz Henrique Da Cruz SILVESTRINI SOUTH AMERICAN JOURNAL OF LOGIC ISSN 2446-6719	SH Language and Linguistics
2018	Trabalho em evento	Implicação lógica através do Teste das Cartas em novos contextos para alunos recém-egressos do ensino médio Luiz Henrique Da Cruz SILVESTRINI; Elias Oliveira Vieira Dos SANTOS I Congresso Internacional de Pesquisas e Práticas em Educação	SH Education
2018	Trabalho em evento	O cálculo trivalente e paraconsistente P1 em um sistema de Tableaux Luiz Henrique Da Cruz SILVESTRINI; Alexandre Morelli Alves De OLIVEIRA Encontro Regional de Matemática Aplicada e Computacional ? ERMAC 2018	PS Artificial Intelligence
2018	Trabalho em evento	Quase-verdade: aspectos pragmáticos e formalização Rodrigues Douglas ALEXANDRE; Luiz Henrique Da Cruz SILVESTRINI X International meeting on information; knowledge and action ISBN 2447-7494	SH Linguistics and Language
2018	Trabalho em evento	A quase verdade a partir da lógica clássica Luis Felipe Salvador BOATO; Luiz Henrique Da Cruz SILVESTRINI X International meeting on information; knowledge and action ISBN 2447-7494	SH Philosophy
2018	Trabalho em evento	Cálculo trivalorado; quase-verdade e sociedades paraconsistentes Luiz Henrique Da Cruz SILVESTRINI XXXVIII Congresso Nacional de Matemática Aplicada e Computacional ? CNMAC 2018 ISBN 2359-0793	SH Education

2020 Trabalho em evento

PS Artificial Intelligence

Um operador deôntico na aplicação do Teste de Wason

X Encontro Regional de Matemática Aplicada e Computacional

Luiz Henrique Da Cruz SILVESTRINI; Alexandre Morelli Alves De OLIVEIRA

ISBN 9786556231037

2020 Trabalho em evento

LS Biochemistry; Genetics and Molecular Biology (miscellaneous)

Um sistema de sequentes a partir do sistema TI1

X Encontro Regional de Matemática Aplicada e Computacional

Elias Oliveira Vieira Dos SANTOS; Luiz Henrique Da Cruz SILVESTRINI

ISBN 9786556231037

2020 Trabalho em evento

PS Artificial Intelligence

Sobre a equivalência entre tableaux e o sistema hilbertiano para S5

X Encontro Regional de Matemática Aplicada e Computacional

Gabriela Stéfany CIRILO; Luiz Henrique Da Cruz SILVESTRINI

ISBN 9786556231037

2020 Trabalho em evento

SH Education

Argumentação e tomada de decisão em contextos diversos para alunos do ensino médio