Cosme Damiao Bastos Massi

Possui graduação em Física pela Universidade Federal do Rio de Janeiro(1980), mestrado em Lógica e Filosofia da Ciência pela Universidade Estadual de Campinas(1989) e doutorado em Lógica e Filosofia da Ciência pela Universidade Estadual de Campinas(1990). Tem experiência na área de Filosofia. Atuando principalmente nos seguintes temas:Deducao Natural, Normalizacao, Teoria da Prova.

Informações coletadas do Lattes em 11/07/2023

Acadêmico

Formação acadêmica

Doutorado em Lógica e Filosofia da Ciência

1989 - 1990

Universidade Estadual de Campinas
Título: PROVAS DE NORMALIZACAO PARA A LOGICA CLASSICA
Orientador: Luiz Carlos Pinheiro Dias Pereira
Palavras-chave: Deducao Natural; Normalizacao; Teoria da Prova.Grande área: Ciências Humanas / Área: Filosofia. Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.

Mestrado em Lógica e Filosofia da Ciência

1981 - 1989

Universidade Estadual de Campinas
Orientador: Luiz Carlos Pinheiro Dias Pereira
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico. Palavras-chave: Teoremas de Normalizacao; Deducao Natural; Normalizacao.Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica. Grande Área: Ciências Humanas / Área: Filosofia.

Graduação em Física

1976 - 1980

Universidade Federal do Rio de Janeiro

Idiomas

Inglês

Lê Bem, Escreve Pouco.

Espanhol

Lê Razoavelmente.

Francês

Lê Razoavelmente.

Áreas de atuação

Grande área: Ciências Humanas / Área: Filosofia.

Grande área: Ciências Humanas / Área: Educação / Subárea: Planejamento e Avaliação Educacional.

Grande área: Ciências Humanas / Área: Educação.

Orientou

RAQUEL ROSAN CRISTINO

A ERA DO COMPUTADOR: A ERA DE UMA NOVA MORAL?; 1998; Dissertação (Mestrado em Educação) - Universidade Estadual Paulista Júlio de Mesquita Filho, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Cosme Damiao Bastos Massi;

José Raul Teixeira

HEURÍSTICA NO ENSINO DA FÍSICA CLÁSSICA E DA MATEMÁTICA BÁSICA; 1999; Tese (Doutorado em Educação) - Universidade Estadual Paulista Júlio de Mesquita Filho, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Cosme Damiao Bastos Massi;

Regina Luzia Corio de Buriasco

AVALIAÇÃO EM MATEMÁTICA: UM ESTUDO DAS RESPOSTAS DE ALUNOS E PROFESSORES; 1999; Tese (Doutorado em Educação) - Universidade Estadual Paulista Júlio de Mesquita Filho,; Orientador: Cosme Damiao Bastos Massi;

Produções bibliográficas

MASSI, C. D. B. . Educação Integral. CEPPG Revista (Catalão) , Catalão - GO, v. Ano V, n.n.09, p. 16-25, 2003.
MASSI, C. D. B. . Centro Universitário: Há Lugar Para A Pesquisa.. Revista Estudos, São Paulo - SP, v. 01, n.20, p. 29-32, 1997.
MASSI, C. D. B. ; PEREIRA, L. C. P. D. . Normalizacao Para A Logica Classica. O QUE NOS FAZ PENSAR - CADERNOS DO DEPARTAMENTO DE FILOSOFIA DA PUC-RJ, v. 2, p. 49-53, 1990.
MASSI, C. D. B. ; GIACÓIA, O. . Formação de Professores.. Ética e Educação.. 1ªed.São Paulo - SP: Edunesp, 1996, v. 1º, p. -.
MASSI, C. D. B. ; ALVES, E. H. . The Problem Of Persistence In A System Of Many-Valued Intensional Logc. LOGIC SETS AND INFORMATION. CAMPINAS: COLECAO CLE - UNICAMP, 1995, v. , p. 164-175.
MASSI, C. D. B. ; GIACÓIA, O. . Etica e Educacão. In: III CONGRESSO ESTADUAL PAULISTA SOBRE A FORMACAO DE EDUCADORES, 1994. Anais do III Congresso Estadual Paulista sobre a Formação de Educadores. AGUAS DE SAO PEDRO - SP, 1994. p. 0-0.
MASSI, C. D. B. ; ALVES, E. H. ; GONZALES, M. E. Q. . Ecological Perspectives On The New Artificial Intelligence:The Impor Tance Of Enviromental Constraints In Connectionist Models. In: VIITH INTERNATIONAL CONFERENCE ON EVENT PERCEPTION AND ACTION, 1993, Vancouver. Anais do VIIth International Conference on Event Perception and Action. VANCOUVER - CANADA, 1993. p. 0-0.
MASSI, C. D. B. . Ensino estruturado: gerindo o conhecimento nas instituições. In: 11ª Feira Internacional De Educação - EDUCAR/EDUCADOR, 2004, São Paulo. Anais da 11ª Feira Internacional De Educação - EDUCAR/EDUCADOR, 2004.
MASSI, C. D. B. . Inovações Tecnológicas para o Ensino Superior. In: 5º Forum Nacional: Ensino Superior Particular Brasileiro, 2003, São Paulo. Anais do 5º Forum Nacional: Ensino Superior Particular Brasileiro. São Paulo, 2003.
MASSI, C. D. B. . Gestão do Conhecimento e Mapeamento das Competências nas Instituições de Ensino. In: II Congresso de Gestão em Institutições de Ensino, 2003, São Paulo. Anais do II Congresso de Gestão em Institutições de Ensino, 2003.
MASSI, C. D. B. . O Teorema da Persistencia Para Il3. In: ENCONTRO BRASILEIRO DE LOGICA, 1993, Itatiaia. Anais do ENCONTRO BRASILEIRO DE LOGICA. ITATIAIA - RJ, 1993. p. 0-0.
MASSI, C. D. B. . Sobre Um Ordinal Natural Para As Derivacoes Em Nk. In: V ENCONTRO NACIONAL DE FILOSOFIA, 1992, Diamantina. Anais do V ENCONTRO NACIONAL DE FILOSOFIA. DIAMANTINA - MG, 1992. p. 0-0.
MASSI, C. D. B. ; PEREIRA, L. C. P. D. . Strong Normalization Via The Worst Reduction Sequence. In: 9TH INTERNATIONAL CONGRESS OR LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, 1991, Uppsala. Abstracts of the 9th International Abstracts of the 9th International. UPPSALA - SUECIA, 1991. v. 1. p. 0-0.

Prêmios

1993

PREMIO MOINHO SANTISTA JUVENTUDE EM LOGICA MATEMATICA, ALPARGATAS SANTISTA TEXTIL S/A/SANTISTA.

Histórico profissional

Endereço profissional

Centro Universitário Positivo, Reitoria. , Rua Prof. Pedro Viriato Parigot de Souza, 5300, Campo Cumprido, 81280-330 - Curitiba, PR - Brasil, Telefone: (041) 3173008, Fax: (041) 3173030, URL da Homepage:

Experiência profissional

Sem data

Centro Universitário Positivo

Atividades

01/2001
Direção e administração, Reitoria, .,Cargo ou função, Pró-Reitor de Planejamento e Avaliação Institucional.