Projet:Informatique/Cabale Informatique France Index Livre blanc
Les entrées dans l'ordre d'entrée en scène (manip. par Kikuyu3 Sous l'Arbre à palabres)
Page Entrée
8 Cobol
8 Fortran
10 C
10 Caml
10 Java
10 langage de programmation
10 Python
13 mémoire
15 C
16 affectation d'adresse
16 Instruction d’entrée
16 Instruction de sortie
16 séquence
16 test
23 affectation d'adresse
23 expression
23 instruction
23 valeur
23 variable
24 opérations
30 Gérard Huet
30 Mentor
30 sémantique
32 boucle
32 Boucle for
35 imbrication
37 Boucle while
39 commenter
40 Non-terminaison
46 Caml
46 Haskell
46 ML
46 prix Turing
60 Algorithme méthode alpha-bêta
60 Lisp
64 argument de fonction
64 Fonction argument
64 Fonction valeur de retour
66 chaîne de caractèred (Erreur d'indexation : chaîne de caractèred (avec un d terminal) n'apparaît pas dans le corpus).
66 Fonction en-tête
68 Variable globale
68 Variable locale
68 portée d'une variable
72 Fonction argument
72 Fonction passage par valeur
73 Variable globale
74 Fonction passage par valeur
74 tableau
76 licence logicielle
78 Michael Rabin
80 fonction
81 Fonction récursive
81 récursivité
82 Boucle, cas de base
88 idéographie
90 langage formel
90 langue naturelle
92 langage formel
93 grammaire
95 format
95 sémantique
100 algorithme
102 bit
103 base des nombres
103 Entier naturel
103 Représentation entier naturel
106 base des nombres
108 base des nombres
109 Entier relatif
109 Représentation entier relatif
112 nombre à virgule
112 Représentation nombre à virgule
116 code
118 ASCII (American Standard Code for Information Interchange)
118 caractère
118 Code Unicode
119 chaîne de caractères
119 Représentation texte simple
119 Texte simple
122 Code ASCII
122 Format de fichier HTML (HyperText Markup Language)
122 Représentation texte enrichi
122 Texte enrichi
122 Unicode
123 lien hypertexte
124 HTML (HyperText Markup Language)
130 image
130 Image représentation vectorielle
130 pixel
130 Représentation image
131 ASCII (American Standard Code for Information Interchange)
131 Format de fichier
131 Format de fichier GIF (Graphics Interchange Format)
131 Format de fichier JPEG (Joint Photographic Experts Group)
131 Format de fichier PBM (Portable BitMap)
131 Format de fichier PGM (Portable GreyMap)
131 Format de fichier PICT
131 Format de fichier PNG (Portable Network Graphics)
131 Format de fichier PPM (Portable PixMap)
131 Format de fichier PS (PostScript)
131 Format de fichier TIFF (Tagged Image File Format)
131 Image représentation bitmap
132 Format de fichier PGM (Portable GreyMap)
132 Image couleur
132 Image niveaux de gris
133 ASCII (American Standard Code for Information Interchange)
134 Code ASCII
134 Format de fichier PPM (Portable PixMap)
135 Image numériser
136 Image synthèse soustractive
137 échantillonnage
137 Représentation son
137 son
137 Son échantillonner
138 Format de fichier MIDI (Musical Instrument Digital Interface)
138 Image taille
138 Son notation musicale
138 Son taille
138 Texte taille
139 préfixe des unités
140 Format de fichier
142 Alan Turing
142 Code secret
142 Colossus
144 Fonction booléenne
144 Fonction en-tête
144 Fonction non
144 Fonction ou
145 Fonction multiplexeur
145 Fonction mux
146 Fonction constante égale à 0
146 Fonction constante égale à 1
146 Fonction identité
148 Fonction en-tête
150 CERN
150 HTML (HyperText Markup Language)
150 Nexus
150 web
152 fichier
152 persistance des données
155 arborescence
158 lien hypertexte
159 arborescence
159 graphe
159 hypermnésie
159 persistance des données
160 rivalité de l’information
162 base de données
164 Chiffrement RSA
164 Clé privée
164 Clé publique
164 RSA
166 ASCII (American Standard Code for Information Interchange)
166 code
166 Compresser sans perte
166 compression
166 UTF-8
167 dictionnaire
170 Compresser avec perte
170 corriger les erreurs
173 chiffrer
173 Chiffrer clé
173 Chiffrer masque jetable
173 sécurité
173 sûreté
175 Chiffrer RSA
176 authentifier
176 Chiffrer authentifier
180 prix Turing
182 porte booléenne non
183 porte booléenne ou
189 porte booléenne additionneur un bit
189 porte booléenne multiplieur
192 bascule de Schmitt
192 génie biomédical
194 Circuit mémoire un bit
194 mémoire
200 horloge
201 fréquence d'horloge
206 architecture de von Neumann
206 bus de communication
206 instruction
206 mémoire
206 périphérique
206 processeur
206 Processeur unité de calcul
206 Processeur unité de contrôle
206 unité de calcul
207 langage machine
207 registres
208 langage machine
213 périphérique
214 système d’exploitation
215 mémoire
215 ordinateurs parallèles
216 Code auto-modifiant
216 Code compilé
216 Code distribution
216 Code source
216 virus
218 IP (Internet Protocol)
218 protocole
218 Protocole IP (Internet Protocol)
218 Protocole TCP (Transmission Control Protocol)
218 TCP (Transmission Control Protocol)
220 protocole
220 Représentation caractère
220 réseau
220 Réseau protocole
221 couche de protocoles
221 encapsulation des informations
221 Réseau couche de protocoles
222 couche de protocoles norme
222 couche de protocoles physique
222 décapsulation des informations
224 Adresse MAC (Medium Access Control)
224 couche de protocoles lien
225 paquet de données
226 Adresse IP
226 couche de protocoles réseau
227 IP (Internet Protocol)
227 Protocole IP (Internet Protocol)
228 hôte (ordinateur)
228 ordinateur hôte
228 Routage des informations
228 routeur
229 table de routage
229 table de routage
231 Adresse IP
231 IP (Internet Protocol)
231 Protocole IP (Internet Protocol)
232 couche de protocoles transport 232
233 port
233 porte booléenne TCP (Transmission Control Protocol)
234 couche de protocoles application
234 DNS (Domain Name System)
234 HTTP (HyperText Transfer Protocol)
234 protocole DNS (Domain Name System)
234 Protocole HTTP (HyperText Transfer Protocol)
234 Protocole SMTP (Simple Mail Transfer Protocol)
234 SMTP (Simple Mail Transfer Protocol)
235 Internet lois
237 cloud computing
238 cybernétique
238 feedback
240 mOway
240 robot
240 Robot actionneur
240 Robot capteur
241 Robot micro-contrôleur
242 Robot capteur
243 Robot contrôle en boucle fermée
243 Robot micro-contrôleur
244 Robot actionneur
247 Robot capteur
254 Ada
254 Bernoulli
254 Charles Babbage
256 addition
257 Addition en base 2
261 correction d’un programme
261 programme correct
262 invariant
264 algorithme
266 réalité virtuelle
266 Sketchpad
268 dessiner
268 fenêtre graphique
270 Dessiner perspective
270 Dessiner trois dimensions
275 Format de fichier PPM (Portable PixMap)
277 Format de fichier PGM (Portable GreyMap)
277 Format de fichier PPM (Portable PixMap)
278 Image transformation
279 Image augmenter le contraste
280 Image luminance
281 Image fusion de deux images
281 Image taille
283 Image lissage
285 CAO (Conception assistée par ordinateur)
285 conception assistée par ordinateur
286 algorithmique
286 TeX
288 recherche en table
289 dichotomie
289 logarithme entier
293 conversion analogique-numérique
294 zéro d’une fonction
296 algorithme
298 Tri par sélection
301 Tri à bulles
301 Tri par insertion
302 Tri par fusion
307 efficacité d'un algorithme
309 efficacité d'un algorithme
309 Tri par fusion
309 Tri par sélection
312 Allen Emerson
312 Edmund Clarke
312 prix Turing
314 Graphe chemin à prolonger
320 Algorithme dfs (depth-first search)
320 Graphe parcours dfs
320 Graphe parcours en profondeur
320 Graphe recherche en largeur
320 Graphe recherche en profondeur
321 Algorithme bfs (breadth-first search)
321 graphe
321 Graphe parcours
321 Graphe parcours bfs
321 Graphe parcours en largeur
322 Graphe état
322 Graphe orienté/non orienté
322 Graphe transition
325 Algorithme fondamental
337 Algorithme Roy-Warshall-Floyd
///
Langages et programmation
modifierLangages
modifierLes articles sur les langages ont a priori tous un niveau de développement suffisant.
Ada, C, C++, Caml, Cobol, Fortran, Haskell, Java, Lisp, ML (langage), Python
Programmation
modifierEntrées-sorties, Argument (de fonction), passage par valeur/adresse
Instruction informatique, Instruction-machine
Boucles, Boucle for, Boucle while
Type (informatique), Chaîne de caractères
Variable globale, Variable locale
Fonction informatique, Fonction récursive, Récursivité
Compilation
modifierMéthodes formelles
modifierLogique
modifierSémantique
modifierSémantique des langages de programmation
Vérification
modifierVérification formelle (laconique, mérite plus qu'une redirection vers méthode formelle)
Langages formels & automates
modifierThéorie des langages, Langage formel, Langage algébrique
Théorie des automates, Automate, Automate fini, Automate de Büchi, Automate à pile, Automate sur les mots infinis
Algorithmes
modifierAlgorithme déterministe, Algorithme non-déterministe
Propriétés des algorithmes
modifierComplexité dans le pire des cas, Complexité dans le meilleur des cas
Algorithmes de tri
modifierTri par sélection, Tri à bulles, Tri par insertion, Tri fusion
Théorie de la complexité
modifierClasse de complexité (laconique)
Graphes
modifierAlgorithme de parcours en profondeur, Algorithme de parcours en largeur, Parcours de graphe
Graphe orienté, Graphe non orienté
Arbres
modifierArbre binaire, Arbre binaire de recherche
Problèmes et algorithmes liés
modifierProblème des sept ponts de Königsberg
Chemins : Algorithme de Dijkstra, Algorithme de Bellman-Ford
Arbres couvrants minimaux : Algorithme de Kruskal, Algorithme de Prim
Composantes connexes : Algorithme de Tarjan
Flot : Problème de flot maximum, Algorithme de Ford-Fulkerson, Théorème flot-max/coupe-min, Coupe maximum
Architecture
modifierMémoire, Registre (informatique)
Processeur, Unité arithmétique et logique, Unité de contrôle
Portes logiques
modifierThéorie de l'information
modifierConvertisseur analogique-numérique
Représentation de l'information
modifierCryptographie
modifierChiffrement, Clé de chiffrement
Cryptographie, Cryptographie symétrique, Cryptographie asymétrique
Réseau
modifierEncapsulation des informations
Couche application, Couche de présentation, Couche session, Couche transport, Couche réseau, Couche liaison, Couche physique
Bases de données
modifierEn vrac
modifierProblème du voyageur de commerce
Problème du sac à dos (AdQ)