Ir para o conteúdo principal
Painel lateral
Disciplinas »
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
AACCs/FFLCH
Pró-Reitoria de Pós-Graduação
Outros
Suporte »
Acesso
Perfis
Ouvintes
Docentes
Criação de Disciplinas da USP
Documentação
HelpDesk e Contato
Guia de uso
Sobre
Português - Brasil (pt_br)
Deutsch (de)
English (en)
Español - Internacional (es)
Français (fr)
Italiano (it)
Português - Brasil (pt_br)
Buscar
Fechar
Buscar
Alternar entrada de pesquisa
Acessar
Informações do curso
Início
Ambientes
2021
IME
MAT
Lógica (bach/pós) - 2021
Sumário
MAT0359 - Lógica/MAT6601 - Introdução à Lógica Matemática (2021)
Desenvolver a lógica de 1 ordem clássica, incluindo os teoremas da completude e da incompletude de Gödel. Desenvolver exemplos em teorias matemáticas concretas.
Docente:
Rogerio Augusto dos Santos Fajardo