1 Logique combinatoire - Lix

ePAPER READ

DOWNLOAD ePAPER

lix.polytechnique.fr

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

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

Create successful ePaper yourself

Delete template?

Save as template?