Outs

fr

Ma langue maternelle
est le français.

en-2

I am able to contribute with an intermediate level of English.

∇

Informatique

Je participe au projet Informatique.

∇

Architecture

J’adore l'architecture.

Boîte utilisateur

Top 4 de ce que je n'aime pas dans WP :

Utiliser le système de référence pour faire des notes en bas d'article : soit c'est suffisamment important et on le met dans le texte soit cela ne l'est pas et on en parle pas. Dans tous les cas c'est insupportable de devoir cliquer pour descendre lire la note et re-cliquer pour remonter.
Changer l'intitulé d'un lien de manière abusive. Dans le genre [[machin | truc]] avec machin et truc qui ont un vague rapport.
Mettre des crochet à la places des parenthèses dans les formules mathématiques. À la place on peut utilise les commandes latex pour agrandir les parenthèses (\big, \Big, \bigg et \Bigg).
Les articles sur un sujet trop restreint, ne serait-il pas mieux de regroupes certains petits articles dans un article général ?

Notes sans intérêt

http://www.computer.org/portal/web/computingnow/software/toppicks http://en.wikipedia.org/wiki/Programming_chrestomathy

h i

http://jacques-andre.fr/chi/chi88/arsac.html

s

http://donh.best.vwh.net/Languages/broadribb.html

touches compose :

setxkbmap -option compose:lwin,compose:rwin

http://fr.wikipedia.org/wiki/Catégorie:Méthode_formelle

http://en.wikipedia.org/wiki/reference

http://en.wikipedia.org/wiki/Temporal_Logic_of_Actions

http://meta.wikimedia.org/wiki/Cite/Cite.php

Cité des arts et des sciences

[1]

A voir : Système de preuve interactive

Spécification (informatique)

Bugs

http://www.wired.com/software/coolapps/news/2005/11/69355
http://www2.canoe.com/techno/nouvelles/archives/2007/11/20071129-132409.html
bug atom http://linuxfr.org/2009/03/24/25162.html
et aussi l'affaire de l'irradiation a cause d'un prog en anglais
http://www.gao.gov/products/IMTEC-92-26

http://en.wikipedia.org/wiki/Synchronous_programming_language

Ingénierie dirigée par les modèles

Modèle:Ouvrage Modèle:Article Modèle:Lien web

ref démonstrations formelles http://www.ams.org/notices/200811/

http://www.generation-nt.com/commenter/culture-histoire-langages-programmation-actualite-251581.html#1

Wikipédia:Résumé introductif

à voir Théorie des langages Langage formel Compilateur Syntaxe Analyse lexicale Analyse syntaxique Grammaire formelle Grammaire

Portail:Sciences/Charte du contributeur en science sur Wikipédia

latex : http://www.dante.de/CTAN/info/math/voss/mathmode/Mathmode.pdf

http://www.antimoon.com/how/pronwhystory.htm

Liste des graphies des phonèmes du français

http://activitesfle.over-blog.com/

http://europeanelection2009.blog.lemonde.fr/2009/06/03/coup-de-projecteur-sur-europe-democratie-esperanto/

Ded nat

{\frac {\Gamma \vdash \varphi \Rightarrow \psi \quad \Gamma \vdash \varphi }{\Gamma \vdash \psi }}\quad (\Rightarrow E)\qquad \qquad \qquad {\frac {\Gamma ,\varphi \vdash \psi }{\Gamma \vdash \varphi \Rightarrow \psi }}\quad (\Rightarrow I)

.

{\frac {\Gamma \vdash \bot }{\Gamma \vdash \varphi }}\qquad (\bot E).

Traditionnellement, on considère la négation comme une abréviation. Plus précisément on dit que $\neg \varphi$ est en fait une abréviation pour $\varphi \Rightarrow \bot$ . Il n'y a donc pas de règles spécifiques à la négation.

{\frac {\Gamma \vdash A_{1}\land A_{2}}{\Gamma \vdash A_{i}}}\quad (\land E_{i})\qquad \qquad \qquad {\frac {\Gamma \vdash A\quad \Gamma \vdash B}{\Gamma \vdash A\land B}}\quad (\land I)

{\frac {\Gamma \vdash A\vee B\quad \Gamma ,A\vdash C\quad \Gamma ,B\vdash C}{\Gamma \vdash C}}\quad (\vee E)\qquad \qquad \qquad {\frac {\Gamma \vdash A_{i}}{\Gamma \vdash A_{1}\vee A_{2}}}\quad (\vee I_{i})

LJ

groupe identité :

${\cfrac {\qquad }{A\vdash A}}\quad ({\textrm {axiome}})\qquad {\cfrac {\Gamma \vdash A\qquad \Gamma ',A\vdash \Delta }{\Gamma ,\Gamma '\vdash \Delta }}\quad ({\textrm {coupure}})$

groupe structurel :

${\cfrac {\Gamma \vdash \Delta }{\Gamma ,A\vdash \Delta }}\quad \mathrm {affaiblissement\ gauche} \quad {\cfrac {\Gamma \vdash }{\Gamma \vdash A}}\quad \mathrm {affaiblissement\ droite}$

${\cfrac {\Gamma ,A,A\vdash \Delta }{\Gamma ,A\vdash \Delta }}\quad \mathrm {contraction\ gauche}$

${\cfrac {\Gamma \vdash \Delta }{\sigma (\Gamma )\vdash \Delta }}\quad \mathrm {{\acute {e}}change\ gauche}$

groupe logique :

${\cfrac {\Gamma ,A,B\vdash \Delta }{\Gamma ,A\land B\vdash \Delta }}\quad \land \mathrm {gauche} \qquad {\cfrac {\Gamma \vdash A\quad \Gamma \vdash B}{\Gamma \vdash A\land B}}\quad \land \mathrm {droite}$

${\cfrac {\Gamma ,A\vdash \Delta \quad \Gamma ,B\vdash \Delta }{\Gamma ,A\lor B\vdash \Delta }}\quad \lor \mathrm {gauche} \qquad {\cfrac {\Gamma \vdash A}{\Gamma \vdash A\lor B}}\quad \lor \mathrm {droite1} \qquad {\cfrac {\Gamma \vdash B}{\Gamma \vdash A\lor B}}\quad \lor \mathrm {droite2}$

${\cfrac {\Gamma \vdash A\quad \Gamma ,B\vdash \Delta }{\Gamma ,A\to B\vdash \Delta }}\quad \to \mathrm {gauche} \qquad {\cfrac {\Gamma ,A\vdash B}{\Gamma \vdash A\to B}}\quad \to \mathrm {droite}$

${\cfrac {\Gamma ,A[t/x]\vdash \Delta }{\Gamma ,\forall x\cdot A\vdash \Delta }}\quad \forall \mathrm {gauche} \qquad {\cfrac {\Gamma \vdash A}{\Gamma \vdash \forall x\cdot A}}\quad \forall \mathrm {droite}$

${\cfrac {\Gamma ,A\vdash \Delta }{\Gamma ,\exists x\cdot A\vdash \Delta }}\quad \exists \mathrm {gauche} \qquad {\cfrac {\Gamma \vdash A[t/x]}{\Gamma \vdash \exists x\cdot A}}\quad \exists \mathrm {droite}$