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
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
Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Italiano
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Francês
Compreende Razoavelmente, Fala Pouco, Lê Bem, Escreve Razoavelmente.
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
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
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;
Pós-modernidade e o concreto; 2008; Trabalho de Conclusão de Curso; (Graduação em Filosofia) - Universidade de Sorocaba; Orientador: Carlos Gustavo Gonzalez;
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;
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;
O feminismo e o misticismo; 2007; Trabalho de Conclusão de Curso; (Graduação em Filosofia) - Universidade de Sorocaba; Orientador: Carlos Gustavo Gonzalez;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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ândiaVí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 CampinasVínculo: Servidor público ou celetista, Enquadramento Funcional: Profesor MTS-II-A, Carga horária: 20
1996 - 1996
Universidade Estadual de CampinasVínculo: Servidor público ou celetista, Enquadramento Funcional: Professor visitante, Carga horária: 4
1994 - 1996
Universidade Estadual de CampinasVí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 AiresVí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 AmericanaVí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 SorocabaVí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 TaquaritingaVí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 SuperiorVí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 CAECEVí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 SalvadorVí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 PatrocinioVí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 ItapetiningaVí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
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Carlos Gustavo Gonzalez e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?