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
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
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
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
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
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
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
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
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
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
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
(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
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
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
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
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
Cette partie décrit différentes possibilités de construction d'un exécutable à partir du texte en langage source, en se limitant aux langages dits séquentiels...
969 octet (119 mots) - 22 janvier 2016 à 16:55
Page en cours d'élaboration des exemples de bugs liés à la mauvaise connaissance de la sémantique du langage ou à des incohérences sémantiques des exemples...
295 octet (40 mots) - 22 janvier 2016 à 16:55