Semântica computacional com Lean
Semântica computacional com Lean
Table of Contents
1.
O estudo formal da língua natural
2.
Programação Funcional no Lean
3.
Lógica
4.
Conjuntos e Relações
5.
Batalha Naval
6.
Morfologia
7.
Um motor de inferência
8.
Um fragmento de inglês
1. O estudo formal da língua natural
→
Semântica computacional com Lean
🔗
Contents
1.
O estudo formal da língua natural
2.
Programação Funcional no Lean
3.
Lógica
4.
Conjuntos e Relações
5.
Batalha Naval
6.
Morfologia
7.
Um motor de inferência
8.
Um fragmento de inglês
1. O estudo formal da língua natural
→