Quel que soit son niveau de responsabilité, l'action d'un « ingénieur manager » se situe dans un contexte de mondialisation. Ses décisions au quotidien se prennent dans un environnement global incertain avec une concurrence accrue qu'il lui est nécessaire de décoder pour agir dans le cadre d'une stratégie internationale de l'entreprise. L'objectif de ce cours est de présenter les méthodes d'analyse les plus récentes afin de permettre aux participants de faire un diagnostic d'entreprise et de formuler des stratégies possibles.

Pré-requis : cours d'économie de 1a et 2a

Contenu : Les outils de la stratégie (modèles SCP, SWOT, de Porter, ...). Stratégies génériques de différentiation, domination, de niche. Environnement juridique international. Mise en oeuvre : proposer une offre de services ou de produits adaptée au marché visé, aborder des marchés globaux mais segmentés, établir un réseau,...

L’internationalisation de l’entreprise génère un ensemble de problèmes dus à la concurrence accrue et à la diffusion de l’information. L’intelligence économique concerne toutes les actions de collecte, de validation et de traitement de l’information par rapport à un objectif économique et ceci, dans un cadre légal. Une bonne gestion de cette information contribue à assurer la stabilité et la durabilité de l’entreprise. Celle-ci passe également par des actions de protection de ses propres informations ainsi que par des actions d’influence visant à diffuser des informations dans le but de favoriser une stratégie.

Pré-requis : aucun

Contenu : Contenu et fonctions de l’intelligence économique. Les modèles d’intelligence économique, facteurs d’action et de résultats. Les outils : scientométrie, datamining, benchmarking, knowledge management, perception management,... Politiques mises en place.

Le développement de collaborations internationales interentreprises, la création d'une filiale à l'étranger, le recours à des services « off shore » ou simplement l’expatriation amènent les ingénieurs à s’interroger sur les risques et les atouts associés aux différences culturelles. Au-delà du partage d’une langue-outil, la compréhension de ces différences peut permettre d’éviter les stéréotypes et les malentendus et conduire à penser en termes de management interculturel.

Pré-requis : ouverture aux autres cultures

Contenu : La pratique professionnelle (vie en entreprise, communication, gestion d’équipes) en relation avec : la Chine, le Japon, l’Inde, les pays slaves, les pays anglo-saxons, l’Afrique et le Maghreb, le Brésil,...

Les nouveaux dirigeants se doivent d’être porteurs de valeurs les guidant dans la prise de décisions équilibrées sur les plans économiques, sociaux et environnementaux. L’objectif de ce cours est de faire prendre conscience des impératifs garantissant une stratégie de développement durable, qui deviendra à terme un avantage concurrentiel, et de ne plus se contenter de solutions économiquement viables conduisant à tous les excès.

Pré-requis : cours d’économie de 2a

Contenu : Opportunité stratégique. Nouveaux modèles du « green business ». Évolution des relations avec les différents acteurs dans et autour de l’entreprise. Gestion de la diversité sociale. Finances et éthique : investissement socialement responsable.

Un « ingénieur manager » doit au quotidien mobiliser et développer les capacités de ses collaborateurs afin de garantir une bonne cohésion et un niveau d’efficacité optimal. En collaboration avec les directions des ressources humaines, il les accompagne pendant leur vie dans l’entreprise et en particulier dans la gestion de leurs carrières. L’objectif du cours est de mettre en évidence les tâches susceptibles de lui incomber et celles qu’il peut déléguer, sous-traiter ou externaliser.

Pré-requis : aucun

Contenu : Fonction « Ressources Humaines » dans l’entreprise. Administration des « Ressources humaines » : gestion des carrières du recrutement au départ. Gestion des salaires et de la masse salariale. Relations sociales : délégués syndicaux, comité d’entreprise. Entretien annuel et bilan de compétences. Aspects internationaux : cas particulier des cadres expatriés.

Face à l’accroissement de la concurrence due en partie à la mondialisation, les entreprises se doivent d’être plus compétitives. L’amélioration de leur productivité passe par une organisation et un contrôle des unités et des flux de production efficace. Ce cours traite des moyens et méthodes de management de la production. Les principes de gestion d’une chaîne logistique, de la gestion de production ainsi que la Total Productive Maintenance y sont présentés.

Pré-requis : aucun

Contenu : « Supply Chain » et système d’information, Modules de la gestion de production, Pilotage des flux et des stocks, « Total Productive Maintenance », Dimensionnement d’atelier de production, « Lean Manufacturing ».

La communication tient une place très importante dans la vie professionnelle, en particulier dans les situations de responsabilité. L'objectif est de sensibiliser les participants à leur expression personnelle, de les aider à mieux percevoir leurs points forts et leurs limites dans ce domaine afin de leur apporter des éléments de progression.

Pré-requis : volonté d'amélioration

Contenu : Mise en situation et analyse, augmentation de la qualité d'écoute, animation de réunions. Introduction aux méthodes « Action Type » et MBTI. Recherche d'emploi.

Eléments incontournables de la société actuelle, les réseaux de télécommunications doivent offrir un service de plus en plus étoffé pour répondre à l’attente des utilisateurs. L’objectif de cette mineure est de présenter les aspects techniques et économiques des réseaux, des possibilités offertes par la technologie jusqu’à la mise en pratique par les opérateurs.

Pré-requis : Signal et Communications (2A)

Contenu : Réseaux cellulaires (GSM, GPRS, UMTS, LTE/4G) et réseaux locaux (WiFi, Bluetooth, Zigbee). Entreprises de télécommunication et modèles économiques. Normalisation.

L'objectif de ce cours est de donner aux étudiants les bases nécessaires à la réalisation d’images de synthèse 3D et de tester les dernières techniques de rendu hyper-réalistes. L’intérêt de telles images dans le domaine de la santé peut être illustré notamment à travers le concept de « réalité augmentée », qui consiste à superposer à des images réelles (issues par exemple de prises de vue d’un organe à traiter cliniquement) des images de synthèse qui accroissent leur lisibilité

Pré-requis : Modèles de programmation (1A).

Contenu : Modélisation 3D, Eclairage, Rendu, Coordonnées de Mapping, Textures, Animation

La maîtrise des nanotechnologies est l’un des grands enjeux actuels et celles-ci ont d’ores et déjà un impact technologique important dans de nombreux domaines. Par ailleurs, elles font l’objet d’un débat de société autour des craintes qu’elles font naître. Ce module est destiné à sensibiliser les participants à leurs principaux domaines applicatifs : de la nanoélectronique pour les technologies de l’information et de la communication, aux nanomatériaux pour l’ingénierie des systèmes et à la nanobiologie pour la médecine du futur.

Pré-requis : Physique quantique (1A)

Contenu : Nanotechnologies pour l’électronique et Spintronique. Technologies micromécaniques (MEMS). Chimie et nanomatériaux. Application au biomédical et Nanobiologie.

Cette mineure aborde le monde de l’audiovisuel et du multimédia sous des aspects technique et économique. En partant de la production (caméra, encodage) pour arriver à la restitution (images en 2D ou en relief, son « spatial »), en passant par le transport (distribution ou diffusion), deux domaines seront présentés : le cinéma et la télévision numériques ; l’accent sera porté sur les techniques émergentes et les mutations des domaines (nouvelles fonctionnalités, modèles économiques, ...).

Pré-requis : Signaux et Systèmes 1 (1A)

Contenu : Les techniques de création, diffusion et restitution de contenus audiovisuels. Les acteurs du domaine du Multimédia et les modèles économiques.

Les « Serious games » ou jeux sérieux ont pour objectif de diffuser des informations, de faire acquérir des connaissances ou un savoir-faire en utilisant les aspects ludiques des jeux vidéos avec une intention sérieuse. De nombreux domaines nécessitant des entraînements et des mises en situation sont concernés (transports, médical, conduite de processus industriels, éducation, défense,...). Après une introduction générale sur la construction des jeux vidéo, l’accent est mis sur l'autonomie des agents avant de traiter la problématique des « serious game ». Les outils de conception de tels jeux seront mis en pratique.

Pré-requis : Modèles de programmation (1A).

Contenu : Éléments d’Intelligence Artificielle, Conception de Personnages Non Joueur, Etudes de cas en « serious game »

Plus connues sous les termes « Eco TIC » et « Green-ITs », il s’agit de principes visant à réduire l’impact environnemental de la société grâce aux TIC (Technologies de l’Information et de la Communication) et à leur utilisation pour réorganiser / optimiser des processus métiers en fonction de leur empreinte écologique. A l’inverse, les TIC représentent 13,5% de la consommation d’électricité en France, et elles renferment un important potentiel de réduction d’énergie consommée qui reste à exploiter.

Pré-requis : cours de 1A & 2A

Contenu : Contributions des TIC au développement durable, efficience énergétique, « green communications », gestion des déchets d'équipements électriques et électroniques (DEEE), « Greenwashing ».

L’objectif de cette mineure est de former les élèves aux enjeux que constituent le développement, le contrôle, la commande et l’optimisation du système de fourniture d’énergie électrique dans un environnement dérégulé et dans un objectif de développement durable et d’efficacité énergétique. Elle aborde en particulier les dimensions économiques, sociétales et techniques de ces enjeux.

Pré-requis : Cours de 1A & 2A

Contenu : Transport, Distribution, Génération, modélisation thermo-dynamique, contrôle-commande, efficacité énergétique

Cette mineure d’ouverture présente, à travers une série d’études de cas, des applications d’ingénierie biomédicale en privilégiant un point de vue système. Son ambition est d’illustrer dans quels contextes et comment les sciences et techniques de l’ingénieur peuvent être mises au service de la santé, en offrant de nouvelles possibilités de diagnostics et de thérapies.

Pré-requis : Cours de 1A & 2A

Contenu : Présentation générale du domaine de l’ingénierie biomédicale, Modélisation et applications allant du cardiovasculaire jusqu’à l’épidémiologie, Imagerie médicale, Biomécanique, Chirurgie assistée par ordinateur, Nouvelles technologies pour le traitement du diabète.

Les systèmes conçus par l’homme sont de plus en plus complexes. Les systèmes de transport, de télécommunication, et les missions spatiales en donnent des exemples. Leur conception nécessite de faire appel à une démarche méthodologique pour maîtriser la complexité : l’ingénierie système (IS). L’objectif de ce cours est de sensibiliser les élèves à la discipline de l’ingénierie système. Il en présente ses principes en vue de la réalisation de systèmes complexes.

Pré-requis : Gestion de projet (2A)

Contenu : Introduction à L’ingénierie système, Ingénierie des exigences, Management de projet technique, Management de l’information et soutien logistique, L’évaluation en IS : intégration, vérification et validation système, résilience et management du risque.

Les bâtiments dits "intelligents", intégrant notamment les technologies de l’information et de la communication, apparaissent comme une réponse durable en termes d’économies d’énergie, de réduction des émissions de CO2 et d’optimisation des ressources. Cette mineure a pour objectifs de sensibiliser les étudiants à ces nouveaux enjeux qui vont amener à des changements profonds dès la conception de bâtiments.

Pré-requis : cours de 1A & 2A

Contenu : Éléments de base dans les domaines thermique, acoustique et du génie climatique. Nouvelles technologies de l’information pour l’optimisation des aspects énergétiques, l’amélioration du confort et de la sécurité des occupants. Le programme de cette mineure est articulé autour d’un mini-projet de domotique.

Cette mineure a pour objectif de présenter, face à l’augmentation prévisible du trafic dans le domaine des transports, d’une part les enjeux en termes d’économies d’énergie et de sécurité et d’autre part les réponses que peuvent apporter les sciences de la communication de l’énergie et des systèmes. Elle prendra la forme d'études de cas présentées par des spécialistes du monde industriel dans les domaines des transports automobile, ferroviaire, aérien et maritime

Pré-requis : aucun

Contenu : Transports et développement durable. Filière automobile : Innovations en motorisation et sécurité. Aéronautique : contraintes de développement spécifiques, contrôle aérien. Ferroviaire : Traction, Signalisation. Maritime : Propulsion mixte, Aide à la navigation.

L'observation du vivant peut conduire à l'étude de solutions nouvelles en matière de traitement de l'information pour introduire de l'évolutivité, de l'adaptabilité, du parallélisme massif, des approches qualitatives, de la distribution des données et des traitements dans l'univers technologique, sachant qu'il s'agit de propriétés que les techniques classiques peinent à maîtriser. Ces nouvelles solutions sont présentées et illustrées au travers de quelques applications, en particulier dans le domaine médical. Il est montré comment ces techniques bien que parfois immatures, sont mises en oeuvre dans l'industrie depuis plusieurs années.

Pré-requis : cours de 1A & 2A

Contenu : Cognition artificielle (logique floue, intelligence artificielle, intelligence collective, réseaux de neurones artificiels, approches hybrides, système multi-agents), algorithmes génétiques.

L’objectif est de donner une vision précise des techniques de pointe actuelles mises en oeuvre dans les systèmes de communications numériques codage de canal. Basés sur des concepts théoriques de haut niveau, différents codes correcteurs d’erreurs avec les algorithmes de décodage associées sont présentés ainsi que les standards dans lesquels ils sont utilisés.

Pré-requis : Signal et Communication de 2A, majeure SERI

Contenu : Codes en blocs. Algorithmes de décodage. Turbocodes en blocs et convolutifs.

Il existe un besoin grandissant d’intégration de fonctions analogiques conjointement à des blocs de fonctions numériques VLSI. La réalisation de structures analogiques dans une technologie adaptée au numérique amène de nouvelles contraintes et ce module d’approfondissement fournit les connaissances nécessaires à la conception de circuits analogiques en technologie CMOS.

Pré-requis : majeure SERI

Contenu : Amplifications, capacités commutées, architectures des convertisseurs analogique/numérique et numérique/analogique, choix et compromis précision / vitesse.

La réalisation de systèmes électroniques embarqués nécessite de choisir de manière adéquate les technologies à mettre en oeuvre et ensuite de prendre en compte leurs caractéristiques dans la définition d’une architecture. Le cours apporte les connaissances nécessaires à la maîtrise des contraintes engendrées, de la phase de conception à celle de validation.

Pré-requis : Systèmes Logiques Électronique (1A) et d’Architecture des Systèmes Informatiques (2A)

Contenu : Composants matériels et logiciels de l'embarqué. Méthodologie et outils de conception. Application à l'automobile.

De nombreuses applications nécessitant de hauts débits d’information et de fortes puissances de calcul impliquent la mise en oeuvre d’architectures multiprocesseurs adaptées aux applications flots de données. Celles-ci sont présentées dans ce module ainsi que les solutions logicielles permettant de répondre à la problématique des applications flexibles ou reconfigurables. Ces méthodes peuvent par exemple être utilisées dans le contexte de la conception radio (téléphonie mobile par exemple) ou vidéo (MPEG-RVC par exemple).

Pré-requis : Architecture des Systèmes Informatiques (2A)

Contenu : Architectures matérielles (NoC / plates-formes multi-processeurs). Modélisation, conception de haut niveau (UML, Système C,...) et abstraction du matériel.

Les systèmes fonctionnant en temps réel doivent réagir aux sollicitations de leur environnement en respectant des contraintes de temps et de sûreté de fonctionnement. Après avoir caractérisé les contraintes auxquelles ils sont soumis et les besoins correspondants, ce module présente les mécanismes spécifiques de systèmes temps réel embarqués disposant de ressources réduites. Il fournit ainsi aux participants les éléments leur permettant de faire des choix de conception de tels systèmes.

Pré-requis : Architecture des Systèmes Informatiques (2A)

Contenu : Architecture des systèmes embarqués et fonctions des noyaux temps réels. Spécification et implémentation d'un OS embarqué. Application à la téléphonie mobile.

Les communications sans fil à haut débit nécessitent la mise en oeuvre de techniques innovantes de modulation. Ce module d’approfondissement fournit les connaissances utiles à la compréhension des schémas de modulation dans les technologies de type 3G, Wifi, Wimax,...

Pré-requis : Signal et Communication (2A), Communications numériques (3A)

Contenu : Modulation OFDM (standards DVB-T et ADSL). Étalement de spectre et CDMA. Égalisation.

Les ingénieurs sont très souvent confrontés à des systèmes complexes dont il est difficile d’optimiser le fonctionnement par des méthodes analytiques classiques. Les problèmes de ce type se rencontrent dans de nombreux domaines : organisation de production, ordonnancement de processus, logistique,... Ce cours se propose de donner une vue d’ensemble des méthodes d’optimisations stochastiques, permettant de trouver, en un temps raisonnable, un bon sous optimal pour des problèmes d’optimisation dits difficiles.

Pré-requis : aucun

Contenu : Rappels d’optimisation classique. Principales méta-heuristiques : techniques de Monte-Carlo, recuit simulé, recherche par tabou, algorithme génétique. Projet intégré portant sur un domaine particulier (télécommunication, contrôle, énergie,...).

Les compétences d’analyse apportées par ce cours sont applicables à de nombreux problèmes tels que : la localisation, la trajectographie, la reconnaissance des formes, la détection de défauts, le diagnostic, la fusion de données, la commande, qui se rencontrent dans des secteurs d’activités aussi variés que les systèmes industriels, l’aérospatial, les télécommunications, le domaine médical ou financier. Un modèle générique de prise de décision optimale à partir d’une modélisation statistique des données disponibles est tout d’abord établi avant d’être adapté à la résolution de problèmes d’estimation, de détection et de classification.

Pré-requis : Probabilités et Statistiques (1A) Représentation et Analyse Statistique des Signaux (2A)

Contenu : Théorie de la décision et ses applications. Estimation statistique de paramètres. Estimation continue par filtrage de Kalman. Détection et Classification de signaux.

Lorsque l’on prend en compte les systèmes dans leur globalité, il n’est plus possible de dissocier leurs dynamiques continues et discrètes. Ainsi par exemple, la sûreté d’un véhicule dépend autant de l’intensité du freinage que de l’instant de la prise de décision d’appliquer ce freinage. L’objectif de cette mineure est de permettre aux élèves d’appréhender les spécificités des systèmes hybrides et de leur commande. A partir d’exemples issus de différents domaines d’application on introduira les outils qui en permettent la modélisation, l’analyse et la commande.

Pré-requis : majeure ISA

Contenu : Modélisation, commande, sûreté, stabilité, applications

Cette mineure présente les méthodes d'analyse et de synthèse les plus avancées pour la commande de systèmes complexes. La première partie du cours pose un cadre d'étude permettant d'analyser la robustesse d'un système commandé multi-variable vis-à-vis de différentes incertitudes de modélisation (incertitudes paramétriques, dynamiques négligées...), et de calculer des correcteurs en prenant en compte certains objectifs de performance et de robustesse. La seconde partie du cours prend en compte explicitement le caractère non linéaire des systèmes considérés pour développer des méthodes spécifiques.

Pré-requis : majeure ISA

Contenu : Synthèse H infinie. Analyse de la robustesse. Représentation des incertitudes : μ analyse. Commande basée sur la platitude, « Back Stepping ». Commande en mode glissant, Commande par passivité.

Les services offerts par les systèmes d'information d'entreprise s'appuient sur des architectures et des techniques d'interconnexion des différents réseaux (longue distance, locaux, boucle locale). Cette mineure apporte une vue globale de l'infrastructure des réseaux communicants et permet d'appréhender les évolutions à venir (réseau ad hoc, Fiber To The Home, etc.). En particulier, la compréhension du protocole IPv6 permettant le transport de tout flux applicatif, où que soit l'utilisateur, avec une qualité de service garantie et des services de sécurité est importante pour tout ingénieur.
Remarque : en complément, les réseaux sans fils (GSM, GPRS, UMTS, 4G/LTE dans les WAN, WiFi dans les LAN, etc.) sont présentés dans la mineure "Réseaux de télécommunications".

Pré-requis : Systèmes d'Information (2A).

Contenu : Ethernet (commutation, Spanning Tree Protocol (STP), VLAN, 802.1p/Q), IPV6, le routage et les techniques d'interconnexion des réseaux (RIP, BGP, OSPF), mobile IP, les réseaux spontanés (architecture des réseaux ad-hoc, protocole de routage OLSR, P2P), le coeurs de réseaux (réseaux haut débits, MPLS), la boucle locale (FTTH Fiber To The Home) et l'ingénierie de réseaux locaux.

Les services réseaux applicatifs, c'est-à-dire orientés vers les besoins de communication et de synchronisation des applications, sont présentés au travers des techniques et protocoles des couches hautes du modèles OSI. Les compétences apportées par ce cours sont utiles aux ingénieurs informaticiens amenés à concevoir et développer des systèmes d'information d'entreprise. Elles sont aussi intéressantes dans d'autres spécialités, comme par exemple les systèmes embarqués ou la conduite de processus, et plus généralement tout domaine nécessitant le développement d'applications communicantes.

Pré-requis : Systèmes d'Information (2A).

Contenu : SNMP, 802.1x, Annuaire (DNS, LDAP, NIS), flux multimédia (VoIP/ToIP : SIP, H.323, RTP, RTCP), ingénierie et administration des services réseaux, convergence des services (IMS).

Le fonctionnement interne des systèmes d'exploitation (OS, pour operating System) est présenté de manière approfondie en insistant sur l'implémentation des grands concepts de ces systèmes (processus, mémoire virtuelle, synchronisation, etc.) dans deux OS « modernes » : Linux et Windows. Si ces connaissances sont naturellement indispensables à la conception ou à l'amélioration d'un OS ou d'un logiciel embarqué, elles sont plus généralement un atout précieux pour tout ingénieur impliqué dans la conception de systèmes intégrant des aspects dédiés à la gestion de l'information.

Pré-requis : Architecture des Systèmes Informatiques (2A).

Contenu : gestion des processus (processus, ordonnancement, appels systèmes), interruptions, gestion des interruptions, synchronisation, gestion de la mémoire: mémoire virtuelle, pagination, segmentation, espace d'adressage, entrées/sorties (couches d'entrées-sorties, caches d'entrées-sorties), systèmes de fichiers, drivers. Mise en application : réalisation d'un driver sous Linux (BE) et réalisation d'un mini-shell (projet).

Les langages C et C++ restent des langages très utilisés pour programmer des applications des couches basses du logiciel telles que des systèmes d'exploitation ou des applications proches du système matériel. En particulier, ils sont encore largement utilisés dans les systèmes embarqués temps réel. Ce cours s'adresse aux élèves désireux d'approfondir leurs pratique de la programmation au travers de l'apprentissage des langages C et C++ et par la prise en main d'un environnement de développement associé (Eclipse, SVN, outil de développement d'interfaces graphiques).

Pré-requis : Structure et Données et Algorithmes, Modèle de programmation (1A), projet de développement logiciel (2A)

Contenu : Langage C, Langage C++, Design Patterns, Qt.

Les technologies initialement développées dans le contexte du Web ont tendance à se diffuser dans d'autres domaines tels que le calcul scientifique ou l'informatique "industrielle". Ainsi, les technologies applicatives des systèmes d'information et les principaux environnements utilisés pour leur développement qui sont présentés dans ce cours peuvent, au-delà des ingénieurs informaticiens, être utiles aux spécialistes de tous domaines.

Pré-requis : Systèmes d'Information (2A)

Contenu : urbanisation des systèmes d'information, ERP, accès aux bases de données (JDBC, Accès Web), cloud computing, développement web : .NET, programmation côté client (Java script, Applet, ActiveX), programmation côté serveur (cgi, php, servlets, Tomcat).

Un compilateur est un programme qui traduit un code source, écrit dans un langage de haut niveau, en un code de plus bas niveau, en général exécutable par une machine réelle ou virtuelle. Cette traduction est une opération d'une grande complexité et qui peut paraître presque magique. En cela les compilateurs sont un des domaines les plus fascinants de l'informatique, se situant à la conjonction de nombreux domaines comme par exemple la linguistique (travaux de Noam Chomsky), l'informatique théorique (calculabilité, typage) ou les systèmes d'exploitation (le code produit coopère avec le système d'exploitation pour son exécution). Il s'agit dans ce cours de dévoiler une partie des mystères qui entourent la compilation et les compilateurs et permettre de comprendre pourquoi "Trying to outsmart a compiler defeats much of the purpose of using one." (Brian W. Kernighan & P.J. Plauger).

Pré-requis : Structure et Données et Algorithme, Modèle de programmation (1A), projet de développement logiciel (2A), Processus de développement (3A)

Contenu : les différents types de langages, différence entre interprétation et compilation, architecture d'un compilateur, front-end, back-end. Analyse lexicale et syntaxique. Arbre de syntaxe abstrait, transformation d'arbre. Analyse sémantique, langage intermédiaire. Génération de code (projection vers un langage assembleur donné, allocation de registres). Typage, gestion mémoire (garbage collecteur), cas des langages orienté-objet. Réalisation d'un petit compilateur en mini-projet.

La description des fondements du raisonnement informatique trouve naturellement sa place dans la culture de tout ingénieur et particulièrement dans celle de tout informaticien. Ainsi, ce cours a pour objectif d'étudier les problèmes de décision et de calcul qui peuvent être résolus automatiquement.

Pré-requis : aucun.

Contenu : Introduction à la calculabilité et à la complexité. Modèles abstraits d'ordinateurs, machine de Turing, machine de Turing universelle. Complexité d'un problème, Classes de complexité. Présentation détaillée d'un problème NP-Complet et réduction. Qu'est ce qu'un problème indécidable ? Exemples, paradoxes et théorème de Rice. Lambda-calcul non typé. Lien entre preuves et programmes (correspondance de Curry-Howard). Application à la preuve de programme.