1 Logique combinatoire - Lix

ePAPER READ

DOWNLOAD ePAPER

lix.polytechnique.fr

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

START NOW

2 Tableaux<br />

Un tableau est une structure non persistente, ce qui est illustré dans le programme suivant :<br />

let t = Array.create 4 ’a’<br />

let x = t<br />

let y = t.(0)

Rigidité d'un assemblage de tiges métalliques - Lix

Esercizi e Laboratori di Ricerca Operativa - Lix

(Un)trusted Intermediaries in CoAP - Lix

Link-State Routing Optimization for Compound Autonomous ... - Lix

Notensystem Ein für Tango Argentino - Lix

2 Tableaux Un tableau est une structure non persistente, ce qui est illustré dans le programme suivant : let t = Array.create 4 ’a’ let x = t let y = t.(0)

match !t with | Array a as n → let old = a.(i) in if old == v then t else (a.(i) nat. plus : nat -> nat -> nat (* addition *) minus : nat -> nat -> nat (* soustraction; minus n m = O si n list A Inductive bool : Set := true : bool | false : bool andb : bool -> bool -> bool (* ET booléen *) orb : bool -> bool -> bool (* OU booléen *) 3

Page 1: Master Parisien de Recherche en Inf

1 Logique combinatoire - Lix

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?