NF93

L'objectif de cette UV est d'étudier formellement les notions de calcul, de machine ou de complexité. Ces notions sont dérivées de sciences formelles comme la théorie des ensembles, la géométrie, la logique ou l'arithmétique. Cette UV s'adresse à tout futur ingénieur qui voudrait se forger une vision plus juste de ce qu'est un ordinateur et l'usage que l'on peut en faire.