Carlos Gustavo Gonzalez

  • Endereço para acessar este CV: http://lattes.cnpq.br/2262227235584491
  • Última atualização do currículo em 28/04/2016


Possui graduação em Filosofia - Universidad Del Salvador (1984), mestrado em Lógica e Filosofia da Ciência pela Universidade Estadual de Campinas (1991) e doutorado em Lógica e Filosofia da Ciência pela Universidade Estadual de Campinas (1994). Atualmente é professor da Universidade Federal de Uberlânida. Tem experiência nas áreas de Filosofia, Lógica e Ciência da Computação (com ênfase em Inteligência Artificial). (Texto informado pelo autor)


Identificação


Nome
Carlos Gustavo Gonzalez
Nome em citações bibliográficas
GONZALEZ, C. G.;GONZÁLEZ, CARLOS

Endereço


Endereço Profissional
Universidade Federal de Uberlândia, Faculdade de Artes, Filosofia e Ciências Sociais, Departamento de Filosofia.
João Naves de Avila, 2121
Santa Mônica
38400-902 - Uberlandia, MG - Brasil
Telefone: (34) 32394185
URL da Homepage: http://www.ufu.br


Formação acadêmica/titulação


1991 - 1994
Doutorado em Lógica e Filosofia da Ciência.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Ordens densas, partições e o axioma da escolha, Ano de obtenção: 1994.
Orientador: Luiz Paulo de Alcantara.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: conjuntos; Consistencia; axioma da escolha.
Grande área: Ciências Humanas
1990 - 1991
Mestrado em Lógica e Filosofia da Ciência.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Modelos da Teoria de Zermelo,Ano de Obtenção: 1991.
Orientador: Luiz Paulo de Alcantara.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: conjuntos; modelos; Zermelo; axioma.
Grande área: Ciências Humanas
1979 - 1984
Graduação em Filosofia.
Universidad Del Salvador, SALVADOR, Argentina.


Pós-doutorado


1994 - 1996
Pós-Doutorado.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Exatas e da Terra


Atuação Profissional



Universidade Federal de Uberlândia, UFU, Brasil.
Vínculo institucional

2010 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto I, Regime: Dedicação exclusiva.

Atividades

09/2010 - Atual
Pesquisa e desenvolvimento , Faculdade de Artes, Filosofia e Ciências Sociais, Departamento de Filosofia.

Linhas de pesquisa
Conhecimento e ética

Universidade Estadual de Campinas, UNICAMP, Brasil.
Vínculo institucional

1998 - 2000
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Profesor MTS-II-A, Carga horária: 20

Vínculo institucional

1996 - 1996
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor visitante, Carga horária: 4

Vínculo institucional

1994 - 1996
Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Professor visitante, Carga horária: 45, Regime: Dedicação exclusiva.

Atividades

07/1999 - 02/2000
Serviços técnicos especializados , Centro Tecnologico de Limeira, .

Serviço realizado
Aministrador da Rede.
03/1999 - 02/2000
Serviços técnicos especializados , Centro Tecnologico de Limeira, .

Serviço realizado
Responsavel pelo laboratorio de informatica.
08/1997 - 02/2000
Ensino,

Disciplinas ministradas
Estruturas de arquivos
Sistemas Operacionais
Metodologia do Trabalho Científico
Linguagens e Técnicas de Programação I
Laboratório de Programação IV
04/1994 - 03/1996
Ensino, Lógica e Filosofia da Ciência, Nível: Pós-Graduação

Disciplinas ministradas
Teoria de Modelos
Computabilidade
Teoria de Conjuntos I
``Tópicos especiais de Lógica II'' (Inteligência Artificial)

Universidad de Buenos Aires, UBA, Argentina.
Vínculo institucional

1985 - 1990
Vínculo: Contratado - Concursado, Enquadramento Funcional: Professor, Carga horária: 20

Atividades

09/1989 - 02/1990
Ensino,

Disciplinas ministradas
Logica para computadores
03/1985 - 02/1990
Ensino,

Disciplinas ministradas
Introduccion al conocimiento cientifico
07/1989 - 08/1989
Ensino,

Disciplinas ministradas
Logica computacional - Escuela de ciencias informaticas

Faculdade de Tecnoplogia de Americana, FATEC-AM, Brasil.
Vínculo institucional

1996 - 1998
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Associado, Carga horária: 12

Atividades

07/1996 - 06/1998
Ensino,

Disciplinas ministradas
Linguagens e tecnicas de Programacao
Sistemas de Computacao

Universidade de Sorocaba, UNISO, Brasil.
Vínculo institucional

2000 - 2009
Vínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 20
Outras informações
A disciplina "Matemática Discreta tinha 80% de seu programa em áreas de lógica: Definição;Demonstração;Lógica proposicional e de Primeira Ordem e Teoria de Conjuntos. Foram lecionadas diversas disciplinas da área de computação, mas o item "Atividades" não permite mais acréscimos. Ver relação em anexo

Atividades

08/2005 - Atual
Pesquisa e desenvolvimento , Reitoria, Pró-Reitoria de Pós-Graduação e Pesquisa.

03/2000 - 12/2009
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Epistemologia das ciências humanas (1o sem 2006;2o sem 2009)
Filosofia da ciência (2o sem 2006;2o sem 2007;2o sem 2008;2o sem 2009)
Lógica clássica (2o sem 2001;1o sem 2003;2o sem 2004)
Lógica matemática (1o.e 2o.sem 2002;1o.e 2o.sem 2004;1o.e 2o.sem 2005;1o.e 2o.sem 2006;1o.sem 2007)
Matemática discreta (área de lógica) (1o.sem 2002;1o.e 2o.sem2003;1o.sem 2004, de 2005, de 2006, de 2007, de 2008; 2o.sem 2009)
Teoria do conhecimento: Epistemologia geral (1o sem 2003;2o sem 2003)
Teoria do conhecimento: Filosofia da Ciência (1o sem/2001;1o sem 2002;2o. sem 2002;1o sem 2005)
Trabalho de conclusão de curso - Filosofia (2o.sem 2000;1o.e 2o.sem 2003) --- O CV Lattes não permite mais acréscimos --- Ver relação em anexo
06/2003 - 07/2005
Pesquisa e desenvolvimento , Reitoria, Pró-Reitoria de Pós-Graduação e Pesquisa.


Faculodade de Tecnologica de Taquaritinga, FATEC-TQ, Brasil.
Vínculo institucional

1997 - 1998
Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 4

Atividades

9/1996 - 1/1997
Ensino,

Disciplinas ministradas
Sistemas operacionais

Instituto Manchester Paulista de Educação Superior, IMAPES, Brasil.
Vínculo institucional

2001 - 2005
Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 4

Atividades

03/2005 - 06/2005
Estágios , Departamento de Informatica, .

Estágio realizado
Orientação iniciação científica.
02/2001 - 06/2005
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Pesquisa e ordenação
Estrutura de dados
Computabilidade
Logica matematica

Universidad CAECE, CAECE, Argentina.
Vínculo institucional

1986 - 1990
Vínculo: Contratado, Enquadramento Funcional: Professor, Carga horária: 4

Atividades

08/1986 - 02/1990
Ensino, Doctorado en Sistemas, Nível: Pós-Graduação

Disciplinas ministradas
Logica matematica

Universidad Del Salvador, SALVADOR, Argentina.
Vínculo institucional

1986 - 1987
Vínculo: Contratado, Enquadramento Funcional: Professor, Carga horária: 2

Atividades

04/1986 - 03/1987
Ensino,

Disciplinas ministradas
Filosofia de la Ciencia

Centro Universitario Nossa Senhora do Patrocinio, CEUNSP, Brasil.
Vínculo institucional

1998 - 2002
Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 20

Atividades

08/1998 - 01/2002
Ensino, Sistemas de informação, Nível: Graduação

Disciplinas ministradas
Informática Básica
Inteligencia Artificial
Linguagens e Técnicas de Programação V e VI
Sistemas Operacionais I e II

Faculdade de Ciências Contábeis de Itapetininga, FCCI, Brasil.
Vínculo institucional

2001 - 2008
Vínculo: Celetista, Enquadramento Funcional: Professor titular, Carga horária: 4

Atividades

03/2001 - Atual
Ensino, Sistemas de informação, Nível: Graduação

Disciplinas ministradas
Algoritmos
Pesquisa e ordenação
Estruturas de dados


Linhas de pesquisa


1.
Tecnologias para desenvolvimento de sistemas de computação

Objetivo: Desenvolver algoritmos e programas que aplicarem novas tecnologias.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Desenvolvimento de Programas (Software) e Prestação de Serviços em Informática.
Palavras-chave: algoritmos; software.
2.
Tecnologias para Desenvolvimento de Sistemas de Computação

Objetivo: Desenvolver algoritmos e programas que aplicarem novas tecnologias.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Desenvolvimento de Programas (Software) e Prestação de Serviços em Informática.
Palavras-chave: software; algoritmos.
3.
Conhecimento e ética


Projetos de pesquisa


2010 - 2012
Interações entre filosofia, matemática e ciência empírica
Descrição: Pretende-se analisar o desenvolvimento conceitual numa visão holística, segundo a qual a filosofia, a matemática e a ciência empírica representam diferentes aspetos de um mesmo desenvolvimento do pensamento, interagindo constantemente e se modificando mutuamente. A visão holística é naturalmente complementada com o estudo interacional, que enfoca as relações recíprocas entre as partes e com o tudo. Este projeto pretende usar essa visão holística e interacional para estudar problemas que se manifestam em diferentes áreas do conhecimento, a filosofia e as ciências, a partir do século XIX e até a atualidade. A pesquisa proposta baseia-se no estudo interacional de problemas que abrangem diferentes áreas do conhecimento. Consiste, fundamentalmente, num estudo histórico desses problemas, centrado em autores chaves que, em cada problema, situam-se na encruzilhada do desenvolvimento das diferentes disciplinas..
Situação: Em andamento; Natureza: Pesquisa.
2009 - 2010
Realismo, determinismo e o Teorema de Bell
Descrição: Será realizada uma pesquisa na área de Filosofia da Ciência sobre o problema do determinismo, discutindo resultados teóricos obtidos na física quântica por J. S. Bell e experimentações realizadas no último quarto do século XX. Em particular, pretende-se analisar se esses resultados e experimentações fornecem uma fundamentação às posições contrárias ao determinismo ou não. Será realizado um estudo crítico de textos científicos e filosóficos tendo sempre em vistas o problema do determinismo..
Situação: Desativado; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Carlos Gustavo Gonzalez - Coordenador.
2009 - 2010
Classificação supervisionada e não supervisionada usando espaços autometrizáveis booleanos
Descrição: A classificação automática nesta pesquisa utiliza padrões de propriedades binárias representadas por vetores de bits: para uma sequência de propriedades binárias (P1,P2,...,Pk), o bit vi do vetor v=(v1,v2,...,vk) tem o valor 1 se o padrão satisfaz a propriedade Pi, 0 no caso contrário. Além disso, como a definição de espaço métrico usa medidas valoradas em R (o conjunto dos número reais), as noções usuais de distância em espaços de vetores de bits também estão valoradas em R (por exemplo, as medidas de Hamming e Jaccard). Entretanto, na década de 1950 foram introduzidos outros espaços, denominados "autometrizáveis", nos quais as métricas estão valorados na mesma álgebra (e não em R). Concebendo conjuntamente espaços autometrizáveis e vetores de bits, temos um novo contexto teórico para ser aplicado em classificação automática. Por outra parte, o conceito de densidade é frequentemente usado em classificação. O problema é, então, como delimitar uma região E do espaço na qual será calculada a densidade, pois nem todo subconjunto do espaço é adequado para ser considerado uma região. Uma condição razoável parece ser que uma região E do espaço S não tenha buracos: se x e z pertencem a E, y pertence a S e y está entre x e z, então y pertence a E. Um resultado muito útil em estudos realizados pelo autor é que, em certos espaços, as bolas fechadas não tem buracos. Em trabalhos anteriores este contexto teórico foi aplicado para obter algoritmos de análise de agrupamentos. O objetivo fundamental desta pesquisa é desenvolver novos algoritmos e técnicas para classificação automática, aplicando o conceito de densidade em espaços autometrizáveis booleanos, tanto para classificação não supervisionada (análise de agrupamentos) como supervisionada, adaptando a este contexto teórico técnicas de aprendizado de máquina..
Situação: Desativado; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Carlos Gustavo Gonzalez - Coordenador.
2007 - 2009
Aplicação em Análise de Agrupamentos de Técnicas Baseadas em Densidade em Espaços Booleanos
Descrição: Estudo matemático do conceito de densidade nos espaços booleanos autometrizáveis para criar algoritmos de análise de agrupamentos..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) .
Integrantes: Carlos Gustavo Gonzalez - Coordenador.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Número de produções C, T & A: 1
2005 - 2006
Técnicas baseadas em densidade em análise de agrupamentos
Descrição: O conceito geométrico de densidade em álgebras de Boole é aplicado em anállise de agrupamentos para a obtenção de novas técnicas e algoritmos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) .
Integrantes: Carlos Gustavo Gonzalez - Coordenador / Andréa Lúcia Veira Rodrígues - Integrante / Waldemar Bonventi Jr. - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
2003 - 2005
Aplicações de Álgebras de Boole em Análise de Agrupamentos
Descrição: Desenvolvimento de novas técnicas e algoritmos de análise de agrupamentos (clustering), baseados nas características dos espaços boolenos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) .
Integrantes: Carlos Gustavo Gonzalez - Coordenador / Andréa Lúcia Veira Rodrígues - Integrante.
Número de produções C, T & A: 2


Revisor de periódico


2010 - Atual
Periódico: Educação e Filosofia (UFU. Impresso)


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógica.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligencia Artificial.
3.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Epistemologia.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Álgebras de Boole e espaços métricos.
6.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Geometria e Topologia/Especialidade: Topologia de espaços métricos.


Idiomas


Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Razoavelmente, Fala Pouco, Lê Bem, Escreve Razoavelmente.
Alemão
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Razoavelmente.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Italiano
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Grego
Lê Razoavelmente, Escreve Pouco.
Latim
Compreende PoucoLê Razoavelmente, Escreve Pouco.


Prêmios e títulos


1984
Diploma de honor, Universidad del Salvador.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
GONZÁLEZ, CARLOS2015GONZÁLEZ, CARLOS. DAVID HILBERT E O AXIOMA DE ARQUIMEDES: ENTRE A GEOMETRIA E A FÍSICA. Educação e Filosofia (Online), v. 29, p. 343-379, 2015.

2.
GONZALEZ, C. G.;GONZÁLEZ, CARLOS2012GONZALEZ, C. G.. Alguns comentários sobre pitagorismo, exatidão e física. Revista Brasileira de Filosofia, v. 238, p. 153-176, 2012.

3.
GONZALEZ, C. G.;GONZÁLEZ, CARLOS2011GONZALEZ, C. G.. Paradoxos, o infinito e a intuição geométrica. Educação e Filosofia (UFU. Impresso), v. 25, p. 717-739, 2011.

4.
GONZALEZ, C. G.;GONZÁLEZ, CARLOS2010GONZALEZ, C. G.. Partitioning an infinite set. CLE e-Prints (Online), v. 10, p. 5, 2010.

5.
GONZALEZ, C. G.;GONZÁLEZ, CARLOS2008GONZALEZ, C. G.. Clustering applications of density on boolean-valued spaces. CLE e-Prints (Online), v. 8, p. 6, 2008.

6.
GONZALEZ, C. G.;GONZÁLEZ, CARLOS2003GONZALEZ, C. G.. GENERALIZAÇÃO DE DISTÂNCIAS VALORADAS EM ÁLGEBRAS DE BOOLE EM ANÁLISE DE AGRUPAMENTOS. Revista Científica do IMAPES, Sorocaba, v. 1, n.1, p. 33-40, 2003.

7.
GONZALEZ, C. G.;GONZÁLEZ, CARLOS2001 GONZALEZ, C. G.; Maia, E.C. . Aplicação de Produtos de Álgebras de Boole Produto em Reconhecimento de padrões. Revista de Estudos Universitárias (Sorocaba), Sorocaba, SP, v. 27, n.1, p. 75-88, 2001.

8.
GONZALEZ, C. G.;GONZÁLEZ, CARLOS1999GONZALEZ, C. G.. Velocidade dos Computadores, Paralelismo e os Processadores Modernos. Revista do CEUNSP, Itu, SP, v. 4, n.1, p. 115-130, 1999.

9.
GONZALEZ, C. G.;GONZÁLEZ, CARLOS1995GONZALEZ, C. G.. Sobre el agregado de axiomas a ZF. Theoria, San Sebastián, v. 10, n.24, p. 199-224, 1995.

10.
GONZALEZ, C. G.;GONZÁLEZ, CARLOS1995 GONZALEZ, C. G.. Dense Orderings, Partitions and Weak Forms of Choice,. Fundamenta Mathematicae, v. 147, p. 11-25, 1995.

11.
GONZALEZ, C. G.;GONZÁLEZ, CARLOS1994GONZALEZ, C. G.. Platonismo e extensões da teoria de conjuntos. Cadernos de História e Filosofia da Ciência (UNICAMP), Campinas, SP, v. 4, n.2, p. 95-109, 1994.

12.
GONZALEZ, C. G.;GONZÁLEZ, CARLOS1992GONZALEZ, C. G.. A Note on Zermelo Set Theory. Bulletin of the Section of Logic, Lodz, v. 21, n.1, p. 28-30, 1992.

13.
GONZALEZ, C. G.;GONZÁLEZ, CARLOS1991GONZALEZ, C. G.. La crítica de los matemáticos franceses a la prueba de Zermelo. Análisis Filosófico, Buenos Aires, v. 11, p. 17-37, 1991.

14.
GONZALEZ, C. G.;GONZÁLEZ, CARLOS1990GONZALEZ, C. G.. The Union Axiom in Zermelo Set Theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, v. 36, p. 281-284, 1990.

15.
GONZALEZ, C. G.;GONZÁLEZ, CARLOS1989GONZALEZ, C. G.. Resenha do livro de Daniel Quesada ``La lógica y su filosofía. Introducción a la lógica''. Revista de Filosofia (Madrid), Buenos Aires, v. 4, p. 110-114, 1989.

Capítulos de livros publicados
1.
GONZALEZ, C. G.; F. S. Naishtat . Apêndice - Teoria de Conjuntos. In: F. S. Naishtat. (Org.). Lógica para Computación. Buenos Aires: Eudeba, 1986, v. , p. 135-145.

Trabalhos completos publicados em anais de congressos
1.
GONZALEZ, C. G.; BONVENTI JR., W. ; A. L. B. Veira Rodrigues . Density of Closed Balls in Real-Valued and Autometrized Boolean Spaces for Clustering Applications. In: Simpósio Brasileiro de Ingeligência Artificial, 2008, Salvador, BA. Advances in Artificial Intelligence - LNAI. Heildelberg: Springer, 2008. v. 5249. p. 8-22.

2.
GONZALEZ, C. G.; A. L. B. Veira Rodrigues ; J. M. de Oliveira Júnior ; Antunes de Almeida, J.L. . Agglomerative Hierarchical Clustering Using New Boolean Dissimilarity Measures. In: LAPTEC 2003, 2003, Marília, SP. Advances in Intelligent Systems and Robotics. Amsterdam: IOS Press. v. 1. p. 130-138.

3.
GONZALEZ, C. G.; Maia, E.C. . Applications of Product Boolean Algebras in Cluster Analysis. In: 2nd Congress of Logic Applied to TechnologyAmsterdam, 2001, Sao Paulo. Logic, Artificial Intelligence and Robotics - Series: Frontiers in Artificial Intelligence and Applications. Amsterdam: IOS Press, 2001. v. 71. p. 101-109.

4.
GONZALEZ, C. G.. Aplicação de Produtos de Álgebras de Boole para Codicar Seqüências de bits. In: I Congresso de Lógica Aplicada à Tecnologia (LAPTEC-2000), 2000, São Paulo. Anais do I Congresso de Lógica Aplicada à Tecnologia (LAPTEC-2000). São Paulo: Pléiade, 2000. p. 679-689.

5.
GONZALEZ, C. G.. Dense Linear Orderings and Weak Forms of Choice. In: Tenth Brazilian Conference on Mathematical Logic, 1995, Itatiai, RJ. Sets and Information. Proceedings of the Tenth Brazilian Conference on Mathematical Logic. Campinas, SP: Coleção CLE, 1995. p. 137-144.

Resumos publicados em anais de congressos
1.
GONZALEZ, C. G.. Kant e Helmholtz sobre os princípios da geometria. In: I Colóquio Kant Internacional da UFU- A Filosofia Kantiana e suas Influências, 2011, Uberlândia, MG. Caderno de Resumos. Uberlândia: Imprensa Universitária UFU, 2011. v. 1. p. 7-7.

2.
GONZALEZ, C. G.. David Hilbert e o axioma de Arquimedes: entre a geometria e a física. In: XIV Encontro Brasileiro de Lógica, 2011, Petrópolis, RJ. 16 Brasilian Logic Conference - Abstracts, 2011. v. 1. p. 71-71.

3.
GONZALEZ, C. G.. Alguns comentários sobre pitagorismo, exatidão e física. In: XIV Encontro Brasileiro de Lógica, 2011, Petrópolis, RJ. 16 Brasilian Logic Conference - Abstracts, 2011. v. 1. p. 56-56.

4.
GONZALEZ, C. G.. A formulação empírica do Axioma de Arquimedes por Hilbert. In: 1ª Reunião Anual do GEOFF, 2010, Ouro Preto MG. Comunicações da 1ª Reunião Anual do GEOFF, 2010.

5.
GONZALEZ, C. G.. The Concept of Density in Autometrized Boolean Spaces in a General Setting. In: Science, Truth and Consistency, 2009, Campinas SP. Science, Truth and Consistency -- CLE/AIPS Event. Campinas SP: Edunicamp, 2009. p. 68-69.

6.
GONZALEZ, C. G.. Density on Boolean-valued spaces for clustering application. In: CLE 30 / XV EBL / XIV SLALM, 2008, Paraty, RJ. Annals of the CLE 30 Years - XV Brazilian Logic Conference - XIV Latin-American Symposium on Mathematical Logic. Campinas SP: Center for Logic, Epistemology an the History of Science/State University of Campinas. p. 130-130.

7.
GONZALEZ, C. G.. Mathematical Foundations of Boolean-valued distances for clustering applications. In: XIII Encontro Brasileiro de Lógica (XIIIth Brazilian Logic Conference), 2003, Campinas SP. Comunicações do XIII Encontro Brasileiro de Lógica. Campinas SP: Editora de Unicamp, 2003.

8.
GONZALEZ, C. G.. El Axioma de Unión y V = L.. In: XXXIX Reunión Anual de Comunicaciones Cientí cas da Unión Matemática Argentina, 1989, Rosario. Abstracts de la XXXIX Reunión Anual de Comunicaciones Cientí cas da Unión Matemática Argentina, 1989. p. 22-22.

9.
GONZALEZ, C. G.. El Axioma de Unión en la Teoría de Zermelo. In: XXXIX Reunión Anual de Comunicaciones Cientí cas da Unión Matemática Argentina, 1989, Rosario. Abstracts de la XXXIX Reunión Anual de Comunicaciones Cientí cas da Unión Matemática Argentina,. p. 23-23.

Apresentações de Trabalho
1.
GONZALEZ, C. G.. Alguns comentários sobre pitagorismo, exatidão e física. 2011. (Apresentação de Trabalho/Comunicação).

2.
GONZALEZ, C. G.. David Hilbert e o axioma de Arquimedes: entre a geometria e a física. 2011. (Apresentação de Trabalho/Conferência ou palestra).

3.
GONZALEZ, C. G.. Paradoxos, o infinito e a intuição geométrica. 2010. (Apresentação de Trabalho/Comunicação).

4.
GONZALEZ, C. G.. The Concept of Density in Autometrized Boolean Spaces in a General Setting. 2009. (Apresentação de Trabalho/Conferência ou palestra).

5.
GONZALEZ, C. G.; BONVENTI JR., W. ; A. L. B. Veira Rodrigues . Density of Closed Balls in Real-Valued and Autometrized Boolean Spaces for Clustering Applications. 2008. (Apresentação de Trabalho/Comunicação).

6.
GONZALEZ, C. G.. Density on Boolean-valued Spaces for Clustering Application. 2008. (Apresentação de Trabalho/Comunicação).

7.
GONZALEZ, C. G.. Avaliação de medidas booleanas em análise de agrupamentos. 2006. (Apresentação de Trabalho/Comunicação).


Demais tipos de produção técnica
1.
GONZALEZ, C. G.. Relatório Final - Processo 2006/03044-5. 2009. (Relatório de pesquisa).

2.
GONZALEZ, C. G.. Relatório Científico Anual -- Uniso. 2009. (Relatório de pesquisa).

3.
GONZALEZ, C. G.. Relatório Parcial - Processo 2006/03044-5. 2008. (Relatório de pesquisa).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
CHAVES-TANNUS, M.; GONZALEZ, C. G.; ENGELMANN, J.. Participação em banca de Fábio Baltazar do Nascimento Júnior. A ciência da Lógica e a Consistência de Hegel: Considerações sobre Hegel e o Princípio da não-Contradição. 2012. Dissertação (Mestrado em Filosofia) - Universidade Federal de Uberlândia.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
I Coloquio Kant da UFU - Afilosofia kantiana e suas influências.Kant e Helmholtz sobre os princípios da geometria. 2011. (Simpósio).

2.
XIV Encontro Brasileiro de Lógica - Brasilian Logic Conference. David Hilbert e o axioma de Arquimedes: entre a geometria e a física. 2011. (Congresso).

3.
1ª Reunião Anual do GEOFF.A formulação empírica do Axioma de Arquimedes por Hilbert. 2010. (Encontro).

4.
II Colóquio de Ontologia - XIII Semana de Filosofia.Os axiomas da geometria e a física. 2010. (Simpósio).

5.
I Jornada de Lógica do Centro-Oeste.Paradoxos, o infinito e a intuição geométrica. 2010. (Encontro).


Organização de eventos, congressos, exposições e feiras
1.
SENEDA, M. ; TANNUS, M. ; GONZALEZ, C. G. . I Colóquio de Lógica, Conhecimento e Ontologia. UFU. 2011. (Congresso).



Orientações



Orientações e supervisões concluídas
Trabalho de conclusão de curso de graduação
1.
Judeni dos Santos. Filosofia da mente: uma crítica aos vendedores de doenças. 2008. Trabalho de Conclusão de Curso. (Graduação em Filosofia) - Universidade de Sorocaba. Orientador: Carlos Gustavo Gonzalez.

2.
Fernando Henrique. Pós-modernidade e o concreto. 2008. Trabalho de Conclusão de Curso. (Graduação em Filosofia) - Universidade de Sorocaba. Orientador: Carlos Gustavo Gonzalez.

3.
Tiago Alves da Silva. Revolução da escrita na Grécia. 2008. Trabalho de Conclusão de Curso. (Graduação em Filosofia) - Universidade de Sorocaba. Orientador: Carlos Gustavo Gonzalez.

4.
Tiago César Domingues. Filosofia da mente e as possibilidades da inteligência artificial. 2007. Trabalho de Conclusão de Curso. (Graduação em Filosofia) - Universidade de Sorocaba. Orientador: Carlos Gustavo Gonzalez.

5.
Mayara de Cássia Andrade Ribeiro. O feminismo e o misticismo. 2007. Trabalho de Conclusão de Curso. (Graduação em Filosofia) - Universidade de Sorocaba. Orientador: Carlos Gustavo Gonzalez.

6.
Benedito Inácio Silbeira. Aprender a ensinar: um olhar na formação dos professores. 2007. Trabalho de Conclusão de Curso. (Graduação em Filosofia) - Universidade de Sorocaba. Orientador: Carlos Gustavo Gonzalez.

Iniciação científica
1.
Tiago Baldo Tardelli. Análise de agrupamentos em espaços booleanos. 2008. Iniciação Científica. (Graduando em Ciência da computação) - Universidade de Sorocaba, PROBIC/Universidade de Sorocaba. Orientador: Carlos Gustavo Gonzalez.

2.
João Luis Baptista de Almeida. Testes de validação de algoritmos Testes de validação de algoritmos de análise de agrupamentosde análise de agrupamentos. 2008. Iniciação Científica. (Graduando em Ciência da computação) - Universidade de Sorocaba, PROBIC/Universidade de Sorocaba. Orientador: Carlos Gustavo Gonzalez.

3.
Felipe Alvares Nemeth. Medidas Booleanas em Análise de Agrupamentos. 2008. Iniciação Científica. (Graduando em Ciência da computação) - Universidade de Sorocaba, PROBIC/Universidade de Sorocaba. Orientador: Carlos Gustavo Gonzalez.

4.
Gustavo de Moraes Fantin. Técnicas baseadas em densidade em análise de agrupamentos. 2007. Iniciação Científica. (Graduando em Ciência da computação) - Universidade de Sorocaba, PROBIC/Universidade de Sorocaba. Orientador: Carlos Gustavo Gonzalez.

5.
Iran Haeck Porfírio. Codificação de dados usando seqüências de bits-Sistemas de Informação. 2007. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade de Sorocaba, PROBIC/Universidade de Sorocaba. Orientador: Carlos Gustavo Gonzalez.

6.
Christiano de Andrade. Implementação de um sistema de reconhecimento facial. 2007. Iniciação Científica. (Graduando em Ciência da computação) - Universidade de Sorocaba, PROBIC/Universidade de Sorocaba. Orientador: Carlos Gustavo Gonzalez.

7.
João Luis Baptista de Almeida. Métodos baseados em densidade em espaços booleanos. 2007. Iniciação Científica. (Graduando em Ciência da computação) - Universidade de Sorocaba, PROBIC/Universidade de Sorocaba. Orientador: Carlos Gustavo Gonzalez.

8.
Fabiana das Graças. Aplicações da medida de Jaccard em análise de agrupamentos. 2005. Iniciação Científica. (Graduando em Ciência da computação) - Universidade de Sorocaba, PROBIC/Universidade de Sorocaba. Orientador: Carlos Gustavo Gonzalez.

9.
Bruno Motta. Aplicações das medida de Hamming em análise de agrupamentos. 2005. Iniciação Científica. (Graduando em Ciência da computação) - Universidade de Sorocaba, PROBIC/Universidade de Sorocaba. Orientador: Carlos Gustavo Gonzalez.



Educação e Popularização de C & T



Organização de eventos, congressos, exposições e feiras
1.
SENEDA, M. ; TANNUS, M. ; GONZALEZ, C. G. . I Colóquio de Lógica, Conhecimento e Ontologia. UFU. 2011. (Congresso).




Página gerada pelo Sistema Currículo Lattes em 21/10/2018 às 7:12:41