Gallery Items tagged Math
Resumo das Regras para a Dedução Natural
Resumo das Regras para a Dedução Natural
Material de aula da disciplina MAC0239 - Introdução à Lógica e Verificação de Programas (Agosto de 2015)
Luiz Carlos Vieira
DUAS TRANSFORMADAS DISCRETAS DE HILBERT
Nas condições de Nyquist, provamos que a Transformada Discreta Sequencial de Hilbert Hd possui
as mesmas características que a Transformada Contínua de Hilbert . Em particular ela é a Média de uma família de Operadores Diádicos Discretos (Operadores Ш).
ARMAND AZONNAHIN , 2015
Dicas para a preparação de listas de exercício em formato digital utilizando \LaTeX
Dicas para a preparação de listas de exercícios da disciplina MAC0239 (Introdução à Lógica e Verificação de Programas) no IME-USP.
Tips for preparing exercises for MAC0239 (Introduction to Logic and Program Verification) at IME-USP.
Luiz Carlos Vieira
Càlcul 1. Parcial 2014p
Solucions del parcial del día 9/4/2015.
Jordi Saludes
18.204 term paper template
18.204 Term Paper Template based on https://arxiv.org/abs/1712.06119
Massachusetts Institute of Technology
Zilin Jiang
On Proving the Identity of the Product Integral
A proof of the product integral using derivatives and and the limit of a difference quotient to certify its identity as an integral of the natural logarithm.
Ivan V. Morozov
Algebra 1 Seminarie
Seminarieuppgift 1
Pia Eriksson
généralités sur les fonctions exercices
généralités sur les fonctions exercices
EL HASSAR SMAIL
Solutions to the Damped Oscillator Equation
This paper describes the three conditions of damped oscillations and the mathematical formulations of each condition.
jithpadduri.123