Articles tagged Lecture Notes

INTRODUÇÃO AO CÁLCULO DIFERENCIAL EM UMA ÚNICA VARIÁVEL: Uma visão generalizada e informal
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.
João Gabriel Bento

Dot Products and Cosines
A simple derivation of the relationship between dot products and cosines. I wrote this reacquaint myself with LaTeX.
Paul Glezen

Modular forms of half integral weights, noncongruence subgroups, metaplectic groups
The lecture notes are based on the number theory topics course on 3 Feb, 2016.
liyang

INF 424 Logique
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.
Yannis Haralambous

Flight and Staging Lecture
Staging and Flight lecture
Brandt

HoTT Reading Notes
This is an informal set of comments on the HoTT Book.
Pierre-Yves Gaillard

ARML Lecture: Telescoping Series and Sums
An introduction to Telescoping Series and Sums.
Justin Stevens

Resenha: O Congresso Futurista
Resenha para a disciplina de Filosofia da Tecnologia sobre o filme "O Congresso Futurista"
Egmon Pereira

Minicurso LaTeX
First Class
Thales Domingues