LaTeX templates and examples — Math

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)

Dicas para a preparação de listas de exercícios da disciplina MAC0239 (Introdução à Lógica e Verificação de Programas) no IME-USP. Tips for preparing exercises for MAC0239 (Introduction to Logic and Program Verification) at IME-USP.

Dit seminarieproject voor leerlingen van een vijfde jaar start met een overzicht van verschillende projectiesystemen van driedimensionale lichamen op een vlak. We gebruiken het (vlakke) meetkundeprogramma Cinderella om eenvoudige lichamen zoals kubussen en octaeders in een evenwijdig perspectief te tekenen. De hoekpunten van deze lichamen hebben immers gekende coöordinaten. Daarna breiden we het assortiment lichamen uit naar platonische lichamen met een vijfhoekige symmetrie. Afknottingen van deze lichamen lenen zich goed tot het maken van animaties. Tot slot maken we afbeeldingen in een tollende perspectief. Hierbij wordt aandacht besteed aan het gebruik van eulerhoeken en aan het algoritme voor de zichtbaarheid van zijvlakken.

A book template for diacriTech Technologies, prepared by Murugan

This is a mathematics homework questions sheet in Vietnamese. -- De Thi Toan 2015

A lecture on intermediate proofs that I taught at ARML.

Linear regression is one of the most widely used statistical methods available today. It is used by data analysts and students in almost every discipline. However, for the standard ordinary least squares method, there are several strong assumptions made about data that is often not true in real world data sets. This can cause numerous problems in the least squares model. One of the most common issues is a model overfitting the data. Ridge Regression and LASSO are two methods used to create a better and more accurate model. I will discuss how overfitting arises in least squares models and the reasoning for using Ridge Regression and LASSO include analysis of real world example data and compare these methods with OLS and each other to further infer the benefits and drawbacks of each method.

homework template

Mathe KIT