Très schématiquement, une exécution d'un programme acquiert des valeurs et transmet, en tant que résultats, des valeurs élaborées à partir de ces entrées...
9 kio (1 368 mots) - 14 septembre 2016 à 15:47
Dans un source de programme, une déclaration introduit un identificateur et précise éventuellement son type. La définition de cet identificateur lui associe...
7 kio (1 010 mots) - 17 juin 2022 à 15:34
Soit le fragment de texte X=1. En mathématiques ce texte peut signifier " posons X=1". Dans ce cas, le nom X désigne l'entier 1 qui est aussi le rationnel...
5 kio (636 mots) - 9 mars 2016 à 13:51
Sous le nom de "distorsions sémantiques", sont donnés quelques exemples d'anomalies ou de résultats "surprenants" d'exécutions de programmes. Ces exemples...
970 octet (109 mots) - 22 janvier 2016 à 16:55
Informatique et Sciences du Numérique au lycée : un pas plus loin Un livre appartenant à l'étagère Informatique de Wikilivres. PAGE EN COURS DE CONSTRUCTION...
2 kio (224 mots) - 10 mars 2016 à 14:35
L'observation des effets et résultats d'un programme se fait par la réalisation d'effets de bord : il faut pouvoir dialoguer avec l'utilisateur et il faut...
8 kio (1 104 mots) - 4 décembre 2020 à 02:13
Cette partie donne une présentation des constructions des langages de programmation, qui se veut assez large mais qui reste assez informelle. Les chapitres...
3 kio (418 mots) - 14 avril 2016 à 13:52
Le typage assure une certaine forme de cohérence dans la manipulation des données en assurant par exemple que les opérations prennent bien leurs arguments...
2 kio (258 mots) - 27 décembre 2017 à 23:29
Les données manipulées par les programmes sont décrites dans les programmes par des expressions de formes variées : expressions arithmétiques, chaînes...
2 kio (232 mots) - 1 juin 2016 à 16:31
Page en cours de construction, à partir de fragments des pages citées dans le texte ci-dessous. L'intuitionnisme est une position philosophique vis-à-vis...
2 kio (264 mots) - 11 février 2016 à 12:06
Les notions de fichier, formats de fichier, langages à balise, base de données, persistance des données, compression, codes correcteurs, chiffrement et...
950 octet (124 mots) - 3 juin 2022 à 00:33
La vérification par modèles (en anglais model checking) désigne une famille de techniques de vérification automatique de programmes (ou de systèmes), fondées...
2 kio (209 mots) - 9 mars 2016 à 13:00
La logique mathématique ou méta-mathématique a été introduite en tant que discipline des mathématiques à la fin du xixe siècle, qui s'est donné comme objet...
2 kio (221 mots) - 1 juin 2016 à 16:31
(Introduction à écrire par les wikipédiennes (iens) construisant les sections. Chapitre à construire par les wikipédiennes (iens) concernées (és) par ce...
2 kio (270 mots) - 11 février 2016 à 15:53
Chapitre à construire par les wikipédiennes (iens) concernées (és) par ce domaine. Le plan indiqué est un simple extrait de la table des matières de l'ouvrage...
2 kio (233 mots) - 1 septembre 2016 à 18:29
L'enseignement de l'option ISN donne une première présentation des notions essentielles relatives à la programmation (notion de programme, boucles, types...
8 kio (1 033 mots) - 14 septembre 2016 à 15:04
Ce chapitre présente rapidement les constructions syntaxiques communes à beaucoup de langages de programmation, dits de haut niveau. Elles permettent de...
1 kio (82 mots) - 2 septembre 2022 à 20:36
Cette partie aborde ensuite la question : Comment exprimer ce que doit faire un programme? La spécification d'un programme exprime le résultat attendu...
1 kio (149 mots) - 17 mars 2016 à 15:17
Lorsque la spécification d'un logiciel est suffisamment ample, il est en général possible de la structurer en parties relativement indépendantes les unes...
1 kio (173 mots) - 22 juin 2016 à 11:21
Lors de l'écriture d'un programme, il est interessant de découper le programme en composantes regroupant un seul aspect du traitement. Cela conduit à classifier...
2 kio (241 mots) - 29 août 2016 à 00:11