Recent
![Resumo das Regras para a Dedução Natural](https://writelatex.s3.amazonaws.com/published_ver/2165.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240630T202538Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=c51bac16def654e2b01fcb7cadaa4e61e6b6752d944ab3a33cb64cf0c45a9982)
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
![Drawing Lines](https://writelatex.s3.amazonaws.com/published_ver/4071.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240630T202538Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=174e544b2b1e801e385f11ab0e9d8362f9d8441e08258cf78cd3af175f0a0df2)
Drawing Lines
Notes on Machine Learning.
Raghav Saboo
![A Tale of Greed, Coconuts & Murderous Monkeys](https://writelatex.s3.amazonaws.com/published_ver/2044.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240630T202538Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=d211d2956c71aa701704927f7e10d08313c2d2cce5fe679b441a4220570e32e4)
A Tale of Greed, Coconuts & Murderous Monkeys
A logic/math puzzle and solution.
Andrew Walsh
![Dijkstra's Algorithm](https://writelatex.s3.amazonaws.com/published_ver/2789.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240630T202538Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=f256f8f6373f176dc73e6c5fd03e8eed11ae434ffecc808f908224f4a3529004)
Dijkstra's Algorithm
This is a report on the Dijkstra's Algorithm
Jerrin Peter
![ABI17 KURS Übung1: Funktionsuntersuchung Typ: ganzrationale Funktionen](https://writelatex.s3.amazonaws.com/published_ver/4274.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240630T202538Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=564bd231aa6a0da2dc89f70d39d37d5053e9e013990950f6e92748c83a108bf7)
ABI17 KURS Übung1: Funktionsuntersuchung Typ: ganzrationale Funktionen
Funktionsuntersuchung, Übung 1
Dmitrij Moreinis
![Seminario_trans_fourier](https://writelatex.s3.amazonaws.com/published_ver/12969.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240630T202538Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=947106a54440bdd1ae5c516d0fb66b6fb4bf28dd023967d5a0dc543f2b5132e8)
Seminario_trans_fourier
Based on a guest lecture at Instituto Superior Técnico (University of Lisbon), I use calculus and abstract algebra to derive the Fourier Tranform using the Fourier Series.
Sara Martins Bonito
![ARML Lecture: Telescoping Series and Sums](https://writelatex.s3.amazonaws.com/published_ver/2934.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240630T202538Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=08f7293fd8de684df3aa4df4a63809af2a9e483f0d2dd70b6220f29985a6335f)
ARML Lecture: Telescoping Series and Sums
An introduction to Telescoping Series and Sums.
Justin Stevens
![Trabajo practico-Fenomenos de transporte 3](https://writelatex.s3.amazonaws.com/published_ver/7059.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240630T202538Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=b74484e2dd9901eb902511733061add464b153034232a62dc6c861dfaf44daf5)
Trabajo practico-Fenomenos de transporte 3
Trabajo realizado en la catedra fenomenos 3
Oscar Daniel Rivas Villar
![Guía de matemáticas.](https://writelatex.s3.amazonaws.com/published_ver/1678.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240630T202538Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=fb6278ce02903ca023fc9e3030d026f7ec54da2cf3d481c84c975b5e97b1c13a)
Guía de matemáticas.
Una guía de matemáticas básicas.
Neilluj