Algorithmique - Programmation 1. Cours 3
|
|
|
- Thibault Lavigne
- il y a 6 ans
- Total affichages :
Transcription
1 Algorithmique - Programmation 1 Cours 3 Université Henri Poincaré CESS Epinal Automne / 25
2 Plan Typage de fonctions Typage de fonctions Le type caractère Le type chaîne de caractères Fonctions récursives 2/ 25
3 Typage de fonctions Typage de fonctions Fonction prédéfinie # int_of_float;; - : float -> int = <fun> Expression fonctionnelle anonyme # function x -> x + 1;; - : int -> int = <fun> Application d une expression fonctionnelle # (function x -> x + 1) 5;; - : int = 6 Expression fonctionnelle nommée (fonction) # let f = function x -> x + 1;; val f : int -> int = <fun> # let f x = x + 1;; Application d une fonction en un point # (f 3);; - : int = 4 3/ 25
4 Typage de fonctions Typage de fonctions (suite) Fonctions à plusieurs paramètres: # let somme2 = function x -> function y -> x + y;; # let moy2 x y = float_of_int(x + y) /. 2.;; # let moy3 x y z = (x +. y +. z) /. 3.;; # moy ;; - : float = / 25
5 Typage de fonctions Typage de fonctions (suite) Généralisation: fonctions à n paramètres Type: nom : t1 ->... -> tn -> res = <fun> Définition: let nom = function p1 ->... -> function pn -> expr(p1,... pn);; ou let nom p1... pn = expr(p1,... pn);; Appel: nom v1 v2... vn;; 5/ 25
6 Plan Typage de fonctions Le type caractère Le type chaîne de caractères Fonctions récursives 6/ 25
7 Définition d une liaison entre un identifiant et une valeur (expression) au moyen du mot-clé let Liaison valide toute la durée d une session, tant que le même nom n est pas réutilisé dans un autre lien Liaison globale Problème: réutilisation d un identifiant? Définition de liaisons locales au moyen de la syntaxe suivante: let identifiant = expr1 in expr2 En cas d homonymes, un identifiant réfère à la liaison ayant la portée la plus restreinte Exemple: let a = 3 in (a+3)/2;; 7/ 25
8 (suite) Une session avec liaisons globales # let a = 3;; (* première liaison globale pour a*) # let b = 2;; # let c = 1;; # let somme= a+b+c;; # let a = 10;; (* nouvelle liaison pour a*) # somme;; 8/ 25
9 (suite) Une session avec liaisons globales # let a = 3;; (* première liaison globale pour a*) val a : int = 3 # let b = 2;; # let c = 1;; # let somme= a+b+c;; # let a = 10;; (* nouvelle liaison pour a*) # somme;; 8/ 25
10 (suite) Une session avec liaisons globales # let a = 3;; (* première liaison globale pour a*) val a : int = 3 # let b = 2;; val b : int = 2 # let c = 1;; # let somme= a+b+c;; # let a = 10;; (* nouvelle liaison pour a*) # somme;; 8/ 25
11 (suite) Une session avec liaisons globales # let a = 3;; (* première liaison globale pour a*) val a : int = 3 # let b = 2;; val b : int = 2 # let c = 1;; val c : int = 1 # let somme= a+b+c;; # let a = 10;; (* nouvelle liaison pour a*) # somme;; 8/ 25
12 (suite) Une session avec liaisons globales # let a = 3;; (* première liaison globale pour a*) val a : int = 3 # let b = 2;; val b : int = 2 # let c = 1;; val c : int = 1 # let somme= a+b+c;; val somme : int = 6 # let a = 10;; (* nouvelle liaison pour a*) # somme;; 8/ 25
13 (suite) Une session avec liaisons globales # let a = 3;; (* première liaison globale pour a*) val a : int = 3 # let b = 2;; val b : int = 2 # let c = 1;; val c : int = 1 # let somme= a+b+c;; val somme : int = 6 # let a = 10;; (* nouvelle liaison pour a*) val a : int = 10 (*liaison précédente perdue*) # somme;; 8/ 25
14 (suite) Une session avec liaisons globales # let a = 3;; (* première liaison globale pour a*) val a : int = 3 # let b = 2;; val b : int = 2 # let c = 1;; val c : int = 1 # let somme= a+b+c;; val somme : int = 6 # let a = 10;; (* nouvelle liaison pour a*) val a : int = 10 (*liaison précédente perdue*) # somme;; val somme : int = 6 (*valeur calculée avec la première liaison pour a, b et c*) 8/ 25
15 (suite) Une session avec liaisons locales # let rac a b c = let delta = (b *. b -. 4.*.a*.c) in (-.(b) +. sqrt delta)/.2.*.a;; 9/ 25
16 (suite) Une session avec liaisons locales # let rac a b c = let delta = (b *. b -. 4.*.a*.c) in (-.(b) +. sqrt delta)/.2.*.a;; val rac : float -> float -> float -> float = <fun> 9/ 25
17 (suite) Une session avec liaisons locales # let rac a b c = let delta = (b *. b -. 4.*.a*.c) in (-.(b) +. sqrt delta)/.2.*.a;; val rac : float -> float -> float -> float = <fun> # rac (-.3.);; 9/ 25
18 (suite) Une session avec liaisons locales # let rac a b c = let delta = (b *. b -. 4.*.a*.c) in (-.(b) +. sqrt delta)/.2.*.a;; val rac : float -> float -> float -> float = <fun> # rac (-.3.);; - : float = / 25
19 (suite) Une session avec liaisons locales # let rac a b c = let delta = (b *. b -. 4.*.a*.c) in (-.(b) +. sqrt delta)/.2.*.a;; val rac : float -> float -> float -> float = <fun> # rac (-.3.);; - : float = # delta;; 9/ 25
20 (suite) Une session avec liaisons locales # let rac a b c = let delta = (b *. b -. 4.*.a*.c) in (-.(b) +. sqrt delta)/.2.*.a;; val rac : float -> float -> float -> float = <fun> # rac (-.3.);; - : float = # delta;; Unbound value delta (* la liaison établie entre delta et la formule est locale à l expression du calcul de racine, elle n est plus valide ici *) 9/ 25
21 (suite) Imbrication de liaisons locales # let f z = let u=(z+1)*(z+1) in let v=z-3 in float of int u /.float of int v;; 10/ 25
22 (suite) Imbrication de liaisons locales # let f z = let u=(z+1)*(z+1) in let v=z-3 in float of int u /.float of int v;; val f : int -> float = <fun> 10/ 25
23 (suite) Imbrication de liaisons locales # let f z = let u=(z+1)*(z+1) in let v=z-3 in float of int u /.float of int v;; val f : int -> float = <fun> # let f z = let u=(z+1)*(z+1) and v=z-3 in float of int u /.float of int v;; 10/ 25
24 (suite) Imbrication de liaisons locales # let f z = let u=(z+1)*(z+1) in let v=z-3 in float of int u /.float of int v;; val f : int -> float = <fun> # let f z = let u=(z+1)*(z+1) and v=z-3 in float of int u /.float of int v;; val f : int -> float = <fun> 10/ 25
25 (suite) Imbrication de liaisons locales # let f z = let u=(z+1)*(z+1) in let v=z-3 in float of int u /.float of int v;; val f : int -> float = <fun> # let f z = let u=(z+1)*(z+1) and v=z-3 in float of int u /.float of int v;; val f : int -> float = <fun> # let f z = let u=(z+1)*(z+1) in let v=u-3 in float of int u /.float of int v;; 10/ 25
26 (suite) Imbrication de liaisons locales # let f z = let u=(z+1)*(z+1) in let v=z-3 in float of int u /.float of int v;; val f : int -> float = <fun> # let f z = let u=(z+1)*(z+1) and v=z-3 in float of int u /.float of int v;; val f : int -> float = <fun> # let f z = let u=(z+1)*(z+1) in let v=u-3 in float of int u /.float of int v;; val f : int -> float = <fun> 10/ 25
27 (suite) Définition (Portée) La portée d une liaison est la portion du code dans laquelle cette liaison est valide (i.e. où un identifiant est lié à une expression). En Caml, on considère 3 portées: 1. portée globale (let) 2. portée locale (let... in) 3. argument de fonction (function... ->) En cas d ambiguïté (plusieurs occurrences du même identifiant), priorité à celui ayant la portée la plus restreinte 11/ 25
28 Portée: exemple # let a = 2;; # let b = a*3 in b*b;; # let a = 3;; # let a = a*a in let a = a+1 in a/2;; # a+1;; # let f = function a ->3*a;; # f 1;; # let a=3 and b=a+3;; 12/ 25
29 Portée: exemple # let a = 2;; val a : int = 2 # let b = a*3 in b*b;; # let a = 3;; # let a = a*a in let a = a+1 in a/2;; # a+1;; # let f = function a ->3*a;; # f 1;; # let a=3 and b=a+3;; 12/ 25
30 Portée: exemple # let a = 2;; val a : int = 2 # let b = a*3 in b*b;; - : int = 36 # let a = 3;; # let a = a*a in let a = a+1 in a/2;; # a+1;; # let f = function a ->3*a;; # f 1;; # let a=3 and b=a+3;; 12/ 25
31 Portée: exemple # let a = 2;; val a : int = 2 # let b = a*3 in b*b;; - : int = 36 # let a = 3;; val a : int = 3 # let a = a*a in let a = a+1 in a/2;; # a+1;; # let f = function a ->3*a;; # f 1;; # let a=3 and b=a+3;; 12/ 25
32 Portée: exemple # let a = 2;; val a : int = 2 # let b = a*3 in b*b;; - : int = 36 # let a = 3;; val a : int = 3 # let a = a*a in let a = a+1 in a/2;; - : int = 5 # a+1;; # let f = function a ->3*a;; # f 1;; # let a=3 and b=a+3;; 12/ 25
33 Portée: exemple # let a = 2;; val a : int = 2 # let b = a*3 in b*b;; - : int = 36 # let a = 3;; val a : int = 3 # let a = a*a in let a = a+1 in a/2;; - : int = 5 # a+1;; - : int = 4 # let f = function a ->3*a;; # f 1;; # let a=3 and b=a+3;; 12/ 25
34 Portée: exemple # let a = 2;; val a : int = 2 # let b = a*3 in b*b;; - : int = 36 # let a = 3;; val a : int = 3 # let a = a*a in let a = a+1 in a/2;; - : int = 5 # a+1;; - : int = 4 # let f = function a ->3*a;; val f : int -> int = <fun> # f 1;; # let a=3 and b=a+3;; 12/ 25
35 Portée: exemple # let a = 2;; val a : int = 2 # let b = a*3 in b*b;; - : int = 36 # let a = 3;; val a : int = 3 # let a = a*a in let a = a+1 in a/2;; - : int = 5 # a+1;; - : int = 4 # let f = function a ->3*a;; val f : int -> int = <fun> # f 1;; - : int = 3 # let a=3 and b=a+3;; 12/ 25
36 Portée: exemple # let a = 2;; val a : int = 2 # let b = a*3 in b*b;; - : int = 36 # let a = 3;; val a : int = 3 # let a = a*a in let a = a+1 in a/2;; - : int = 5 # a+1;; - : int = 4 # let f = function a ->3*a;; val f : int -> int = <fun> # f 1;; - : int = 3 # let a=3 and b=a+3;; val a : int = 3 val b : int = 6 12/ 25
37 Plan Le type caractère Typage de fonctions Le type caractère Le type chaîne de caractères Fonctions récursives 13/ 25
38 Le type caractère Le type caractère Valeurs représentées: les caractères de l alphabet (majuscules et minuscules) les chiffres les signes de ponctuation les caractères spéciaux (retour à la ligne, etc) En tout: 256 possibilités (chaque caractère est codé comme un entier sur 8 positions binaires) Exemple: a = = Codage standard des caractères: code ASCII (0 à 127) Entre 128 and 255 Caml suit le standard ISO / 25
39 Le type caractère Le type caractère (suite) En Caml, type noté char Quelques fonctions prédéfinies: # int_of_char ;; - : char -> int = <fun> # char_of_int ;; - : int -> char = <fun> # Char.lowercase ;; - : char -> char = <fun> Comparaison (ordre lexicographique) au moyen de < et > (test d égalité via =) 15/ 25
40 Le type caractère Le type caractère (suite) Quelques exemples de fonctions utilisant des caractères # let est_un_a car = (car = a or car = A );; # let voyelle = function a -> true e -> true i -> true o -> true u -> true _ -> false;; 16/ 25
41 Plan Le type chaîne de caractères Typage de fonctions Le type caractère Le type chaîne de caractères Fonctions récursives 17/ 25
42 Le type chaîne de caractères Le type chaîne de caractères Tableau de caractères En Caml, type noté string Constructeur: les guillemets Exemple: # "toto";; - : string = "toto" Opérateur de concaténation: ^ Exemple: # "bon"^" appetit";; - : string = "bon appetit" 18/ 25
43 Le type chaîne de caractères Le type chaîne de caractères (suite) Quelques fonctions prédéfinies: # string_of_int ;; - : int -> string = <fun> # float_of_string ;; - : string -> float = <fun> # String.get ;; - : String -> int -> char = <fun> Exemple: # String.get 123 2;; This expression has type int but is here used with type string # String.get (string_of_int 123) 2;; - : char = 3 19/ 25
44 Plan Fonctions récursives Typage de fonctions Le type caractère Le type chaîne de caractères Fonctions récursives 20/ 25
45 Fonctions récursives Fonctions récursives Définition (Fonction récursive) Une fonction f est dite récursive si sa définition contient un appel à la fonction f elle-même. Représentation naturelle (e.g. suites) Lisibilité, simplicité (code concis) Exemple: factorielle { 1 si n = 1 n! = n (n 1)! si n > 1 21/ 25
46 Fonctions récursives Fonctions récursives (suite) Définition d une fonction récursive à base de cas: cas d arrêt (valeur particulière) cas général (appel récursif) Dans le cas général, la fonction s appelle elle-même en modifiant son(ses) paramètre(s) de manière à converger vers le cas d arrêt En Caml, une fonction est définie comme étant récursive au moyen du mot clé rec: # let rec fact = function n -> if n=1 then 1 else n * fact (n-1);; val fact : int -> int = <fun> 22/ 25
47 Fonctions récursives Fonctions récursives (suite) La distinction entre cas général et cas d arrêt peut se faire au moyen d un filtrage (pattern matching): # let rec fact = function 1 -> 1 n -> n * fact (n-1);; val fact : int -> int = <fun> Isolement de l appel récursif: # let rec fact = function 1 -> 1 n -> let fr = fact (n-1) in n * fr ;; val fact : int -> int = <fun> 23/ 25
48 Fonctions récursives Fonctions récursives (suite) Attention: l appel récursif doit converger vers le cat d arrêt sinon risque de débordement de mémoire (problème détecté à l exécution uniquement) De plus: lors d une définition par filtrage, tous les cas doivent retourner le même type de données Déroulement de la fonction fact pour n = 5? Fonction permettant de représenter la suite ci-dessous? { U0 = 2 U n = 3 U n 1 24/ 25
49 Typage de fonctions Fonctions récursives # function a -> function b -> function c -> (a (c * 1)) - (b (c + 0));; # let f = function u -> function v -> u + v;; # let g = f 1 ;; # function f -> function g -> function k -> f (2 * k) *. g (3.5 *. float_of_int (k) ) ;; # let rec f = function x -> function n -> if x = 0 then 1 else x * f x (n-1);; 25/ 25
length : A N add : Z Z Z (n 1, n 2 ) n 1 + n 2
1 Univ. Lille1 - Licence info 3ème année 2013-2014 Expression Logique et Fonctionnelle... Évidemment Cours n o 1 : Introduction à la programmation fonctionnelle 1 Introduction La programmation fonctionnelle
Recherche dans un tableau
Chapitre 3 Recherche dans un tableau 3.1 Introduction 3.1.1 Tranche On appelle tranche de tableau, la donnée d'un tableau t et de deux indices a et b. On note cette tranche t.(a..b). Exemple 3.1 : 3 6
Licence ST Université Claude Bernard Lyon I LIF1 : Algorithmique et Programmation C Bases du langage C 1 Conclusion de la dernière fois Introduction de l algorithmique générale pour permettre de traiter
Classes et Objets en Ocaml.
Classes et Objets en Ocaml. Didier Rémy 2001-2002 http://cristal.inria.fr/ remy/mot/2/ http://www.enseignement.polytechnique.fr/profs/informatique/didier.remy/mot/2/ Cours Exercices Slide 1 1. Objets 2.
Cours de Programmation 2
Cours de Programmation 2 Programmation à moyenne et large échelle 1. Programmation modulaire 2. Programmation orientée objet 3. Programmation concurrente, distribuée 4. Programmation monadique 5. Les programmes
# let rec concat l1 l2 = match l1 with [] -> l2 x::l 1 -> x::(concat l 1 l2);; val concat : a list -> a list -> a list = <fun>
![# let rec concat l1 l2 = match l1 with [] -> l2 x::l 1 -> x::(concat l 1 l2);; val concat : a list -> a list -> a list = <fun>](/thumbs/20/394597.jpg "# let rec concat l1 l2 = match l1 with [] -> l2 x::l 1 -> x::(concat l 1 l2);; val concat : a list -> a list -> a list = <fun>")
94 Programmation en OCaml 5.4.8. Concaténation de deux listes Définissons maintenant la fonction concat qui met bout à bout deux listes. Ainsi, si l1 et l2 sont deux listes quelconques, concat l1 l2 constitue
Les chaînes de caractères
Les chaînes de caractères Dans un programme informatique, les chaînes de caractères servent à stocker les informations non numériques comme par exemple une liste de nom de personne ou des adresses. Il
Algorithmique et Programmation, IMA
Algorithmique et Programmation, IMA Cours 2 : C Premier Niveau / Algorithmique Université Lille 1 - Polytech Lille Notations, identificateurs Variables et Types de base Expressions Constantes Instructions
Utilisation d objets : String et ArrayList
Chapitre 6 Utilisation d objets : String et ArrayList Dans ce chapitre, nous allons aborder l utilisation d objets de deux classes prédéfinies de Java d usage très courant. La première, nous l utilisons
Chapitre 10. Les interfaces Comparable et Comparator 1
Chapitre 10: Les interfaces Comparable et Comparator 1/5 Chapitre 10 Les interfaces Comparable et Comparator 1 1 Ce chapitre a été extrait du document "Objets, Algorithmes, Patterns" de [René Lalement],
Machines virtuelles fonctionnelles (suite) Compilation ML Java
Machines virtuelles fonctionnelles (suite) Compilation ML Java Cours de Compilation Avancée (MI190) Benjamin Canou Université Pierre et Maire Curie Année 2011/2012 Semaine 3 Machines virtuelles fonctionnelles
SNT4U16 - Initiation à la programmation 2014-2015. TD - Dynamique de POP III - Fichiers sources
SNT4U16 - Initiation à la programmation Licence SVT 2 ème année 2014-2015 TD - Dynamique de POP III - Fichiers sources contacts : mathias.gauduchon@univ-amu.fr, melika.baklouti@univ-amu.fr, xavier.giraud@univ-amu.fr,
Structure d un programme et Compilation Notions de classe et d objet Syntaxe
Cours1 Structure d un programme et Compilation Notions de classe et d objet Syntaxe POO 1 Programmation Orientée Objet Un ensemble d objet qui communiquent Pourquoi POO Conception abstraction sur les types
PROJET ALGORITHMIQUE ET PROGRAMMATION II
PROJET 1 ALGORITHMIQUE ET PROGRAMMATION II CONTENU DU RAPPORT A RENDRE : o Fiche signalétique du binôme o Listing des différents fichiers sources o CD sources o Il sera tenu compte de la présentation du
UE Programmation Impérative Licence 2ème Année 2014 2015
UE Programmation Impérative Licence 2 ème Année 2014 2015 Informations pratiques Équipe Pédagogique Florence Cloppet Neilze Dorta Nicolas Loménie prenom.nom@mi.parisdescartes.fr 2 Programmation Impérative
I. Introduction aux fonctions : les fonctions standards
Chapitre 3 : Les fonctions en C++ I. Introduction aux fonctions : les fonctions standards A. Notion de Fonction Imaginons que dans un programme, vous ayez besoin de calculer une racine carrée. Rappelons
Cours d introduction à l informatique. Partie 2 : Comment écrire un algorithme? Qu est-ce qu une variable? Expressions et instructions
Cours d introduction à l informatique Partie 2 : Comment écrire un algorithme? Qu est-ce qu une variable? Expressions et instructions Qu est-ce qu un Une recette de cuisine algorithme? Protocole expérimental
OCL - Object Constraint Language
OCL - Object Constraint Language Laëtitia Matignon laetitia.matignon@univ-lyon1.fr Département Informatique - Polytech Lyon Université Claude Bernard Lyon 1 2012-2013 Laëtitia Matignon SIMA - OCL - Object
2 Comment fonctionne un ordinateur, dans les grandes lignes
Programmation 1 Cours n 1 GB3, 2 nd semestre 2014-2015 Cours de Python Gilles Bernot Les notes de cours et les feuilles de TD sont disponibles (avec un peu de retard par rapport au déroulement du cours)
1. Structure d un programme C. 2. Commentaire: /*..texte */ On utilise aussi le commentaire du C++ qui est valable pour C: 3.
1. Structure d un programme C Un programme est un ensemble de fonctions. La fonction "main" constitue le point d entrée pour l exécution. Un exemple simple : #include int main() { printf ( this
Présentation du langage et premières fonctions
1 Présentation de l interface logicielle Si les langages de haut niveau sont nombreux, nous allons travaillé cette année avec le langage Python, un langage de programmation très en vue sur internet en
STAGE IREM 0- Premiers pas en Python
Université de Bordeaux 16-18 Février 2014/2015 STAGE IREM 0- Premiers pas en Python IREM de Bordeaux Affectation et expressions Le langage python permet tout d abord de faire des calculs. On peut évaluer
Langage SQL (1) 4 septembre 2007. IUT Orléans. Introduction Le langage SQL : données Le langage SQL : requêtes
Langage SQL (1) Sébastien Limet Denys Duchier IUT Orléans 4 septembre 2007 Notions de base qu est-ce qu une base de données? SGBD différents type de bases de données quelques systèmes existants Définition
TP 1. Prise en main du langage Python
TP. Prise en main du langage Python Cette année nous travaillerons avec le langage Python version 3. ; nous utiliserons l environnement de développement IDLE. Étape 0. Dans votre espace personnel, créer
Expression des contraintes. OCL : Object C o n t r a i n t L a n g u a g e
P r o b l é m a t i q u e OCL : O b j e c t C o n s t r a i n t L a n g u a g e Le langage de contraintes d UML Les différents diagrammes d UML permettent d exprimer certaines contraintes graphiquement
INF 321 : mémento de la syntaxe de Java
INF 321 : mémento de la syntaxe de Java Table des matières 1 La structure générale d un programme 3 2 Les composants élémentaires de Java 3 2.1 Les identificateurs.................................. 3 2.2
Cours No 3 : Identificateurs, Fonctions, Premières Structures de contrôle.
Université Montpellier-II UFR des Sciences - Département Informatique - Licence Informatique UE GLIN302 - Programmation Applicative et Récursive Cours No 3 : Identificateurs, Fonctions, Premières Structures
Cours de C++ François Laroussinie. 2 novembre 2005. Dept. d Informatique, ENS de Cachan
Cours de C++ François Laroussinie Dept. d Informatique, ENS de Cachan 2 novembre 2005 Première partie I Introduction Introduction Introduction Algorithme et programmation Algorithme: méthode pour résoudre
ALGORITHMIQUE ET PROGRAMMATION En C
Objectifs ALGORITHMIQUE ET PROGRAMMATION Une façon de raisonner Automatiser la résolution de problèmes Maîtriser les concepts de l algorithmique Pas faire des spécialistes d un langage Pierre TELLIER 2
INITIATION AU LANGAGE C SUR PIC DE MICROSHIP
COURS PROGRAMMATION INITIATION AU LANGAGE C SUR MICROCONTROLEUR PIC page 1 / 7 INITIATION AU LANGAGE C SUR PIC DE MICROSHIP I. Historique du langage C 1972 : naissance du C dans les laboratoires BELL par
Découverte de Python
Découverte de Python Python est un des langages informatiques au programme des concours à partir de la session 2015. Ce tutoriel vous permettra de vous mettre à peu près à niveau de ce qui a été fait en
1/24. I passer d un problème exprimé en français à la réalisation d un. I expressions arithmétiques. I structures de contrôle (tests, boucles)
1/4 Objectif de ce cours /4 Objectifs de ce cours Introduction au langage C - Cours Girardot/Roelens Septembre 013 Du problème au programme I passer d un problème exprimé en français à la réalisation d
Corrigé des TD 1 à 5
Corrigé des TD 1 à 5 1 Premier Contact 1.1 Somme des n premiers entiers 1 (* Somme des n premiers entiers *) 2 program somme_entiers; n, i, somme: integer; 8 (* saisie du nombre n *) write( Saisissez un
UEO11 COURS/TD 1. nombres entiers et réels codés en mémoire centrale. Caractères alphabétiques et caractères spéciaux.
UEO11 COURS/TD 1 Contenu du semestre Cours et TDs sont intégrés L objectif de ce cours équivalent a 6h de cours, 10h de TD et 8h de TP est le suivant : - initiation à l algorithmique - notions de bases
TD3: tableaux avancées, première classe et chaînes
TD3: tableaux avancées, première classe et chaînes de caractères 1 Lestableaux 1.1 Élémentsthéoriques Déclaration des tableaux Pour la déclaration des tableaux, deux notations sont possibles. La première
INTRODUCTION A JAVA. Fichier en langage machine Exécutable
INTRODUCTION A JAVA JAVA est un langage orienté-objet pur. Il ressemble beaucoup à C++ au niveau de la syntaxe. En revanche, ces deux langages sont très différents dans leur structure (organisation du
Arbres binaires de recherche
1 arbre des comparaisons 2 recherche dichotomique l'arbre est recalculé à chaque recherche 2 5 3 4 7 9 1 6 1 2 3 4 5 6 7 9 10 conserver la structure d'arbre au lieu de la reconstruire arbre binaire de
Cours d Algorithmique-Programmation 2 e partie (IAP2): programmation 24 octobre 2007impérative 1 / 44 et. structures de données simples
Cours d Algorithmique-Programmation 2 e partie (IAP2): programmation impérative et structures de données simples Introduction au langage C Sandrine Blazy - 1ère année 24 octobre 2007 Cours d Algorithmique-Programmation
SHERLOCK 7. Version 1.2.0 du 01/09/09 JAVASCRIPT 1.5
SHERLOCK 7 Version 1.2.0 du 01/09/09 JAVASCRIPT 1.5 Cette note montre comment intégrer un script Java dans une investigation Sherlock et les différents aspects de Java script. S T E M M E R I M A G I N
Introduction à Java. Matthieu Herrb CNRS-LAAS. Mars 2014. http://homepages.laas.fr/matthieu/cours/java/java.pdf
Introduction à Java Matthieu Herrb CNRS-LAAS http://homepages.laas.fr/matthieu/cours/java/java.pdf Mars 2014 Plan 1 Concepts 2 Éléments du langage 3 Classes et objets 4 Packages 2/28 Histoire et motivations
Chap III : Les tableaux
Chap III : Les tableaux Dans cette partie, on va étudier quelques structures de données de base tels que : Les tableaux (vecteur et matrice) Les chaînes de caractères LA STRUCTURE DE TABLEAU Introduction
INF111. Initiation à la programmation impérative en C http://ama.liglab.fr/ amini/cours/l1/inf111/ Massih-Reza Amini
Initiation à la programmation impérative en C http://ama.liglab.fr/ amini/cours/l1// Massih-Reza Amini Université Joseph Fourier Laboratoire d Informatique de Grenoble 2/52 Introduction Structures de contrôle
IN 102 - Cours 1. 1 Informatique, calculateurs. 2 Un premier programme en C
IN 102 - Cours 1 Qu on le veuille ou non, les systèmes informatisés sont désormais omniprésents. Même si ne vous destinez pas à l informatique, vous avez de très grandes chances d y être confrontés en
Initiation à la programmation en Python
I-Conventions Initiation à la programmation en Python Nom : Prénom : Une commande Python sera écrite en caractère gras. Exemples : print 'Bonjour' max=input("nombre maximum autorisé :") Le résultat de
Le prototype de la fonction main()
Le prototype de la fonction main() 1. Introduction...1 2. Paramètres et type de retour de la fonction main()...1 3. Exemple 1...2 4. La fonction exit() du C...2 5. Détecter le code de retour d un programme
Le Langage C Version 1.2 c 2002 Florence HENRY Observatoire de Paris Université de Versailles florence.henry@obspm.fr
Le Langage C Version 1.2 c 2002 Florence HENRY Observatoire de Paris Université de Versailles florence.henry@obspm.fr Table des matières 1 Les bases 3 2 Variables et constantes 5 3 Quelques fonctions indispensables
Cours d Algorithmique et de Langage C 2005 - v 3.0
Cours d Algorithmique et de Langage C 2005 - v 3.0 Bob CORDEAU cordeau@onera.fr Mesures Physiques IUT d Orsay 15 mai 2006 Avant-propos Avant-propos Ce cours en libre accès repose sur trois partis pris
Cours 1 : Introduction. Langages objets. but du module. contrôle des connaissances. Pourquoi Java? présentation du module. Présentation de Java
Langages objets Introduction M2 Pro CCI, Informatique Emmanuel Waller, LRI, Orsay présentation du module logistique 12 blocs de 4h + 1 bloc 2h = 50h 1h15 cours, 45mn exercices table, 2h TD machine page
Rappel. Analyse de Données Structurées - Cours 12. Un langage avec des déclaration locales. Exemple d'un programme
Rappel Ralf Treinen Université Paris Diderot UFR Informatique Laboratoire Preuves, Programmes et Systèmes treinen@pps.univ-paris-diderot.fr 6 mai 2015 Jusqu'à maintenant : un petit langage de programmation
Algorithmique, Structures de données et langage C
UNIVERSITE PAUL SABATIER TOULOUSE III Algorithmique, Structures de données et langage C L3 IUP AISEM/ICM Janvier 2005 J.M. ENJALBERT Chapitre 1 Rappels et compléments de C 1.1 Structures Une structure
Notions fondamentales du langage C# Version 1.0
Notions fondamentales du langage C# Version 1.0 Z 2 [Notions fondamentales du langage Csharp] [Date : 25/03/09] Sommaire 1 Tout ce qu il faut savoir pour bien commencer... 3 1.1 Qu est ce qu un langage
Conventions d écriture et outils de mise au point
Logiciel de base Première année par alternance Responsable : Christophe Rippert Christophe.Rippert@Grenoble-INP.fr Introduction Conventions d écriture et outils de mise au point On va utiliser dans cette
Bases de programmation. Cours 5. Structurer les données
Bases de programmation. Cours 5. Structurer les données Pierre Boudes 1 er décembre 2014 This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 3.0 License. Types char et
TP n 2 Concepts de la programmation Objets Master 1 mention IL, semestre 2 Le type Abstrait Pile
TP n 2 Concepts de la programmation Objets Master 1 mention IL, semestre 2 Le type Abstrait Pile Dans ce TP, vous apprendrez à définir le type abstrait Pile, à le programmer en Java à l aide d une interface
Table des matières. Introduction
Table des matières 1 Formalisation des virus informatiques 2 1.1 Les machines de Turing........................ 2 1.2 Formalisation de Fred Cohen..................... 2 1.2.1 Définition d un virus informatique..............
Langage et Concepts de ProgrammationOrientée-Objet 1 / 40
Déroulement du cours Introduction Concepts Java Remarques Langage et Concepts de Programmation Orientée-Objet Gauthier Picard École Nationale Supérieure des Mines de Saint-Étienne gauthier.picard@emse.fr
Langage propre à Oracle basé sur ADA. Offre une extension procédurale à SQL
Cours PL/SQL Langage propre à Oracle basé sur ADA Offre une extension procédurale à SQL PL/SQL permet d utiliser un sous-ensemble du langage SQL des variables, des boucles, des alternatives, des gestions
Analyse de sécurité de logiciels système par typage statique
Contexte Modélisation Expérimentation Conclusion Analyse de sécurité de logiciels système par typage statique Application au noyau Linux Étienne Millon UPMC/LIP6 Airbus Group Innovations Sous la direction
Chapitre VI- La validation de la composition.
Chapitre VI- La validation de la composition. Objectifs du chapitre : Expliquer les conséquences de l utilisation de règles de typage souples dans SEP. Présenter le mécanisme de validation des connexions
Introduction à l algorithmique et à la programmation M1102 CM n 3
Introduction à l algorithmique et à la programmation M1102 CM n 3 DUT Informatique 1 re année Eric REMY eric.remy@univ-amu.fr IUT d Aix-Marseille, site d Arles Version du 2 octobre 2013 E. Remy (IUT d
TP3 : Manipulation et implantation de systèmes de fichiers 1
École Normale Supérieure Systèmes et réseaux Année 2012-2013 TP3 : Manipulation et implantation de systèmes de fichiers 1 1 Répertoire de travail courant Le but de l exercice est d écrire une commande
Correction Code nécessaire à la compilation : let bs ="\\" let nl = "\n" ;; let appliquer = List.map ;; (* affichage d'un noeud *)
Correction Code nécessaire à la compilation : let bs ="\\" let nl = "\n" let appliquer = List.map (* affichage d'un noeud *) let (noeud_vers_ch : int -> string) = function n -> "fib(" ^ (string_of_int
Paris Airports - Web API Airports Path finding
Paris Airports - Web API Airports Path finding Hackathon A660 Version Version Date writer Comment 1.0 19/05/2015 Olivier MONGIN Document creation Rédacteur : Olivier.MONGIN@adp.fr Date : 19/05/2015 Approbateur
Solutions du chapitre 4
Solutions du chapitre 4 Structures de contrôle: première partie 4.9 Identifiez et corrigez les erreurs (il peut y en avoir plus d une par segment de code) de chacune des proposition suivantes: a) if (
Info0101 Intro. à l'algorithmique et à la programmation. Cours 3. Le langage Java
Info0101 Intro. à l'algorithmique et à la programmation Cours 3 Le langage Java Pierre Delisle, Cyril Rabat et Christophe Jaillet Université de Reims Champagne-Ardenne Département de Mathématiques et Informatique
Java 1.5 : principales nouveautés
Cours 6 - TEP - UPMC - 2008/2009 p. 1/34 Java 1.5 : principales nouveautés classes paramétrées : generics encapsulation des valeurs de types primitifs : auto[un]boxing itération sur les boucles types énumérés
Cours 1 : La compilation
/38 Interprétation des programmes Cours 1 : La compilation Yann Régis-Gianas yrg@pps.univ-paris-diderot.fr PPS - Université Denis Diderot Paris 7 2/38 Qu est-ce que la compilation? Vous avez tous déjà
Initiation à la Programmation en Logique avec SISCtus Prolog
Initiation à la Programmation en Logique avec SISCtus Prolog Identificateurs Ils sont représentés par une suite de caractères alphanumériques commençant par une lettre minuscule (les lettres accentuées
1. Structure d'un programme FORTRAN 95
FORTRAN se caractérise par la nécessité de compiler les scripts, c'est à dire transformer du texte en binaire.(transforme un fichier de texte en.f95 en un executable (non lisible par un éditeur) en.exe.)
.NET - Classe de Log
.NET - Classe de Log Classe permettant de Logger des données Text Dans tous les projets, il est indispensable de pouvoir stocker de l'information textuelle : Pour le suivi des erreurs Pour le suivi de
Introduction au langage C
Introduction au langage C Cours 1: Opérations de base et premier programme Alexis Lechervy Alexis Lechervy (UNICAEN) Introduction au langage C 1 / 23 Les premiers pas Sommaire 1 Les premiers pas 2 Les
M é ca n ism e Pr o lo g. Ex e m p le
M é ca n ism e Pr o lo g Principe général : 5. on élimine L du but (le but est géré comme une pile de clauses) 1. on prend dans le but (clause ne contenant que des littéraux négatifs) le premier littéral
Cours intensif Java. 1er cours: de C à Java. Enrica DUCHI LIAFA, Paris 7. Septembre 2009. Enrica.Duchi@liafa.jussieu.fr
. Cours intensif Java 1er cours: de C à Java Septembre 2009 Enrica DUCHI LIAFA, Paris 7 Enrica.Duchi@liafa.jussieu.fr LANGAGES DE PROGRAMMATION Pour exécuter un algorithme sur un ordinateur il faut le
ACTIVITÉ DE PROGRAMMATION
ACTIVITÉ DE PROGRAMMATION The purpose of the Implementation Process is to realize a specified system element. ISO/IEC 12207 Sébastien Adam Une introduction 2 Introduction Ø Contenu Utilité de l ordinateur,
Programmation en Java IUT GEII (MC-II1) 1
Programmation en Java IUT GEII (MC-II1) 1 Christophe BLANC - Paul CHECCHIN IUT Montluçon Université Blaise Pascal Novembre 2009 Christophe BLANC - Paul CHECCHIN Programmation en Java IUT GEII (MC-II1)
Algorithmique et programmation : les bases (VBA) Corrigé
PAD INPT ALGORITHMIQUE ET PROGRAMMATION 1 Cours VBA, Semaine 1 mai juin 2006 Corrigé Résumé Ce document décrit l écriture dans le langage VBA des éléments vus en algorithmique. Table des matières 1 Pourquoi
Premiers Pas en Programmation Objet : les Classes et les Objets
Chapitre 2 Premiers Pas en Programmation Objet : les Classes et les Objets Dans la première partie de ce cours, nous avons appris à manipuler des objets de type simple : entiers, doubles, caractères, booléens.
RAPPELS SUR LES METHODES HERITEES DE LA CLASSE RACINE Object ET LEUR SPECIALISATION (i.e. REDEFINITION)
CLASSE RACINE Object ancêtre de toutes les classes RAPPELS SUR LES METHODES HERITEES DE LA CLASSE RACINE Object ET LEUR SPECIALISATION (i.e. REDEFINITION) définit donc des méthodes héritées par toutes
Licence Bio Informatique Année 2004-2005. Premiers pas. Exercice 1 Hello World parce qu il faut bien commencer par quelque chose...
Université Paris 7 Programmation Objet Licence Bio Informatique Année 2004-2005 TD n 1 - Correction Premiers pas Exercice 1 Hello World parce qu il faut bien commencer par quelque chose... 1. Enregistrez
Principes des langages de programmation INF 321. Eric Goubault
Principes des langages de programmation INF 321 Eric Goubault 24 mars 2014 2 Table des matières 1 Introduction 7 2 Programmation impérative 11 2.1 Variables et types........................... 11 2.2 Codage
Module Administration BD Chapitre 1 : Surcouche procédurale dans les SGBDS
Module Administration BD Chapitre 1 : Surcouche procédurale dans les SGBDS 1. Introduction Nous allons aborder la notion de surcouche procédurale au sein des SGBDS relationnels tels que Oracle (PLSQL)
Algorithmes et Programmes. Introduction à l informatiquel. Cycle de vie d'un programme (d'un logiciel) Cycle de vie d'un programme (d'un logiciel)
Algorithmes et Programmes Introduction à l informatiquel! Vie d'un programme! Algorithme! Programmation : le langage! Exécution et test des programmes Chapitre : Algorithmes et Programmes 2 Cycle de vie
Organigramme / Algorigramme Dossier élève 1 SI
Organigramme / Algorigramme Dossier élève 1 SI CI 10, I11 ; CI 11, I10 C24 Algorithmique 8 février 2009 (13:47) 1. Introduction Un organigramme (ou algorigramme, lorsqu il est plus particulièrement appliqué
Prénom : Matricule : Sigle et titre du cours Groupe Trimestre INF1101 Algorithmes et structures de données Tous H2004. Loc Jeudi 29/4/2004
Questionnaire d'examen final INF1101 Sigle du cours Nom : Signature : Prénom : Matricule : Sigle et titre du cours Groupe Trimestre INF1101 Algorithmes et structures de données Tous H2004 Professeur(s)
Langage Java. Classe de première SI
Langage Java Table des matières 1. Premiers pas...2 1.1. Introduction...2 1.2. Mon premier programme...2 1.3. Les commentaires...2 2. Les variables et les opérateurs...2 3. La classe Scanner...3 4. Les
Compléments de documentation Scilab : affichage de texte et formatage de nombres
Université des Sciences et Technologies de Lille U.F.R. de Mathématiques Pures et Appliquées Agrégation externe Année 2002-2003 Compléments de documentation Scilab : affichage de texte et formatage de
1 Introduction au codage
CélestineOscarDésiréAnatoleGastonEugène 1 Introduction au codage 1.1 Les ensembles L ensemble de tout les ensembles est Dieu lui-même. Kantor Ensemble des parties d un ensemble désigne l ensemble des sous-ensembles
Programmer en JAVA. par Tama (tama@via.ecp.fr( tama@via.ecp.fr)
Programmer en JAVA par Tama (tama@via.ecp.fr( tama@via.ecp.fr) Plan 1. Présentation de Java 2. Les bases du langage 3. Concepts avancés 4. Documentation 5. Index des mots-clés 6. Les erreurs fréquentes
Les deux points les plus proches
MPSI Option Informatique Année 2001, Deuxième TP Caml Vcent Simonet (http://cristal.ria.fr/~simonet/) Les eux pots les plus proches Lors e cette séance, nous allons nous téresser au problème suivant :
Arguments d un programme
Arguments d un programme L2 SPI, Bruno Jacob 1 Arguments Quand on appelle un programme dans un environnement UNIX ou MS- DOS, on compose une ligne de commandes de la forme : nom-du-programme argument1
LES TYPES DE DONNÉES DU LANGAGE PASCAL
LES TYPES DE DONNÉES DU LANGAGE PASCAL 75 LES TYPES DE DONNÉES DU LANGAGE PASCAL CHAPITRE 4 OBJECTIFS PRÉSENTER LES NOTIONS D ÉTIQUETTE, DE CONS- TANTE ET DE IABLE DANS LE CONTEXTE DU LAN- GAGE PASCAL.
Algorithmique & programmation
Algorithmique & programmation Type structuré Article, Enregistrement, Structure Définition de nouveaux types!! On a vu les types simples "! entier, booléen, caractère, chaîne de caractères!! Comment gérer
Cours d initiation à la programmation en C++ Johann Cuenin
Cours d initiation à la programmation en C++ Johann Cuenin 11 octobre 2014 2 Table des matières 1 Introduction 5 2 Bases de la programmation en C++ 7 3 Les types composés 9 3.1 Les tableaux.............................
Probabilités. Rappel : trois exemples. Exemple 2 : On dispose d un dé truqué. On sait que : p(1) = p(2) =1/6 ; p(3) = 1/3 p(4) = p(5) =1/12
Probabilités. I - Rappel : trois exemples. Exemple 1 : Dans une classe de 25 élèves, il y a 16 filles. Tous les élèves sont blonds ou bruns. Parmi les filles, 6 sont blondes. Parmi les garçons, 3 sont
modules & compilation
Programmation fonctionnelle avec OCaml 3ème séance, 19 mars 2015 modules & compilation samuel.hornus@inria.fr http ://www.loria.fr/ shornus/ocaml/ Modules Un module regroupe un ensemble de définitions
Compilation (INF 564)
Présentation du cours Le processeur MIPS Programmation du MIPS 1 Compilation (INF 564) Introduction & architecture MIPS François Pottier 10 décembre 2014 Présentation du cours Le processeur MIPS Programmation
Java c est quoi? Java pourquoi?
Grandes lignes du cours Cours JAVA : Le bases du langage Java. Version 3.02 Julien Sopena 1 1 julien.sopena@lip6.fr Équipe REGAL - INRIA Rocquencourt LIP6 - Université Pierre et Marie Curie Licence professionnelle
Objets et Programmation. origine des langages orientés-objet
Objets et Programmation origine des langages orientés-objet modularité, encapsulation objets, classes, messages exemples en Java héritage, liaison dynamique G. Falquet, Th. Estier CUI Université de Genève
Introduction à la programmation orientée objet, illustrée par le langage C++ Patrick Cégielski cegielski@u-pec.fr
Introduction à la programmation orientée objet, illustrée par le langage C++ Patrick Cégielski cegielski@u-pec.fr Mars 2002 Pour Irène et Marie Legal Notice Copyright c 2002 Patrick Cégielski Université
Introduction à JDBC. Accès aux bases de données en Java
Introduction à JDBC Accès aux bases de données en Java Eric Cariou Université de Pau et des Pays de l'adour Département Informatique Eric.Cariou@univ-pau.fr 1 Introduction JDBC : Java Data Base Connectivity