Articles — Lecture Notes

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.

Lecture note on the Simplex Method

Staging and Flight lecture

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

Aula de Apresentação da disciplina de Teoria de Grafos da Universidade Federal de Goiás (UFG), Regional Jataí, semestre 2016.1.

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).

Pre-informe del laboratorio de física 1, guía L6

A System Design Language provides a means of communicating a design and an approach to determine the effectiveness of a design before it is built. This design language helps to guide the decomposition of the design by asking the right questions at the right time. The process of defining system requirements, communicating these requirements and their chosen solutions, and determining the effectiveness is explained within this primer.

A concise guide for anyone that's met with the terrible fate of having to program in Clean (so mainly for Radboud University students).