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=20240630T222401Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=e3d33be638de2819cd6d715ffa211b5bbbd63971c6815e6815093bb90fa5dcc6)
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=20240630T222401Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=8275b49b5d359105ed6e2edb94d98b711795039218535613dde7c3b7276a2644)
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=20240630T222401Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=f5380156b7fcc71f89a4f46b822ebf58bda7914902f4bc0536210677dca769f5)
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=20240630T222401Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=08fae20a79dd461dd9e8c8614406448d686e488ac1f94ba8ef2e64952622a701)
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=20240630T222401Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=e28a7d7710e77ee8fd498886091121b963a9a96dd179fe138a03cf573f549036)
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=20240630T222401Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=a17198cea2bbb57505048829a76170c753889c37cde96b76c76ead7d69c2f5f0)
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=20240630T222401Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=2e10e73710ca9f2d85b752d9cc9311c91278f2b88c5a2e0ac8f3f171bf3508fe)
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=20240630T222401Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=f92c504493146070532da3474362b3ac8945cb016a7b00ad0e1ed35ce963631c)
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=20240630T222401Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=4e487e917b54f4f77c45a4d2ff31fa31537776146a32ae04cef1879c78be0b7c)
Guía de matemáticas.
Una guía de matemáticas básicas.
Neilluj