Articles — Lecture Notes

this is an article about the examples of checked and unchecked exception.

A brief description of counting sort algorithm

Algorismia Teoria

DemonstrATie.

Notas de Administración de Riesgos Financieros

Lecture 15 (Randomized Algorithms)

This paper will state and prove the quadratic formula.

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

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.