Environnement de travail IF-104

Transcription

1 Environnement de travail IF-104 Mathieu Faverge Bordeaux INP - ENSEIRB-MATMECA Département Informatique - Bureau P238 Inria Bordeaux - Sud-Ouest - B223

2 Avant de commencer Merci de Merci d'émarger à coté de votre nom si il n'y a pas votre nom, l'ajouter à la n Première connexion nécessite d'être inscrit nécessite d'avoir un certicat de scolarité nécessite d'avoir validé sont compte sur le site de l'ipb Il est OBLIGATOIRE d'avoir validé son compte avant les TDs A faire en sortant si ce n'est pas déjà fait!!!

3 Au programme Quelques rappels de bases : conception/utilisation des logiciels Organisation et contenu du module environnement de travail (IF104) Quelques recommandations

4 L'informatique c'est quoi à L'ENSEIRB-MATMECA? L'informatique à l'enseirb-matmeca ce n'est pas (entre autres) un ordinateur muni de logiciels savoir aller sur internet, utiliser Word ou se connecter à son compte facebook... L'informatique à l'enseirb-matmeca c'est plutôt discipline scientique (computer science) physique, chimie ou biologie mathématiques manipulation d'objets non réels fabrique et étudie des objets abstraits : les algorithmes, les programmes, des preuves, des structures de données,... science expérimentale beaucoup de mises en uvre et de mises en pratique, d'essais pas soi-même

5 Logiciel = programme informatique Conception d'un logiciel analyse du problème à résoudre concevoir un algorithme qui correspondant à l'analyse traduction de l'analyse dans un langage de programmation compréhensible par un humain (programme source, chier source, code source,... ) compilation du source vers un langage compréhensible par la machine tester que le programme répond aux spécications initiales (tests, preuves, vérication, sûreté de fonctionnement, abilité,... ) maintenance, ajout de nouvelles fonctionnalités, extensions, etc le seul moyen de connaître exactement le fonctionnement d'un programme (algorithme, calculs eectués, les appels systèmes) est d'avoir son code source sans code source : pas de vérication, preuves, sûreté de fonctionnement, intégrité des données manipulées

6 Utilisation des logiciels Logiciels payants utiliser un logiciel payant sans l'avoir payé est : illégal utiliser un logiciel sous licence sans licence légale est : illégal utiliser un logiciel piraté est : illégal utiliser un logiciel sans avoir été autorisé est : illégal vous êtes responsables des logiciels que vous utilisez surtout ceux qui sont installés sur votre compte ENSEIRB-MATMECA Logiciels gratuits gratuit libre gratuit = libre d'utilisation gratuit accès au code source gratuit présence de virus? intégrité des données utilisateurs? sûreté de fonctionnement? Possible aussi avec les logiciels payants

7 Logiciels libres Logiciels libres (open source) libre gratuit libre = utiliser, étudier, modier, redistribuer libre = accès au code source (correction, sûreté, etc) formation supérieure en informatique : intérêt pédagogique, intérêt scientique, diusion des connaissances, partage des savoirs, égalité devant le logiciel. ouverture des formats, échange de données alternative aux géants de l'édition logiciel (Adobe, Microsoft,... ) tous les outils nécessaires à votre formation sont libres tous les outils étudiés dans IF104 sont libres

8 Environnement de travail Dans très peu de temps appréhender des notions d'algorithmiques, de calculs, de complexité, de programmation construire/créer des programmes à partir de ces notions rédiger des rapports, faire des présentations/soutenances Nécessité d'un environnement de travail (développement informatique) pour la mise en uvre Objectifs appréhender les outils informatiques fondamentaux et nécessaires au cursus d'informaticien notion de programmation, de programme, exécution, systèmes d'exploitation acquérir de bons automatismes devenir ecace et productif devant une machine arrêter d'utiliser la souris

9 Environnement de travail édition de code : emacs programmation shell initiation à un système d'exploitation : GNU/Linux (Debian) initiation à un langage interprété : bash initiation à un langage compilé : L A TEX Réussir : environnement de travail (entre autre) acquérir des automatismes comprendre la notion de langage informatique pratiquer, pratiquer et pratiquer

10 IF104 : Organisation Résumé du contenu Unix : Bash : Emacs : système d'exploitation, système de chiers, interactions avec le système, ligne de commande interpréteur de commandes, commandes de base à connaître, utilisation conguration mode avancé L A TEX : cycle de production (compilation) ; mettre en forme un document scientique, réalisation de présentation, insérer des équations, des graphiques Scripts Shell : commandes avancées programmation shell (scripts)

11 IF104 : Organisation Pour les étudiants originaires de prépas 6 séances de 4h sur machines pré-requis pour après IF104 : séries, intégrales, algèbre linéaire Pour les étudiants non originaires de prépas 3 séances de 4h de remise à niveau en math (séries, intégrales, algèbre linéaire) 3 séances de 4h sur machines (L A TEX/ Scripts Shell) Pré-requis pour IF104 : Unix/Bash/Emacs Pour tous : partie théorique & beaucoup de manipulations/expérimentations/tests.

12 IF104 : Examen (1h20) QCM ; 40 questions ; aucun documents autorisés Pour les prépas : 20 questions infos sur Unix/Bash/Emacs Pour les non-prépas : 20 Questions math sur séries, intégrales, algèbre linéaire Pour tout le monde : Si possibilité d'avoir les salles machines : exercices LATEX et script Shell sur machine. Sinon 20 questions supplémentaires sur LATEX et scripts Shell. La ligne de commande suivante : export VAR="VAR"; echo "$var" ache à la console (a) VAR (b) $var (c) rien (d) var

13 Ressources informatiques à l'enseirb-matmeca Une fois le compte validé Gestion du compte sur : Une addresse mail login@enseirb-matmeca.fr. un compte utilisateur ~login avec un espace disque limité Deux sites internet personnels. Attention choisir un très bon mot de passe toujours penser à se déconnecter Le bon usage de l'internet : un site à lire http ://fr.wikipedia.org/wiki/nétiquette

14 Le mail à l'enseirb-matmeca Plusieurs alias disponibles pour la même : login@enseirb-matmeca.fr, prenom.nom@enseirb-matmeca.fr, login@bordeaux-inp.fr, prenom.nom@bordeaux-inp.fr, login@ipb.fr, prenom.nom@ipb.fr Rq : ipb.fr et bordeaux-inp.fr sont redirigées sur enseirb-matmeca.fr par défaut. A ne pas changer Utiliser là comme votre adresse professionnelle et non personnelle Savoir utiliser les diérents champs to:, cc:, cci: (bcc:) Un mail possède toujours un sujet Un mail commence toujours par : une formule de politesse et se termine toujours par une formule de politesse et une signature

15 Le mail à l'enseirb-matmeca Ne pas faire de mail-all Ne pas répondre aux mail-all inutiles par un reply-all Congurer son client mail : automatique sur la plupart des clients désormais, sinon Webmail : Pièces jointes : éviter les gros chiers, et/ou chiers non inter-opérables Savoir purger son courrier, l'eacer, le ranger

16 Le compte à l'enseirb-matmeca Accessible via ~login Vous êtes responsables de votre compte Votre compte ne doit pas être prêté L'espace disque est limité : attention au images, vidéos, logiciels installés, sauvegarde des mails Attention au contenu : problème de licence logiciel, peer-to-peer, Espace disque : sous linux commande du -sh ~, sinon https: // Compte accessible via l'extérieur par ssh sur la machine ssh.enseirb-matmeca.fr Travailler sur travail32 ou travail64 Ne pas travailler sur la frontale

17 Information sur : Penser à mettre un chier index.html même vide pour ne pas avoir d'erreur 403. Création d'un site via le langage de description HTML, beaucoup de tutoriaux, d'exemple sur internet. Pas de cours. Solution pour le partage de chiers non envoyable par mail Possibilité de présenter ses projets, son CV, ses intérêts professionnels,... Attention au contenu : images, photo,... Espace professionnel et non personnel Le site personnel à l'enseirb-matmeca Possibilité d'avoir deux sites internet : un site visible de l'extérieur Seulement en html statique. un site visible seulement sur le réseau local Accès à php et à une base de données mysql Utilisation pédagogique

18 Le Wi à l'enseirb-matmeca Réseau eduroam : Réseau IPB : Réseau disponible dans toutes les universités participantes dans le monde avec le même compte Attention au login : login@ipb.fr Réseau disponible dans toutes les écoles de l'ipb et donnant accès aux pages accessibles que par le réseaux. Attention au login : login Attention aux multiples réseaux ad-hoc qui sont disponibles dans l'école problème de sécurité

19 Impression à l'enseirb-matmeca Limitation à 350 pages par an (moyenne de 80% des étudiants l'an passé) Imprimantes sectorisées : impossible d'imprimer sur une imprimante à l'autre bout du bâtiment accessible en wi via Samba (Service non maintenu en production donc probables disfonctionnements) Accès aux serveur cups pour avoir les informations sur les les d'impression, supprimer ses jobs, voir si ils sont nis,... Sur réseau laire : Sur réseau Wi : En cas de bourrage papier, de manque de papier, d'encre,... contactez le service informatique

20 Groupe 1 MSIO Faverge Mathieu 1. BAGHOU Marwane 2. BLONDEL Angélique 3. BOUKRIM Hamza 4. BROC Clara 5. CHAN Alexis 6. CHEKNOUN Amine 7. COOK Clément 8. DURAND Antoine 9. HELOU Cédric 10. HING Laura 11. KANGBÉNI Marvin 12. KHATOUF Mohamed Amine 13. LE MOIGNE Yves 14. LÉPINE Antoine 15. LEVALLOIS Vincent 16. MATTICHE Mohamed-Said 17. MADKOUR Chaq 18. MILESI Joachim 19. MISSAOUI Souane 20. MONTAIGU Thomas 21. PETRO Romain 22. RAKOTOSAONA Marie-Julie 23. RONZIÉ Maxence 24. SEDRATI Youssef 25. THIERY Etienne 26. ZACCHELLO Jean-Baptiste 27. AL KHALILI Jamal * 28. ZAHAR Guillaume *

21 Groupe 2 I101 Ziane Lilia 1. AGRY Tom 2. AMARI Yanis 3. BENNANI KEMMOUN Btissam 4. BOUCHERIE Raphaël 5. CASSIAU Sylvain 6. CHAMBRE Jonathan 7. CONNAULTE Julien 8. DESCHAMPS Mathieu 9. FEHRI Azza 10. GARITAINE Clément 11. GUILLOT Etienne 12. LE PAPE Erwan 13. LE VERN Florian 14. MACH Rémi 15. PLUMIER Pierre 16. RIFKI Imane 17. SALIOU Etienne 18. SERRANO Thomas 19. SKIADA Alexandre 20. TOROMANOFF Alexis 21. FOUCHER Valentin *

22 Groupe 3 I107 Bindel Sebastien 1. ARKOUBI Saad 2. BOREL Hugo 3. BOUGHROUDI Mehdi 4. BOUNAKHLA Mehdi 5. COMBES Gaëtan 6. CRÉTÉ Bastien 7. D'ESPARBES Romain 8. DELMON Luc 9. DI MERCURIO Thomas 10. FICHANT Florian 11. FTOUHI Hafsa 12. GHANEM Gihane 13. GRELET Léo 14. GRUCHET Sébastien 15. HAYAK Omar 16. HYLLAIRE-GRANON Tanguy 17. LOUVART Pierre 18. MAUGERE Lucas 19. MIJIEUX Thomas 20. PARMENTIER Flora 21. BESCOND Thomas * 22. RIHANI Mohammed *

23 Groupe 4 I115 Neggaz Mohammed Yessine 1. AYMES Romain 2. BELGADI Mohamed 3. BOULCH Raphaël 4. BRÈS Nicolas 5. CALAS Ambre 6. COEURET Bastien 7. COUSTIÉ Oihana 8. DÉHAIES DIT GERVAIS Nicolas 9. DODELIN Hugo 10. EL AMRI Mehdi 11. GOURRIN Nicolas 12. GRALL Alexis 13. MARGUERIT Florian 14. MOUSSAID Fatima Zahra 15. REAVAILLE Nathan 16. SAINT GUILHEM Victor 17. SANNIÉ Kévin 18. SOULAÏMANA Wardi 19. TOUSSAINT Henri 20. WESLATI Eya 21. MEYZEN Pierre *

24 Groupe 5 TD14 - Michel Thomas / I111 - Bourgeade Laetitia 1. BEA Guillaume 2. CATANESE Antoine 3. CHASSAIGNE Théo 4. GANGLOFF Nolwenn 5. HARSCOET Quentin 6. JELLAB Nicolas 7. MILLIET Alice 8. OUDOT Bastien 9. PERIN Hervé 10. PETIT Mathieu 11. RAMBAUD Romain 12. ROBERT Hitinui 13. ROUX Pierre 14. SCALZI Vincenzo 15. TRECU Damien

25 Si vous avez ratez le test anglais Aujourd'hui 14-16h au CReL 1. AFKIR Zakaria 2. AL KHALILI Jamal 3. BELLAZRAK Mohammed Nezar 4. BOUGHROUDI Mehdi 5. DELMON Luc 6. DURAND Antoine 8. HARDAF Hatim 9. RAMBAUD Romain 10. ROUVIER Tony 11. SAKKAT Aymen

26 Avez-vous bien suivi? Si il y a un problème, n'hésitez pas à poser la question : à votre encadrant de TD, au responsable du cours, aux services informatiques (helpdesk),... Mais AVANT n'oubliez pas RTFM Prenez votre smartphone, ou votre pc si vous en avez, sinon mettez vous avec votre voisin