Gallery — Lecture Notes

Discret Hartley Transform is a unitary transform although its proof is hard to find in the Web. This short note explains that the Discrete Hartley Transform is an involution, which implies that this transform is unitary indeed.

A lecture on intermediate proofs that I taught at ARML.

CS111 Notes

Um artigo que sugere somente a compreensão dos limites, sem o uso de sua definição formal, que se desenvolve até o entendimento das operações de diferenciação.

A simple derivation of the relationship between dot products and cosines. I wrote this reacquaint myself with LaTeX.

DemonstrATie.

This is an informal set of comments on the HoTT Book.

Ceci est le polycopié de cours du module INF424, qui fait partie la majeure Informatique de la formation d'ingénieurs de Télécom Bretagne ainsi que du Master of Science CSDS (Computer Science & Decision Systems). Il comporte trois parties : Logique du premier ordre, : systèmes formels, théorie des modèles, satisfaisabilité, normalisation, résolution. Logiques de description, et en particulier SROIQ. Sémantique et vérification des langages de programmation.

This is a simple latex template for taking notes. I am still working on improving the commands and environments. Any requests or features do let me know.