Cellule photoélectrochimiqueUne cellule photoélectrochimique utilise la lumière et des réactions chimiques pour produire de l'électricité. C'est un composant électronique qui, exposé à la lumière (photon), décompose l'eau en oxygène et hydrogène. On peut ensuite utiliser cet hydrogène dans des piles à combustible ou des moteurs à hydrogène. Une telle cellule photoélectrochimique est formée d'une électrode photosensible immergée dans un électrolyte ou dans de l'eau.
Électrolyse de l'eauL'électrolyse de l'eau est un procédé électrolytique qui décompose l'eau (HO) en dioxygène et dihydrogène gazeux grâce à un courant électrique. La cellule électrolytique est constituée de deux électrodes immergées dans un électrolyte (ici l'eau elle-même) et connectées aux pôles opposés de la source de courant continu. vignette|Schéma du voltamètre d'Hoffmann utilisé pour l'électrolyse de l'eau. vignette|Schéma fonctionnel de l’électrolyse.
Lambda-calculLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel.
Afficher plus