Lambda-Cálculo 2025.2 - Eduardo Ochs

HindleySeldin
La2018p11
Convite: Maxima
Página do curso de λ-Cálculo de 2023.1
SfardP200 (p.174) 2. Historical Development of Mathematical Objects

1. O PURO é um lixo: links

Veja os links que começam com "2025:" aqui.

2. Semestres

Salas, horários, etc
Página do curso de λ-Cálculo de 2023.1.
Fotos dos quadros: PDF, JPGs.
Material de todos os semestres desde 2019.2.
PDFzão com todos os PDFzinhos deste semestre.
Material de todos os semestres desde 2019.2.
Os links curtos, como 3eT25 e Slogans08:54, estão explicados aqui.
Sobre as reclamações do CAEPRO.

O plano de curso no formato tradicional está aqui.
A tabela abaixo tem links pros pdfzinhos e quadros de cada aula.

3. Links sobre Maxima

Um vídeo: Convite: Maxima
Como instalar: (find-windows-beginner-intro)
Como instalar 2: Eev for beginners: um mapa
Minha página sobre o Maxima
Outras coisas:
Sobre a Prova Relâmpago 1 de 2025.1 (***)
Sobre a Prova Relâmpago 1 de 2024.2
Sobre a Prova Relâmpago 2 de 2024.2 (O PURO é um lixo)

4. Aulas

Aula 1 (2a 18/ago, 7lQ1, 1234) Set comprehensions. Redução e confluência. Notação lambda.
Aula 2 (2a 25/ago) Matemática Discreta com objetos finitos. Álgebras de Heyting. Tautologias.
Aula 3 (2a 01/set) Tipos e lambda-cálculo tipado.
Aula 4 (2a 08/set) Lógica Proposicional Intuicionista (IPL). Introdução ao Isomorfismo de Curry-Howard.
Aula 5 (2a 15/set) Teoremas e sistemas dedutivos. Contra-modelos. Tableaux.
Aula 6 (2a 22/set) Topologias. Lógicas modais. Modelos de Kripke.
Aula 7 (2a 29/set) Interpretação de IPL na lógica modal S4. Interpretação de S4 em topologias.
Aula 8 (2a 06/out) Categorias. Set e ordens parciais como categorias. Terminais, iniciais, produtos e coprodutos.
Aula 9 (2a 13/out) Dualidade. Unicidade módulo isomorfismo. Funtores. Transformações naturais.
Aula 10 (2a 20/out) SNCT
Aula 11 (2a 27/out) Ponto Facultativo
Aula 12 (2a 03/nov) Adjunções e exponenciais. Categorias Cartesianas Fechadas.
Aula 13 (2a 10/nov) lambda-cálculo em Categorias Cartesianas Fechadas. Semânticas Categóricas.
Aula 14 (2a 17/nov) Introdução ao Lua. Introdução ao Lisp.
Aula 15 (2a 24/nov) Implementação de um mini-Lisp.
Aula 16 (2a 01/dez) Eager evaluation e lazy evaluation. Implementação de thunks e lazy evaluation.
Aula 17 (2a 08/dez) ?
Aula 18 (2a 15/dez) ?