Rede de Colaboração
Diretório de grupos de pesquisa

Andreas Bernhard Michael Brunner

possui mestrado em Matemática - Ludwig-Maximiliains-Universitaet Muenchen (1993) e doutorado em Matemática pela Universidade de São Paulo (2000). Atualmente é Adjunto III da Universidade Federal da Bahia. Tem experiência na área de Matemática, com ênfase em Matemática Pura, atuando principalmente nos seguintes temas: lógicas clássica e não-clássicas, em particular, a lógica intuicionista de Brouwer-Heyting, álgebra e reticulados.
(Texto informado pelo autor)

Última atualização do currículo em 07/12/2011
Endereço para acessar este CV:
http://lattes.cnpq.br/3790529583648128
Dados pessoais
NomeAndreas Bernhard Michael Brunner
Nome em citações bibliográficasBRUNNER, A. B. M.
SexoMasculino
Endereço profissionalUniversidade Federal da Bahia, Instituto de Matemática.
Av. Ademar de Barros s/n
Ondina
40170-210 - Salvador, BA - Brasil
Telefone: (071) 32636316

Formação acadêmica/Titulação
2001 - 2002Pós-Doutorado .
Universidade Estadual de Campinas, UNICAMP, Brasil.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo .
Grande área: Ciências Exatas e da Terra / Área: Matemática.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógica.
Grande área: Ciências Humanas / Área: Filosofia.
1995 - 2000Doutorado em Matemática .
Universidade de São Paulo, USP, Brasil.
Título: O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting, Ano de Obtenção: 2000.
Orientador: Francisco Miraglia.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior .
Palavras-chave: Lógica; Teoria dos Modelos; Feixes; Intuicionismo.
Grande área: Ciências Exatas e da Terra / Área: Matemática.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógica.
1992 - 1993Mestrado em Matemática .
Ludwig-Maximiliains-Universitaet Muenchen.
Título: Integralformeln fuer analytische Polyeder, Ano de Obtenção: 1993.
Orientador: Otto Forster.
Palavras-chave: Análise Complexa; Teoria dos Feixes.
Grande área: Ciências Exatas e da Terra / Área: Matemática.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Análise.

Atuação profissional
Universidade Federal da Bahia, UFBA, Brasil.
Vínculo institucional
2010 - Atual Vínculo: Servidor Público, Enquadramento Funcional: Adjunto IV, Regime: Dedicação exclusiva.
Vínculo institucional
2008 - 2010 Vínculo: Servidor Público, Enquadramento Funcional: Adjunto III, Regime: Dedicação exclusiva.
Vínculo institucional
2005 - 2008 Vínculo: Servidor Público, Enquadramento Funcional: Adjunto II, Carga horária: 40
Vínculo institucional
2003 - 2005 Vínculo: Servidor Público, Enquadramento Funcional: Adjunto I, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
11/2008 - AtualExtensão universitária , Conselho de Ensino, Pesquisa e Extensão, .
Atividade de extensão realizada
Membro da Comissão de Revalidação de Diplomas de matemática.
09/2008 - AtualExtensão universitária , Colegiado da Farmácia, .
Atividade de extensão realizada
Membro do Colegiado.
08/2008 - AtualAtividades de Participação em Projeto, Instituto de Matemática, .
Projetos de pesquisa
Lógicas Clássica, Intuicionista e Domínios
12/2007 - AtualAtividades de Participação em Projeto, Instituto de Matemática, .
Projetos de pesquisa
Grupo de Pesquisa em Lógicas Abstratas (cadastrado junto ao CNPq)
10/2007 - AtualExtensão universitária , Colegiado da Ciência da Computação, .
Atividade de extensão realizada
Membro do Colegiado.
06/2003 - AtualEnsino, Matemática, Nível: Graduação.
Disciplinas ministradas
Álgebra Ia (Números, Lógica, Conjuntos, Reticulados)
Álgebra II (Teoria dos Anéis)
Estruturas Matemáticas (Filosofia da Matemática)
Fundamentos II (Geometria Euclideana)
Grupos e Anéis II (2008.2)
Matemática Discreta II (Teoria dos Números, Teoria dos Reticulados)
Teoria dos Conjuntos (curso de verão dada em conjunto com Prof. Dr. Samuel Gomes da Silva)
Tópicos de Álgebra (Teoria das Categorias)
2011 - 2012Atividades de Participação em Projeto, Instituto de Matemática, .
Projetos de pesquisa
Reticulados, lógica e teoremas de ponto fixo
2010 - 2011Atividades de Participação em Projeto, Instituto de Matemática, .
Projetos de pesquisa
Domínios e lógicas abstratas
03/2010 - 07/2010Ensino, Matemática, Nível: Graduação.
Disciplinas ministradas
Matemática Discreta I
Tópicos em Álgebra
2009 - 2010Atividades de Participação em Projeto, Instituto de Matemática, .
Projetos de pesquisa
Lógica Intuicionista e Topos
08/2009 - 12/2009Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Matemática Discreta II
Matemática Discreta I
03/2009 - 07/2009Ensino, Matemática, Nível: Graduação.
Disciplinas ministradas
Álgebra linear IB
Matemática Discreta II
08/2008 - 12/2008Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Matemática Discreta I
08/2008 - 12/2008Ensino, Matemática, Nível: Graduação.
Disciplinas ministradas
Grupos e Anéis II: Teoria dos Grupos e Anéis avançada.
11/2006 - 11/2008Extensão universitária , Conselho de Ensino, Pesquisa e Extensão, .
Atividade de extensão realizada
Membro da Comissão de Revalidação de Diplomas de Matemática.
09/2006 - 09/2008Extensão universitária , Colegiado da Farmácia, .
Atividade de extensão realizada
Membro do Colegiado.
02/2008 - 07/2008Ensino, Matemática, Nível: Graduação.
Disciplinas ministradas
Matemática Básica II: Teoria dos Números para Licenciatura em Matemática
Tópicos de Álgebra: Álgebra Universal
08/2007 - 12/2007Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Matemática Discreta II para Ciência da Computação
10/2005 - 10/2007Extensão universitária , Colegiado da Ciência da Computação, .
Atividade de extensão realizada
Membro do Colegiado.
02/2007 - 07/2007Ensino, Matemática, Nível: Graduação.
Disciplinas ministradas
Fundamentos II: Geometria Euclidiana Plana Axiomática para Matemática
02/2007 - 07/2007Ensino, Matemática, Nível: Pós-Graduação.
Disciplinas ministradas
Topologia Geral para Matemática (Pós-Graduação)
01/2007 - 02/2007Ensino, Matemática, Nível: Pós-Graduação.
Disciplinas ministradas
Teoria dos Conjuntos para o curso de verão: disciplina ministrada em conjunto com Prof. Dr. Samuel Gomes da Silva
08/2006 - 12/2006Ensino, Matemática, Nível: Graduação.
Disciplinas ministradas
Álgebra II: Teoria dos Anéis para Matemática
07/2005 - 12/2006Atividades de Participação em Projeto, Instituto de Matemática, .
Projetos de pesquisa
Aspectos Algébricos e Topológicos em Lógica
02/2006 - 07/2006Ensino, Matemática, Nível: Graduação.
Disciplinas ministradas
Fundamentos II: Geometria Euclidiana Plana Axiomática para Matemática
02/2006 - 07/2006Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Álgebra Ia: Conceitos de Álgebra para Ciência da Computação
02/2006 - 07/2006Ensino, Filosofia, Nível: Graduação.
Disciplinas ministradas
Estruturas Matemáticas: Filosofia da Matemática para a Filosofia
08/2005 - 12/2005Ensino, Matemática, Nível: Graduação.
Disciplinas ministradas
Fundamentos II: Geometria Euclidiana Plana Axiomática para Matemática
08/2005 - 12/2005Ensino, Filosofia, Nível: Graduação.
Disciplinas ministradas
Estrutras Matemáticas: Filosofia da Matemática para Filosofia
10/2003 - 10/2005Extensão universitária , Colegiado de Engenharia Sanitária e Ambiental, .
Atividade de extensão realizada
membro do colegiado.
03/2005 - 07/2005Ensino, Matemática, Nível: Pós-Graduação.
Disciplinas ministradas
Topologia Geral para Matemática
02/2005 - 07/2005Ensino, Matemática, Nível: Graduação.
Disciplinas ministradas
Fundamentos II: Geometria Euclidiana Plana Axiomática para Matemática
08/2004 - 07/2005Atividades de Participação em Projeto, Instituto de Matemática, .
Projetos de pesquisa
Lógicas Intuicionistas e Paraconsistentes

Projetos de Pesquisa
2011 - 2012Reticulados, lógica e teoremas de ponto fixo
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) .
Integrantes: Andreas Bernhard Michael Brunner - Coordenador.
.
2010 - 2011Domínios e lógicas abstratas
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação ( 1) .
Integrantes: Andreas Bernhard Michael Brunner - Coordenador.
.
2009 - 2010Lógica Intuicionista e Topos
Descrição: Projeto de Pesquisa elaborado junto a Iniciação Ciêntífica (PIBIC) da UFBA.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) .
Integrantes: Andreas Bernhard Michael Brunner - Coordenador.
.
2008 - 2009Lógicas Clássica, Intuicionista e Domínios
Descrição: Neste projeto de pesquisa do PIBIC estudamos vários tipos de lógicas (clássica e intuicionista de Brouwer-Heyting), teoria dos reticulados e domínios. A relação com lógicas abstratas também está sendo estabilizado..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 3) .
Integrantes: Andreas Bernhard Michael Brunner - Coordenador.
.
2007 - AtualGrupo de Pesquisa em Lógicas Abstratas (cadastrado junto ao CNPq)
Descrição: Estudamos lógicas abstratas, i.e., o que é uma lógica? Como definir lógica abstrata. Quais propriedades tem uma lógica abstrata e fazemos conexões com a teoria da computação..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) .
Integrantes: Steffen Lewitzka - Integrante / Carolina da Silva Santos - Integrante / Emanuelle Rose Romero de Santana - Integrante / Andreas Bernhard Michael Brunner - Coordenador.

Número de produções C, T & A: 1 / Número de orientações: 2.
2005 - 2006Aspectos Algébricos e Topológicos em Lógica
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 1) .
Integrantes: Andreas Bernhard Michael Brunner - Coordenador.
Número de orientações: 2.
2004 - 2005Lógicas Intuicionistas e Paraconsistentes
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação ( 2) .
Integrantes: Marco Othoniel Argolo Santos - Integrante / Edgard Upinho dos Santos Neto - Integrante / Andreas Bernhard Michael Brunner - Coordenador.
.

Áreas de atuação
1. Grande área: Ciências Exatas e da Terra / Área: Matemática.
2. Grande área: Ciências Humanas / Área: Filosofia.
3. Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógica / Especialidade: Lógicas clássica e não-clássicas.
4. Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Conjuntos.
5. Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.
6. Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra.

Idiomas
Alemão Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1.   LEWITZKA, S. ; BRUNNER, A. B. M. . Minimally Generated Abstract Logics. Logica Universalis (Print), v. 3, p. 219-241, 2009.
2.   BRUNNER, A. B. M. ; CARNIELLI, W. . Anti-intuitionism and paraconsistency. Journal of Applied Logic, Elsevier, v. 3, p. 161-184, 2005.
3.   BRUNNER, A. B. M. ; MIRAGLIA, F. . An Omitting Types Theorem for Sheaves over Topological Spaces. Logic Journal of the IGPL, v. 12(6), n. Nov./Dec., p. 525-548, 2004.
4.   BRUNNER, A. B. M. . First-order Anti-intuitionistic Logic with Apartness. Logic and Logical Philosophy, Períodico, v. 13, p. 75-86, 2004.
5. BRUNNER, A. B. M. ; CARNIELLI, W. . Anti-Intuitionism and Paraconsistency. CLE e-Prints (Online), Campinas, v. 3, n. 1, 2003.
Resumos publicados em anais de congressos
1. BRUNNER, A. B. M. ; LEWITZKA, S. . Topological representation of intuitionistic and distributive abstract logics. In: XVI. Encontro Brasileiro de Lógica, 2011, Petrópolis. XVI. Encontro Brasileiro de Lógica, 2011.
2.   BRUNNER, A. B. M. . Dualizing Intuitionistic Logics. In: XIII Encontro Brasileiro de Lógica (SBL), 2003, Campinas. CLE/SBL 25 Anos. Campinas : CLE Unicamp, 2003. p. 52-52.
3. BRUNNER, A. B. M. . Dualizing Intuitionistic Logics. In: XII. Encontro Brasileiro de Lógica, 2003, Campinas. XIII. Encontro Brasileiro de Lógica. Campinas : CLE Unicamp, 2003.
4. BRUNNER, A. B. M. . First-order anti-intuitionistic logic with apartness. In: X. Encontro Nacional de Filosofia, 2002, São Paulo. ANPOF. Campinas : Associção Nacional de Pós-Graduação de Filosofia, 2002. p. 236-236.
5. BRUNNER, A. B. M. . First Order Anti-intuitionistic Logic with Apartness. In: X. Encontro Brasileiro de Filosofia - ANPOF, 2002. X. Encontro Brasileiro de Filosofia (ANPOF). São Paulo, 2002.
Resumos publicados em anais de congressos(artigos)
1. BRUNNER, A. B. M. ; CARNIELLI, W. . Kripke semantics for anti-intuitionistic logics. Journal of Symbolic Logic, Logic Colloquium 2001, v. 8, n. 1, p. 168-168, 2001.
Apresentações de Trabalho
1. BRUNNER, A. B. M. ; LEWITZKA, S. . Topological representation of intuitionistic and distributive abstract logics. 2011. (Apresentação de Trabalho/Comunicação).
2. BRUNNER, A. B. M. . Lógica e Álgebra. 2011. (Apresentação de Trabalho/Seminário).
3. BRUNNER, A. B. M. . Representações topológicas de lógicas abstratas. 2011. (Apresentação de Trabalho/Seminário).
4. BRUNNER, A. B. M. . Introdução a Lógica Clássica. 2010. (Apresentação de Trabalho/Seminário).
5. BRUNNER, A. B. M. . Introdução à teoria dos reticulados. 2009. (Apresentação de Trabalho/Seminário).
6. BRUNNER, A. B. M. . Introdução à teoria dos reticulados. 2009. (Apresentação de Trabalho/Seminário).
7. BRUNNER, A. B. M. . A história da lógica. 2004. (Apresentação de Trabalho/Comunicação).
8. BRUNNER, A. B. M. . Dualizing intuitionistic logics. 2003. (Apresentação de Trabalho/Comunicação).

Bancas
Participação em bancas examinadoras
Dissertações
1. Weiss, M.A.; Bianconi, R.; BRUNNER, A. B. M.. Participação em banca de Bruno Costa Coscarelli. Introdução a Lógica Modal. 2009. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.
2. BRUNNER, A. B. M.; CARNIELLI, W.; André Fuhrmann. Participação em banca de Alexandre Fernandes Batista Costa Leite. Paraconsistência, modalidades e cognoscibilidade. 2003. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.
Trabalhos de Conclusão de Curso de graduação
1. Romero, M.S.; BRUNNER, A. B. M.; Bahiano, C. E. N.. Participação em banca de Darllan Conceição Pinto. Representação de reticulados distributivos através do espaço de Priestley. 2010. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal da Bahia.
2. Romero, M.S.; TERAN, E. C.; BRUNNER, A. B. M.. Participação em banca de Attila Silva Martins. Métodos de ponto interior para o problema de programação linear. 2010. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal da Bahia.
3. Bahiano, C. E. N.; Romero, M.S.; BRUNNER, A. B. M.. Participação em banca de Aderbal Soares de Aguiar Neto. O grafo zero-divisor de uma anel comutativo. 2010. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal da Bahia.
4. Santos Abdalla, D.; da Silva, S.G.; BRUNNER, A. B. M.. Participação em banca de Marlo Vieira Santos e Souza. Complexidade de Raciocínio em Lógica de Descrição. 2009. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal da Bahia.
5. BRUNNER, A. B. M.; da Silva, S.G.; Costa, T. S. O.. Participação em banca de Emanuele Rose Romero de Santana. A Dualidade de Stone. 2009. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal da Bahia.
6. da Silva, S.G.; BRUNNER, A. B. M.; Romero, M.S.. Participação em banca de Dimi Rocha Rangel. Uma aplicação de ultrafiltros em topologia: um espaço compacto sem sequências convergentes não triviais. 2009. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal da Bahia.
7. MANDOLESI, A. L. G.; da Silva, S.G.; BRUNNER, A. B. M.. Participação em banca de Rodrigo Aguiar von Flach. A Geometria Hiperbólica e o Disco de Poincaré. 2009. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal da Bahia.
Participação em bancas de comissões julgadoras
Concurso público
1. Mariano, H.L.; Coniglio, M.E.; BRUNNER, A. B. M.. Concurso Público para Professor Adjunto na área de Lógica e Teoria dos Conjuntos. 2010. Universidade Federal da Bahia.
2. BRUNNER, A. B. M.. Concurso para Professor Assistente na área de álgebra. 2007. Universidade Estadual do Sudeste da Bahia - Jequié.
3. BRUNNER, A. B. M.; MIRANDA, R.; SANTOS, S. R.. Concurso Público para Professor Assistente na área de Filosofia e História da Matemática e Lógica Matemática. 2005. Universidade do Estado da Bahia.
4. CASTRO JUNIOR, A.; TERAN, E. C.; BRUNNER, A. B. M.. Concurso para Professor Adjunto I na área de matemática. 2005. Centro Federal de Educação Tecnológica.
5. BRUNNER, A. B. M.; MENEZES, M. B.; RIBEIRO, R. R.. Concurso Público para Professor Assistente - Álgebra. 2004. Universidade Estadual de Feira de Santana.
Outras participações
1. BRUNNER, A. B. M.. Banca para Progressão Funcional da Professora Márcia Barbosa de Menezes. 2010. Universidade Federal da Bahia.
2. BRUNNER, A. B. M.. Banca para Progressão Funcional da Professora Maria Cristina Menezes de Sá. 2010. Universidade Federal da Bahia.
3. Carvalho, J.R.M.; BRUNNER, A. B. M.; Cerqueira, J.J.F.. Progressão Funcional do Professor Maurício Romero Sicre. 2010. Universidade Federal da Bahia.

Eventos
Participação em eventos
1. XVI. Encontro Brasileiro de Lógica (EBL).Topological representation of intuitionistic and distributive abstract logics. 2011. (Congresso).
2. Miniencontro de Lógica do ICMC.Representações topológicas de lógicas abstratas. 2011. (Encontro).
3. XIII. Encontro de Matemática da UFBA.Introdução a Lógica Clássica. 2010. (Encontro).
4. Dézimo Segundo Encontro de Matemática.Introdução a Teoria dos Reticulados. 2009. (Encontro).
5. LSFA2008 - Workshop on Logical and Semantic Frameworks. 2008. (Congresso).
6. Dézimo Primeiro Encontro da Matemática - Damat-UFBA.Lógicas Clássica e Não-Clássicas. 2008. (Encontro).
7. Seminário da UNB - Brasília.Lógicas Abstratas: O Caso Intuicionista. 2007. (Seminário).
8. Dézimo Encontro de Matemática (Damat_UFBA).Reticulados e Lógica. 2007. (Encontro).
9. Seminários de Iniciação Científica.Lógicas Clássica e Não-clássicas. 2006. (Seminário).
10. Nono Encontro de Matemática (Damat-UFBA).A lógica intuicionista de Brouwer-Heyting. 2006. (Encontro).
11. Seminário da USP-São Carlos.Aspectos topológicos em lógica. 2005. (Seminário).
12. VII. Jornada da Olimpíada de Matemática.A História da Lógica. 2004. (Encontro).
13. XII. Encontro Brasileiro de Lógica.Dualizing intuitionistic logics. 2003. (Congresso).
14. X. Encontro Brasileiro de Filosofia - ANPOF.First order anti-intuitionistic logic with apartness. 2002. (Congresso).
15. Encontro Brasileiro de Matemática. 1997. (Congresso).
Organização de eventos
1. BRUNNER, A. B. M. ; AYALA-RINCÓN, M. ; ANDRADE, A. M. S. ; HAEUSLER, E.H. ; PIMENTEL, E. ; BENEVIDES, M. . Logical and Semantic Frameworks with Applications - LSFA 2008. 2008. (Congresso).

Orientações
Orientações em andamento
Dissertação de mestrado
1. Emanuele Rose Romero Santana. Dualidades bitopológicas. Início: 2010. Dissertação (Mestrado em Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).
Trabalho de conclusão de curso de graduação
1. Paulo Raimundo Stering Malta. Sobre os teoremas de ponto fixo de Tarski e Banach. Início: 2011. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal da Bahia. (Orientador).
Iniciação científica
1. Fabrício Antônio Oliveira dos Santos. Reticulados, Lógica e Teoremas do Ponto Fixo. Início: 2011. Iniciação científica (Graduando em Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).
Supervisões e orientações concluídas
Trabalho de conclusão de curso de graduação
1. Darllan Conceição Pinto. Representação de reticulados distributivos através do espaço de Priestley. 2010. Trabalho de Conclusão de Curso. (Graduação em Matemática) - Universidade Federal da Bahia. Orientador: Andreas Bernhard Michael Brunner.
2. Emanuele Rose Romero de Santana. A Dualidade de Stone. 2009. Trabalho de Conclusão de Curso. (Graduação em Matemática) - Universidade Federal da Bahia. Orientador: Andreas Bernhard Michael Brunner.
Iniciação Científica
1. Darllan Conceição Pinto. Domínio e lógicas abstratas. 2010. Iniciação Científica. (Graduando em Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Andreas Bernhard Michael Brunner.
2. Darllan Conceição Pinto. Teoria das Categorias e Lógica. 2009. Iniciação Científica. (Graduando em Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Andreas Bernhard Michael Brunner.
3. Alexandre de Souza Simões. Intuicionismo. 2009. Iniciação Científica. (Graduando em Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Andreas Bernhard Michael Brunner.
4. Emanuele Rose Romero de Santana. Lógica Intuicionista. 2008. Iniciação Científica. (Graduando em Matemática) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia. Orientador: Andreas Bernhard Michael Brunner.
5. Darllan Conceição Pinto. Lógica Clássica e Reticulados. 2008. Iniciação Científica. (Graduando em Matemática) - Universidade Federal da Bahia. Orientador: Andreas Bernhard Michael Brunner.
6. Carolina da Silva Santos. Reticulados e Lógica. 2007. Iniciação Científica. (Graduando em Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Andreas Bernhard Michael Brunner.
7. Emanuele Rose Romero de Santana. Lógica Matemática. 2007. Iniciação Científica. (Graduando em Matemática) - Universidade Federal da Bahia. Orientador: Andreas Bernhard Michael Brunner.
8. Edgard Upinho dos Santos Neto. Aspectos topológicos em lógica. 2006. Iniciação Científica. (Graduando em Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Andreas Bernhard Michael Brunner.
9. Edgard Upinho dos Santos Neto. Aspectos algébricos em lógica. 2005. Iniciação Científica. (Graduando em Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Andreas Bernhard Michael Brunner.
10. Edgard Upinho dos Santos Neto. Lógicas Intuicionistas e Paraconsistentes. 2004. Iniciação Científica. (Graduando em Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Andreas Bernhard Michael Brunner.
11. Marco Othoniel Argolo Santos. Lógicas Intuicionistas e Paraconsistentes. 2004. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Andreas Bernhard Michael Brunner.

Outras informações relevantes 
Organização (semanal) de Jogos de Futebol com alunos da graduação da UFBA durante o ano de 2004..
Página gerada pelo Sistema Currículo Lattes em 12/02/2012 às 2:13:41