Instituto de Computação
  • Início
  • Graduação
    • Ciência da Computação
    • Engenharia de Computação
    • Comissão de Graduação
      • Avaliação e Discussão de Curso
      • Calendário das Reuniões
      • Composição da CG e Secretaria
      • Normas
    • Informações para Alunos
      • Aproveitamento de Estudos
      • Avaliação Docente
      • Certificados de Estudo
      • Colação de Grau
      • Disciplinas
      • Enade
      • Estágios
      • Extensão Curricularizada
      • Intercâmbios
      • Matrícula
      • Monitoria (PAD)
      • Projeto Final de Graduação
      • Resoluções
      • Programa Integrado de Formação
  • Pós-Graduação
    • Apresentação do Programa
    • Processo Seletivo
    • Mestrado
    • Doutorado
    • Pós-Doutorado
    • Alunos Especiais
    • Informação para docentes e pós-graduandos
  • Pesquisa
    • Áreas de Concentração
    • Projetos e Laboratórios de Pesquisa
    • Produção Científica
    • Equipamentos Multiusuários
  • Extensão
    • Cursos
      • Engenharia de Software
      • Redes de Computadores
      • Nuvens e Virtualização de Redes
      • Internet das Coisas
      • Mineração de Dados Complexos
    • Tecnologias
    • Summer Internship
    • Prestação de Serviços
      • Apoio a Docentes
  • Pessoas
    • Docentes
    • Funcionários
  • Notícias
  • Institucional
    • Conheça o IC
    • Administração
    • Departamentos
    • Contatos
    • Agenda
    • Regimentos, Normas e Documentos
    • Programa de Doações Amigos do IC
    • Bolsa Alumni
    • CSHub
    • Parceiros
    • Históricos
    • Eventos Realizados e Programados
    • Tour virtual 360º
  • Comunicação
  • Alunos e Professores
    • Disciplinas da Graduação
    • Disciplinas da Pós-Graduação
    • Calendário Acadêmico (DAC)
    • Calendário Específico da Pós
    • Webmail
    • Suporte
    • Intranet
    • Biblioteca do IMECC
  • Cursos
    • G – Ciência da Computação
    • G – Engenharia da Computação
    • PG – Mestrado Acadêmico em Ciência da Computação
    • PG – Doutorado em Ciência da Computação
    • E – Engenharia de Software
    • E – Redes de Computadores
    • A – Nuvens e Virtualização de Redes
    • A – Internet das Coisas – IoT
    • A – Mineração de Dados Complexos
  • Eventos
  • Alunos e Professores
    • Disciplinas da Graduação
    • Disciplinas da Pós-Graduação
    • Calendário Acadêmico (DAC)
    • Calendário Específico da Pós
    • Webmail
    • Suporte
    • Intranet
    • Biblioteca do IMECC
  • Cursos
    • G – Ciência da Computação
    • G – Engenharia da Computação
    • PG – Mestrado Acadêmico em Ciência da Computação
    • PG – Doutorado em Ciência da Computação
    • E – Engenharia de Software
    • E – Redes de Computadores
    • A – Nuvens e Virtualização de Redes
    • A – Internet das Coisas – IoT
    • A – Mineração de Dados Complexos
  • Eventos
A+A-Acessibilidade
Facebook Instagram LinkedIn
enpt
Buscar
Instituto de Computação
Unicamp - Universidade Estadual de Campinas
  • Início
  • Graduação
    • Ciência da Computação
    • Engenharia de Computação
    • Comissão de Graduação
      • Avaliação e Discussão de Curso
      • Calendário das Reuniões
      • Composição da CG e Secretaria
      • Normas
    • Informações para Alunos
      • Aproveitamento de Estudos
      • Avaliação Docente
      • Certificados de Estudo
      • Colação de Grau
      • Disciplinas
      • Enade
      • Estágios
      • Extensão Curricularizada
      • Intercâmbios
      • Matrícula
      • Monitoria (PAD)
      • Projeto Final de Graduação
      • Resoluções
      • Programa Integrado de Formação
  • Pós-Graduação
    • Apresentação do Programa
    • Processo Seletivo
    • Mestrado
    • Doutorado
    • Pós-Doutorado
    • Alunos Especiais
    • Informação para docentes e pós-graduandos
  • Pesquisa
    • Áreas de Concentração
    • Projetos e Laboratórios de Pesquisa
    • Produção Científica
    • Equipamentos Multiusuários
  • Extensão
    • Cursos
      • Engenharia de Software
      • Redes de Computadores
      • Nuvens e Virtualização de Redes
      • Internet das Coisas
      • Mineração de Dados Complexos
    • Tecnologias
    • Summer Internship
    • Prestação de Serviços
      • Apoio a Docentes
  • Pessoas
    • Docentes
    • Funcionários
  • Notícias
  • Institucional
    • Conheça o IC
    • Administração
    • Departamentos
    • Contatos
    • Agenda
    • Regimentos, Normas e Documentos
    • Programa de Doações Amigos do IC
    • Bolsa Alumni
    • CSHub
    • Parceiros
    • Históricos
    • Eventos Realizados e Programados
    • Tour virtual 360º
  • Comunicação

Início Eventos Quantitative Logic Reasoning

Quantitative Logic Reasoning

23 nov 2019
14:00 Palestra Auditório do IC

Quantitative Logic Reasoning

Marcelo Finger
IME/USP

Relacionado

Notícias

Todas

Concurso público de provas e títulos na Área de Programação de Computadores tem data divulgada.

IC abre Concurso Público para Professor Doutor na Área de Inteligência Artificial

IC tem verba para Apoio para Atividades de Extensão em 2025

Parceiros

Todos
Equinor
Wavy
Quinto Andar
Everflow
Movile
CI&T
Buildbox
Instituto Eldorado
Samsung
ifood
Banco Santander
Shell
Petrobras
Bradesco
Equinor
Wavy
Quinto Andar
Everflow
Movile
CI&T
Buildbox
Instituto Eldorado
Samsung
ifood
Banco Santander
Shell
Petrobras
Bradesco
Graduação
  • Ciência da Computação
  • Engenharia de Computação
  • Comissão de Graduação
  • Informações para Alunos
Pós-graduação
  • Apresentação
  • Processo Seletivo
  • Mestrado
  • Doutorado
  • Pós-Doutorado
  • Alunos Especiais
  • Docentes e pos-graduandos
Extensão
  • Cursos
  • Tecnologias
  • Summer Internship
  • Prestação de Serviços
Pesquisa
  • Áreas de Concentração
  • Projetos e Laboratórios de Pesquisa
  • Produção Científica
  • Equipamentos Multiusuários
© 1969 - 2025 - Instituto de Computação - Universidade Estadual de Campinas Av. Albert Einstein, 1251 - Cidade Universitária, Campinas - SP, 13083-852
Desenvolvido por Buildbox