Gallery Items tagged Lecture Notes
What's the Worst That Could Happen? An In-Depth Look at File Systems
CS111 Notes
Devin Bedari
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
Demonstratie
DemonstrATie.
IA
HoTT Reading Notes
This is an informal set of comments on the HoTT Book.
Pierre-Yves Gaillard
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
Lecture Notes Template
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.
Nithish B Moudhgalya
Lecture Outline Template
For students in Mr. Stern's math and physics electives at Stuyvesant High School.
Joseph Stern
IUST Student Course Note Template
Template for students to take lecture notes.
Sauleh Eetemadi