Gallery Items tagged Lecture Notes

The Quadratic Formula
This paper will state and prove the quadratic formula.
Amanda

Mal for SKDE-notater
Apr. 2019: better structure for circles on front page
Arnfinn Hykkerud Steindal

Statistics Formulae (Lind et. al. 2015)
Collection of statistics formulae taken from the perennial text book Lind, Douglas A. et. al. (2015): Statistical Techniques in Business and Economics, 16 ed. (2015).
Wolfgang W. Stoettner

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

Elemento Finito
Lecturas de la clase de Elemento Finito impartida en la Carrera de Matemática de la Universidad Nacional Autónoma de Honduras
Mauricio Zelaya Aguilar

Simplex Method
Lecture note on the Simplex Method
Tushar Phatangare

Clean more like I wanna clill myself
A concise guide for anyone that's met with the terrible fate of having to program in Clean (so mainly for Radboud University students).
Melle P. Starke & Crippling D. Pression

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

Non-Linear Optimization
Course notes for MATH 524: Non-linear optimization
Course page: people.math.sc.edu/blanco/ma524.html
University of South Carolina
Francisco Javier Blanco-Silva