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=20240701T011955Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240701/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=63db2f0c91b43dfe593f822b9d99532fe085a4242146b5ae2cdd129125897e84)
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=20240701T011955Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240701/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=16287ff3c93090eebcefa0af1b828c9e8aac0dd64b13ce293221472b58a256f6)
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=20240701T011955Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240701/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=8a476884e8a79da8fde59587636f5a7942f2d299860168e35c7ce0eb108a2949)
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=20240701T011955Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240701/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=6bda19972343a531cff946d5cd199544eff51329227842f20750f004b0640682)
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=20240701T011955Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240701/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=e9392dbdad4ee121065ff0e354ddad6650c8f471ee857a0057cdebf85ae61511)
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=20240701T011955Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240701/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=f347f381fca5da34e79d02984484c3befbdeb523145bc332e56c96fb609e6767)
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=20240701T011955Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240701/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=956c7d5005917bd232b492335131624d6b25391d73bd8dd1ec21bc5b25e0ad31)
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=20240701T011955Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240701/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=f082032fe3ab394f92e0600f148d4f172c25a3f97a7e5f7a9a9acdbd6751aedc)
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=20240701T011955Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240701/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=a2307ff74579ce16770e7cec837e2dd8763c2990344a362d58b601ad84f7fce1)
Guía de matemáticas.
Una guía de matemáticas básicas.
Neilluj