Camila Augusta Vaine

Possui graduação em Licenciatura em Matemática pela Universidade Estadual Paulista Júlio de Mesquita Filho (2010). Tem experiência na área de Matemática, com ênfase em Lógica Matemática, atuando principalmente nos seguintes temas: lógica proposicional do muito, álgebra do muito e decidibilidade.

Informações coletadas do Lattes em 10/10/2022

Acadêmico

Formação acadêmica

Mestrado em andamento em Filosofia

2011 - Atual

Universidade Estadual Paulista Júlio de Mesquita Filho
Hércules de Araújo Feitosa.Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática. Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica. Grande Área: Ciências Humanas / Área: Filosofia.

Graduação em Licenciatura em Matemática

2007 - 2010

Universidade Estadual Paulista Júlio de Mesquita Filho
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Curso técnico/profissionalizante em Habilitação Profissional de Técnico em informática

2004 - 2005

E.T.E. Astor de Mattos Carvalho

Ensino Médio (2º grau)

2003 - 2005

E.E. BENEDITO GEBARA

Ensino Fundamental (1º grau)

1995 - 2002

E.E. BENEDITO GEBARA

Formação complementar

2003 - 2003

Introdução à Informática. (Carga horária: 48h). , Paula Informática.

Idiomas

Inglês

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Espanhol

Compreende Razoavelmente, Fala Pouco, Lê Pouco, Escreve Pouco.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Lógica Matemática.

Participação em eventos

XXII Congresso de Iniciação Científica da UNESP. A Lógica Proposicional para Muitos em Tablôs. 2010. (Congresso).

LIBRAS (Língua Brasileira de Sinais) Teoria e Prática. 2010. (Oficina).

XXII Semana da Licenciatura em Matemática. 2010. (Outra).

8º Brazilian Congress on Dynamics, Control and Applications. Elementos Algébricos para a formalização do termo "muitos". 2009. (Congresso).

8º Brazilian Congress on Dynamics, Control and Applications. 2009. (Congresso).

XXI Congresso de Iniciação Científica da UNESP. A Decidibilidade da Lógica Proposicional para Muitos. 2009. (Congresso).

XXI Congresso de Iniciação Científica da UNESP. 2009. (Congresso).

Introdução aos robôs móveis autônomos. 2009. (Oficina).

Conceitos Básicos de Realidade Misturada. 2009. (Oficina).

Introdução ao reconhecimento de padrões. 2009. (Oficina).

Fundamentos da Modelagem Matemática aplicada a sistemas ambientais. 2009. (Oficina).

Introdução a ambientes virtuais de aprendizagem. 2009. (Oficina).

O Teorema da Incompletude de Gödel. 2009. (Oficina).

Comunicação Oral e Escrita. 2009. (Oficina).

XXI Semana da Licenciatura em Matemática. 2009. (Encontro).

XXI Semana da Licenciatura em Matemática.Filtros para Muitos. 2009. (Outra).

IX Encontro Paulista de Educação Matemática (EPEM). 2008. (Congresso).

Trabalhando com Noções de Probabilidade: uma proposta com sequencias didáticas. 2008. (Oficina).

Integrando Mídias para o Ensino com Números Inteiros. 2008. (Oficina).

Métodos de Prova. 2008. (Oficina).

Fogo, Terra, Água, Ar e Cosmos: A Mitologia e a Matemática de Platão. 2008. (Oficina).

XX Semana da Licenciatura em Matemática. 2008. (Encontro).

Mágicas Matemáticas. 2007. (Oficina).

Investigando em Geometria Euclidiana com o Wingeom. 2007. (Oficina).

Tradicional X Computador: conceitos e atividades. 2007. (Oficina).

XIX Semana da Licenciatura em Matemática. 2007. (Encontro).

Produções bibliográficas

VAINE, C. A. . Elementos algébricos para a formalização do termo "muitos". In: 8º Brazilian Congress on Dynamics, Control and Applications, 2009, Bauru. Proceedings of the 8º Brazilian Congress on Dynamics, Control and Applications, 2009. v. 8.
VAINE, C. A. . Elementos algébricos para a formalização do termo "muitos". In: 8º Brazilian Congress on Dynamics, Control and Applications, 2009, Bauru. Technical Program and Booklet of Abstracts, 2009. p. 84-84.
VAINE, C. A. . A Decidibilidade da Lógica Proposicional para Muitos. In: XXI Congresso de Iniciação Científica da UNESP, 2009, São José do Rio Preto. XXI Congresso de Iniciação Científica da UNESP, 2009.
VAINE, C. A. . A Lógica Proposicional para Muitos em Tablôs. 2010. (Apresentação de Trabalho/Congresso).
VAINE, C. A. . Elementos Algébricos para a formalização do termo "muitos". 2009. (Apresentação de Trabalho/Congresso).
VAINE, C. A. . A Decidibilidade para a Lógica Proposicional para Muitos. 2009. (Apresentação de Trabalho/Congresso).
VAINE, C. A. . Filtros para Muitos. 2009. (Apresentação de Trabalho/Outra).

Outras produções

VAINE, C. A. . A Lógica Proposicional do Muito em Tablôs. 2010. (Relatório de pesquisa).

VAINE, C. A. . A Decidibilidade da Lógica Proposicional do Muito. 2009. (Relatório de pesquisa).

Projetos de pesquisa

2010 - 2010

A Lógica Proposicional do Muito em Tablôs, Descrição: Este projeto apresenta a lógica proposicional do muito em um sistema de tablôs analíticos e mostra sua equivalência com a versão axiomática da lógica proposicional do muito.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Camila Augusta Vaine - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2010 - 2010

A Lógica Proposicional do Muito em Tablôs - Teorema da Compacidade, Descrição: Este projeto investiga amplamente a lógica proposicional do muito no sistema de tablôs e estabece algumas propriedades.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Camila Augusta Vaine - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2009 - 2009

A Decidibilidade da Lógica Proposicional do Muito, Descrição: Este trabalho investiga amplamente a lógica proposicional do muito e suas principais propriedades, em especial a decidibilidade.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Camila Augusta Vaine - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

Prêmios

2011

Certificado de Mérito Acadêmico, Unesp - Universidade Estadual Paulista "Julio de Mesquita Filho".

Histórico profissional

Experiência profissional

2007 - 2010

Universidade Estadual Paulista Júlio de Mesquita Filho

Vínculo: Aluna de graduação, Enquadramento Funcional: Aluna, Regime: Dedicação exclusiva.