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=20240630T222239Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=44351991cb2640a574222056181009f8e43c214e2d77de15b58b6e6d42b2de27)
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=20240630T222239Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=bf368f4da2e5971aa6000d1bd39f6ed7d8bbc9ac600aa16d890d5cc007e2880e)
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=20240630T222239Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=a4bfc5232c6265b15e13a4b614fe7b780069812b3856ed775b456acdadfe3cde)
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=20240630T222239Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=1e96f2ef2987df1c60cf3f952ab9c8247d8c57697524d7923bb91d60ee951947)
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=20240630T222239Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=da82f66dfd730339b65368bbccdbbd607de45591891ae3f70616526632cfe10d)
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=20240630T222239Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=f793a2bef3cd052173547745073153492698457a031cb88a3a71184267d3f3ae)
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=20240630T222239Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=ff497f45ff41b9a6cbfab244d5419c37850df90e0db1a4f15ae39775d81b6bfa)
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=20240630T222239Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=b87063598c86604ac46e29b69bd736f5dd7a48d77938943adf4cd8695222a6f4)
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=20240630T222239Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=de2dc5674016d161a68e07878dc4b3d6ee8d8e35ca459e4d62bed74419949677)
Guía de matemáticas.
Una guía de matemáticas básicas.
Neilluj