|
|
Atividade
| 96591 - Teoria de Modelos e Aplicações |
| Período da turma: | 20/07/2020 a 06/08/2020
|
||||
|
|
|||||
| Descrição: | Dar-se-á ênfase, em particular, a resultados de Álgebra, tais quais o Nullstellesatz de Hilbert e o Teorema de Ax-Grothendieck.
O curso é direcionado àqueles que tenham interesse em conhecer essas técnicas e possuam conhecimento básico sobre Álgebra. Ementa: Linguagens, fórmulas, modelos. Relações entre modelos. Submodelos elementares, os Teoremas de Löwenheim-Skolem-Tarski. Eliminação de quantificadores, Nullstellensatz de Hilbert. 17º Problema de Hilbert. Ultraprodutos, compacidade. Teoremas de Ax-Grothendieck, Irredutibilidade de Noether-Ostrowski e Ramsey. Pré-requisitos: noções de Álgebra (corpos e anéis), Teoria de Conjuntos básica (operações com conjuntos, enumerabilidade) Bibliografia: https://sites.icmc.usp.br/aurichi/modelos/doku.php |
||||
| Carga Horária: |
12 horas |
||||
| Tipo: | Obrigatória | ||||
| Vagas oferecidas: | 140 | ||||
| Ministrantes: |
Caio Lopes de Araújo Henrique de Almeida Lecco |
 voltar |
|
Créditos © 1999 - 2024 - Superintendência de Tecnologia da Informação/USP |