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