Carlos Gustavo Gonzalez

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).

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

Acadêmico

Formação acadêmica

Doutorado em Lógica e Filosofia da Ciência

1991 - 1994

Universidade Estadual de Campinas
Título: Ordens densas, partições e o axioma da escolha
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

Mestrado em Lógica e Filosofia da Ciência

1990 - 1991

Universidade Estadual de Campinas
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

Graduação em Filosofia

1979 - 1984

Universidad Del Salvador

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

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Espanhol

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

Bandeira representando o idioma Português

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

Bandeira representando o idioma Italiano

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

Bandeira representando o idioma Francês

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

Bandeira representando o idioma Alemão

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

Latim

Compreende PoucoLê Razoavelmente, Escreve Pouco.

Grego

Lê Razoavelmente, Escreve Pouco.

Áreas de atuação

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

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligencia Artificial.

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

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação.

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.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Geometria e Topologia/Especialidade: Topologia de espaços métricos.

Organização de eventos

SENEDA, M. ; TANNUS, M. ; GONZALEZ, C. G. . I Colóquio de Lógica, Conhecimento e Ontologia. UFU. 2011. (Congresso).

SENEDA, M. ; TANNUS, M. ; GONZALEZ, C. G. . I Colóquio de Lógica, Conhecimento e Ontologia. UFU. 2011. (Congresso).

Participação em eventos

I Coloquio Kant da UFU - Afilosofia kantiana e suas influências.Kant e Helmholtz sobre os princípios da geometria. 2011. (Simpósio).

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).

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

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

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

Participação em bancas

Aluno: Fábio Baltazar do Nascimento Junior

CHAVES-TANNUS, M.GONZALEZ, C. G.ENGELMANN, J.. 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.

Orientou

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;

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;

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;

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;

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;

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;

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;

João Luís 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;

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;

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;

Iran Haeck Porfirio

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;

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;

João Luís 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;

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;

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;

Produções bibliográficas

  • GONZÁ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.

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

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

  • GONZALEZ, C. G. . Partitioning an infinite set. CLE e-Prints (Online) , v. 10, p. 5, 2010.

  • GONZALEZ, C. G. . Clustering applications of density on boolean-valued spaces. CLE e-Prints (Online) , v. 8, p. 6, 2008.

  • GONZALEZ, 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.

  • 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.

  • GONZALEZ, C. G. . Velocidade dos Computadores, Paralelismo e os Processadores Modernos. Revista do CEUNSP, Itu, SP, v. 4, n.1, p. 115-130, 1999.

  • GONZALEZ, C. G. . Sobre el agregado de axiomas a ZF. Theoria, San Sebastián, v. 10, n.24, p. 199-224, 1995.

  • GONZALEZ, C. G. . Dense Orderings, Partitions and Weak Forms of Choice,. Fundamenta Mathematicae , v. 147, p. 11-25, 1995.

  • GONZALEZ, 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.

  • GONZALEZ, C. G. . A Note on Zermelo Set Theory. Bulletin of the Section of Logic , Lodz, v. 21, n.1, p. 28-30, 1992.

  • GONZALEZ, 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.

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

  • GONZALEZ, 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

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

  • 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).

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

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

  • 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).

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

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

Outras produções

GONZALEZ, C. G. . Relatório Final - Processo 2006/03044-5. 2009. (Relatório de pesquisa).

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

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

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. , Integrantes: Carlos Gustavo Gonzalez - Coordenador., Financiador(es): Universidade Federal de Uberlândia - Outra., Número de produções C, T & A: 6

  • 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

Prêmios

1984

Diploma de honor, Universidad del Salvador.

Histórico profissional

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:

Experiência profissional

2010 - Atual

Universidade Federal de Uberlândia

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

Atividades

  • 09/2010

    Pesquisa e desenvolvimento , Faculdade de Artes, Filosofia e Ciências Sociais, Departamento de Filosofia.,Linhas de pesquisa

1998 - 2000

Universidade Estadual de Campinas

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

1996 - 1996

Universidade Estadual de Campinas

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

1994 - 1996

Universidade Estadual de Campinas

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)

1985 - 1990

Universidad de Buenos Aires

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

1996 - 1998

Faculdade de Tecnoplogia de Americana

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

2000 - 2009

Universidade de Sorocaba

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

    Pesquisa e desenvolvimento , Reitoria, Pró-Reitoria de Pós-Graduação e Pesquisa.,Linhas de 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.,Linhas de pesquisa

1997 - 1998

Faculodade de Tecnologica de Taquaritinga

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

Atividades

  • 09/1996 - 01/1997

    Ensino,,Disciplinas ministradas, Sistemas operacionais

2001 - 2005

Instituto Manchester Paulista de Educação Superior

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

1986 - 1990

Universidad CAECE

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

1986 - 1987

Universidad Del Salvador

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

Atividades

  • 04/1986 - 03/1987

    Ensino,,Disciplinas ministradas, Filosofia de la Ciencia

1998 - 2002

Centro Universitario Nossa Senhora do Patrocinio

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

2001 - 2008

Faculdade de Ciências Contábeis de Itapetininga

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

Atividades

  • 03/2001

    Ensino, Sistemas de informação, Nível: Graduação,Disciplinas ministradas, Algoritmos, Pesquisa e ordenação, Estruturas de dados