Sumários
AT19 Exemplos de teorias decidíveis
26 novembro 2014, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Teoria das ordens densas sem limites.
AT18 Exemplos de teorias decidíveis
24 novembro 2014, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Conclusão da aula anterior.
AT17 Exemplos de teorias decidíveis
19 novembro 2014, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Teoria dos corpos algebricamente fechados.
AT Aula cancelada
17 novembro 2014, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
A aula não se realizou por impedimento da docente.
AT16 Eliminação de quantificadores
12 novembro 2014, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Demonstração do lema fundamental.