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=20240630T202618Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=6ddc8f2aea3b02fcf1f5ea5d0ebd7e4d11fef2697a3e592e77f665de828f8a04)
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=20240630T202618Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=aca7aeb001e6b55d381b9ab5a50378ee4b88f7176a291b5ffa8904b056685a15)
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=20240630T202618Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=38accb9411151d9dff12af1392e08b86c582e385d4d730a9c39a943bcebd1cbe)
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=20240630T202618Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=12cf7941cacd3dd03f1b23967f48fb5c8a94bc13da620fa505566dcc5f918945)
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=20240630T202618Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=04da57b6a4b7c3a8016ce4ad084f75cb34b7704469a69f5069cfa0e918b98a75)
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=20240630T202618Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=2b5d4c16a0f90d25cdc4c42422ddc8e8679622e3e9587b9073a217c51953af72)
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=20240630T202618Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=21fde68bd3fc71d0b3fd9d7dabbb2b1df6391c7c85841bd25fd6ac1cc8105f96)
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=20240630T202618Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=f94b5f79b1d44d71417ecae20a627deb69ea30efe6c8fde9f41f0daa62697cc3)
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=20240630T202618Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=5ba5a29ed9afa88ae12724084703dae1fc70db70a6dd83e7423beabb521f3b31)
Guía de matemáticas.
Una guía de matemáticas básicas.
Neilluj