Escolar Documentos
Profissional Documentos
Cultura Documentos
Linguagem: Cálculo diferencial & integral (funções reais, derivada, integral, limite,
regra da cadeia, teorema fundamental do cálculo, série de Taylor,
teoremas sobre equações diferenciais ordinárias e parciais, etc)
Álgebra vetorial
Reformulação desses ramos da matemática em lógica clássica de
primeira ordem (!)
1
Regras de inferência: Princípios da lógica clássica de primeira ordem
Teoremas da análise real
Transformações de Galileu entre dois referenciais S e S’ em
movimento relativo (x’ = x – vt, y’ = y, z’ = z, t’ = t)