SOCI´ETAUX 3 ECTS 1
er semestre
EPPHY1JM Cours : 24h , TD : 6h
ENSEIGNANT(E) RESPONSABLE VANDERHAEGHE Olivier
Email : olivier.vanderhaeghe@get.omp.eu
OBJECTIFS D’APPRENTISSAGE
L’objectif de cette UE est d’aborder les principaux d´efis des g´eosciences en termes d’enjeux soci´etaux.
DESCRIPTION SYNTH´ETIQUE DES ENSEIGNEMENTS
Les ressources min´erales et ´energ´etiques : Bilan des r´eserves et perspectives d’avenir.
Des ressources min´erales aux mat´eriaux.
Gestion durable de l’eau et de l’environnement et changement climatique.
Dynamique terrestre et risques sismique et volcanique.
Imagerie g´eophysique de l’exploration des plan`etes `a l’am´enagement du territoire.
PR´E-REQUIS
Baccalaur´eat Scientifique
R´EF´ERENCES BIBLIOGRAPHIQUES
La Terre, portrait d’une plan`ete (´edition DeBoek) MOTS-CL´ES
G´eosciences, Ressources min´erales, Ressources p´etroli`eres, Eau, Environnement, Climat, Mat´eriaux
UE
ANGLAIS 3 ECTS 1er semestre EPPHY1VM Cours : 9hENSEIGNANT(E) RESPONSABLE GOFFINET Akissi
Email : akissi.goffinet@univ-tlse3.fr
OBJECTIFS D’APPRENTISSAGE
S1 : asseoir les bases m´ethodologiques n´ecessaires `a l’apprentissage d’une langue et sa pratique en science ; poser les jalons pour l’apprentissage en TD d`es le S2. Etudes de documents scientifiques `a caract`ere transversal.
DESCRIPTION SYNTH´ETIQUE DES ENSEIGNEMENTS S1M´ethodologie de l’apprenant ;
compr´ehension orale et ´ecrite ; apprendre `a entendre / phonologie ; chiffres, mesures et ´equations ; m´etrologie ;
langue des publications scientifiques : structure, grammaire, lexique et registre.
Par d´efaut tous les ´etudiants choisissent anglais sauf ceux qui justifient au minimum d’un niveau B2, les autorisant ainsi `a choisir une autre langue.
Le module de langues vivantes est une UE au choix parmi 4 possibilit´es : allemand, anglais, espagnol ou FLE. Il donne droit `a 3 ECTS.
La langue choisie en L1S1 ou L1S2 apr`es certification du niveau B reste la mˆeme jusqu’en L3S6 inclus.
Le module anglais ”grands d´ebutants” est une UE facultative qui ne d´elivre pas d’ECTS ; il est propos´e en priorit´e aux ´etudiants ´etrangers qui n’ont pas ou tr`es peu b´en´efici´e d’un enseignement de l’anglais mais il est aussi ouvert `a tout ´etudiant volontaire dont le niveau est tr`es faible.
PR´E-REQUIS
Tous les ´etudiants choisissent l’anglais. Une autre langue peut uniquement ˆetre choisie avec au minimum un niveau B2 certifi´e en anglais.
MOTS-CL´ES
M´ethodologie - outils linguistiques pour les sciences
UE
ALLEMAND 3 ECTS 1er semestre EPPHY1WM TD : 24hENSEIGNANT(E) RESPONSABLE SANTAMARINA Diego
Email : diego.santamarina@univ-tlse3.fr
PR´E-REQUIS
Niveau B2 en anglais
UE
ESPAGNOL 3 ECTS 1er semestre EPPHY1XM TD : 24hENSEIGNANT(E) RESPONSABLE SANTAMARINA Diego
Email : diego.santamarina@univ-tlse3.fr
OBJECTIFS D’APPRENTISSAGE
Consolider les acquis, assurer la maˆıtrise de la langue g´en´erale et commencer l’acquisition d’une langue plus sp´ecifique.
DESCRIPTION SYNTH´ETIQUE DES ENSEIGNEMENTS
Travail de toutes les comp´etences avec une priorit´e donn´ee `a l’expression orale.
PR´E-REQUIS
Niveau B2 en anglais
R´EF´ERENCES BIBLIOGRAPHIQUES
Les documents sont donn´es par le professeur.
MOTS-CL´ES Espagnol
UE
OPTION PHYSIQUE-CHIMIE 18 ECTS 2nd semestreSous UE Chimie des solutions
EPCHC2A1 Cours-TD : 16h
ENSEIGNANT(E) RESPONSABLE LAFAGE Bernard
Email : bernard.lafage@univ-tlse3.fr
OBJECTIFS D’APPRENTISSAGE
Acquisition des comp´etences de base n´ecessaires `a l’´etude des ´equilibres chimiques en solution aqueuse.
DESCRIPTION SYNTH´ETIQUE DES ENSEIGNEMENTS 1-Equilibres acido-basiques
L’eau solvant : propri´et´es de l’eau, effet du caract`ere polaire d’un solvant lors d’une dissolution (hydratation, hydrolyse), autoprotolyse de l’eau, Ke
Acido-basicit´e dans la th´eorie de Br¨onsted: couple acide-base, (poly) acides et bases usuels, Ka, ´echelle des pKa, domaines de pr´edominance, r´eaction acido-basique, composition du milieu `a l’´etat final (m´ethode de la r´eaction pr´epond´erante), pH acide (base) fort(e), dosage par titrage direct, rep´erage de l’´equivalence (colorim´etrie ou pHm´etrie)
2-Equilibres d’oxydo-r´eduction
Couple redox, oxydants et r´educteurs usuels, nombre d’oxydation, demi-´equation ´electronique, r´eaction d’oxydo-r´eduction, dosage par titrage direct.
PR´E-REQUIS
Formules de Lewis, ´electron´egativit´e, acides et bases, d´efinition du pH, oxydant et r´educteur.
R´EF´ERENCES BIBLIOGRAPHIQUES
Mini-manuel de chimie g´en´erale - Chimie des solutions - Elisabeth Bardez - Dunod Chimie g´en´erale en 83 fiches - Y. Verchier, A.L. Valette-Delahaye, F. Lemaˆıtre - Dunod
MOTS-CL´ES
R´eaction acido-basique, domaines de pr´edominance, pH acide (base) fort(e), r´eaction d’oxydo-r´eduction, constante d’´equilibre, tableau d’avancement, dosage
UE
OPTION PHYSIQUE-CHIMIE 18 ECTS 2nd semestreSous UE Thermodynamique
EPCHC2A2 Cours-TD : 16h
ENSEIGNANT(E) RESPONSABLE LAFAGE Bernard
Email : bernard.lafage@univ-tlse3.fr
OBJECTIFS D’APPRENTISSAGE
Initiation `a la thermodynamique chimique au travers de l’´etude des ´echanges d’´energie qui accompagnent les r´eactions chimiques.
DESCRIPTION SYNTH´ETIQUE DES ENSEIGNEMENTS
Premier principe de la thermodynamique : Conservation de l’´energie.
Travail, chaleur, ´energie.
Propri´et´es des grandeurs d’´etat. Variation d’une fonction d’´etat. Transformations r´eversibles / irr´eversibles. Cha-leur de r´eaction : La fonction enthalpie. Calcul de l’enthalpie standard d’une r´eaction chimique. Influence de la temp´erature sur l’enthalpie d’un syst`eme r´eactif ferm´e ; Loi de Kirchhoff. Applications : Mesures calorim´etriques.
PR´E-REQUIS
Bases math´ematiques : d´eriv´ees, int´egrales, diff´erentielles.
R´EF´ERENCES BIBLIOGRAPHIQUES
Thermodynamique, bases et applications - J.N. Foussard - Dunod MOTS-CL´ES
Premier principe, fonctions d’´etat, ´energie, travail, chaleur, enthalpie standard de r´eaction ; calorim´etrie.
UE
OPTION PHYSIQUE-CHIMIE 18 ECTS 2nd semestreSous UE Travaux pratiques
EPCHC2A3 TP : 18h
ENSEIGNANT(E) RESPONSABLE LAFAGE Bernard
Email : bernard.lafage@univ-tlse3.fr
OBJECTIFS D’APPRENTISSAGE
Illustrer les notions introduites en cours-TD `a raison de 2 s´eances de 3h par sous-th`emes. Savoir r´ealiser et exploiter un protocole mettant en œuvre la pH-m´etrie, la conductim´etrie, la spectrophotom´etrie et la calorim´etrie.
UE
OPTION PHYSIQUE-CHIMIE 18 ECTS 2nd semestreSous UE Cin´etique
EPCHC2A4 Cours-TD : 16h
ENSEIGNANT(E) RESPONSABLE LAFAGE Bernard
Email : bernard.lafage@univ-tlse3.fr
OBJECTIFS D’APPRENTISSAGE
La cin´etique est une science exp´erimentale bas´ee sur la collecte de donn´ees temporelles et leur analyse. La collecte de donn´ees n´ecessite d’une part de faire le choix de la technique utilis´ee et d’autre part de relier les grandeurs correspondantes `a l’avancement de r´eaction. Il s’agit ensuite d’analyser les courbes enregistr´ees afin d’´etablir la loi de vitesse exp´erimentale donnant la relation entre la vitesse de r´eaction et la concentration des r´eactifs. On
´etudiera ´egalement l’influence de la temp´erature et l’effet d’un catalyseur. Les aspects microscopiques seront introduits par la notion d’actes ´el´ementaires et appliqu´es `a l’´etude de r´eactions oppos´ees.
DESCRIPTION SYNTH´ETIQUE DES ENSEIGNEMENTS
Expression de l’avancement en fonction d’une grandeur physique ; Choix d’une technique exp´erimentale ; d´efinition de la vitesse volumique globale ; ´etablissement de la loi de vitesse par l’´etude d’ordre : m´elange initial stœ-chiom´etrique, d´eg´en´erescence d’ordre ; influence de la temp´erature (loi d’Arrhenius) ; notions de catalyse ; vitesse d’un acte ´el´ementaire ; r´eactions oppos´ees.
PR´E-REQUIS
Equation de r´´ eaction ; avancement de r´eaction Primitives de fonctions usuelles
R´EF´ERENCES BIBLIOGRAPHIQUES
Ouvrages des classes pr´epa PCSI-PC ; ouvrages de chimie g´en´erale MOTS-CL´ES
Vitesse de r´eaction, ordre, loi de vitesse, ´energie d’activation, acte ´el´ementaire
UE
OPTION PHYSIQUE-CHIMIE 18 ECTS 2nd semestreSous UE Chimie du solide
EPCHC2B1 Cours-TD : 22h
ENSEIGNANT(E) RESPONSABLE DUFOUR Pascal
Email : pascal.dufour@univ-tlse3.fr
OBJECTIFS D’APPRENTISSAGE
Au cours de leur cursus dans le secondaire, les ´etudiants ont pris conscience de l’importance de la chimie au quotidien, et de sa large participation au d´eveloppement d’autres disciplines.
L’objectif de cet enseignement est de faire prendre conscience `a l’´etudiant de l’importance de l’´etat ordonn´e de la mati`ere ou ´etat solide. Les mat´eriaux `a structures cubiques seront abord´es et les relations structures et propri´et´es physiques et m´ecaniques y seront illustr´ees.
DESCRIPTION SYNTH´ETIQUE DES ENSEIGNEMENTS 22h CTD
Les diff´erents ´etats de la mati`ere :
-D´esordonn´e / ordonn´e (illustration diffusion / diffraction). Notions de r´eseaux, maille, motif Les empilements atomiques
- Mod`ele des sph`eres dures plan atomique compact - non compact
- Empilement non compact : CS ; CC. Empilement compact : CFC/HC. Sites cristallographiques dans le CFC Structure type des corps simples : syst`eme cubique
- Exemples de structures m´etalliques. Alliages de substitution / d’insertion : loi de V´egard - Structure diamant
Structure type des corps compos´es : solides ioniques de type AB
- Structures type : CsCl ; NaCl ; ZnS (Blende). Crit`ere de Goldschmidt - r`egle de tangence Autres structure des corps compos´es
- Structures de type : glace-III, p´erovskite, spinelle.
Relation structure et propri´et´es
PR´E-REQUIS Programme du lyc´ee
R´EF´ERENCES BIBLIOGRAPHIQUES
Mini Manuel de Chimie Inorganique, Jean-Fran¸cois Lambert, Thomas Georgelin, Maguy Jabert,Dunod
Les cours de Paul Arnaud- Chimie G´en´erale, Paul Arnaud, Fran¸coise Rouquerol, Gilberte Chambard, Rolland Lissilour, Collection Sciences Sup Dunod.
MOTS-CL´ES
Solides m´etalliques, ioniques, covalents et mol´eculaires- Structures cristallines- alliages- Conducteurs- semi-conducteurs et isolants.
UE
OPTION PHYSIQUE-CHIMIE 18 ECTS 2nd semestre Sous UE Chimie mol´eculaireEPCHC2B2 Cours-TD : 14h
ENSEIGNANT(E) RESPONSABLE DUFOUR Pascal
Email : pascal.dufour@univ-tlse3.fr MAERTEN Eddy
Email : eddy.maerten@univ-tlse3.fr
OBJECTIFS D’APPRENTISSAGE
Acqu´erir les connaissances n´ecessaires pour d´ecrire une mol´ecule (g´eom´etrie, polarit´e, site riche ou pauvre en
´electrons), ainsi que pour analyser les transformations `a l’´echelle microscopique. Certaines notions d´ej`a vues au lyc´ee seront r´eactiv´ees et approfondies.
DESCRIPTION SYNTH´ETIQUE DES ENSEIGNEMENTS
- Repr´esentations non structurales (formule brute et analyse ´el´ementaire) et structurales non spatiales (d´evelopp´ee, semi-d´evelopp´ee, topologique) des mol´ecules.
- Principales fonctions, vibrations IR associ´ees et nomenclature ; isom´eries de structure (fonction, position, chaˆıne).
Repr´esentations spatiales (Cram, Newman).
- Conformation (´ethane, cyclohexane, cyclohexane monosubstitu´e). St´er´eoisom´erie de configuration : chiralit´e, activit´e optique, ´enantiom´erie ; diast´er´eom´erie (alc`enes) ; descripteurs st´er´eochimiques (R/S, Z/E).
- Polarisation des liaisons. Mol´ecules polaires/apolaires. Liaisons faibles : hydrog`ene et Van der Waals. Une application : solvants polaires/apolaires, protiques/aprotiques.
- Nucl´eophiles et ´electrophiles. Un m´ecanisme : SN2 PR´E-REQUIS
Repr´esentation de Lewis ; th´eorie VSEPR ; ´electron´egativit´e ; notion de groupe fonctionnel
R´EF´ERENCES BIBLIOGRAPHIQUES Ouvrages de PCSI-PC
MOTS-CL´ES
Repr´esentations, isom´eries ; conformation, configuration ; ´enantiom´erie, diast´er´eom´erie ; polarit´e, nucl´eophile,
´electrophile ; liaisons faibles ; m´ecanisme SN2
UE
OPTION PHYSIQUE-CHIMIE 18 ECTS 2nd semestre Sous UE TP num´eriques pour chimieEPCHC2C1 TP : 15h
ENSEIGNANT(E) RESPONSABLE POTEAU Romuald
Email : romuald.poteau@univ-tlse3.fr
OBJECTIFS D’APPRENTISSAGE
Deux objectifs seront poursuivis. D’une part se familiariser avec diff´erents outils num´eriques utilis´es en chimie : repr´esentation 3D des mol´ecules et de la mati`ere condens´ee, bases de donn´ees chimiques et codage des structures chimiques, tableurs et traitement de donn´ees. D’autre part, on fera un lien entre les enseignements de chimie du 1er et 2nd semestre et diff´erentes simulations d’exp´eriences de chimie.
Des bases de donn´ees seront syst´ematiquement utilis´ees, par exemple pour v´erifier l’existence d’un compos´e, son appellation selon la nomenclature IUPAC et ses synonymes, ses caract´eristiques physiques ou chimiques, son
´eventuelle toxicit´e, les pr´ecautions d’utilisation, les ´eventuels brevets associ´es, son prix de vente...
DESCRIPTION SYNTH´ETIQUE DES ENSEIGNEMENTS
L’enseignement sera dispens´e sous forme de TP num´eriques et l’acquisition des connaissances sera ´evalu´ee par un CC int´egral. Les principaux th`emes abord´es seront :
— Structure 3D des mol´ecules et de la mati`ere condens´ee (VSEPR, st´er´eochimie, structures cristallogra-phiques)
— Dessiner une mol´ecule en 2D et exporter son codage SMILES ou InChI, le B.A.-BA du Big Data en Chimie (enjeux : rechercher une information sur des millions de mol´ecules, diff´erencier des compos´es selon leur st´er´eochimie, ´etablir des similarit´es entre compos´es...)
— Des bases de donn´ees chimiques pour chaque usage : COD (´etat solide), PDB (macromol´ecules du vivant), ChemSpider, NIST, PubChem (mol´ecules organiques), SDBS (spectroscopies), Drugbank (pharmacologie), HMDB (m´etabolomique)...
— Traitement de donn´ees exp´erimentales brutes, corr´elation avec un mod`ele physico-chimique et incertitude exp´erimentale. Application `a la cin´etique
— Animation et simulation d’exp´eriences de chimie
PR´E-REQUIS
Maˆıtrise de base d’un ordinateur ; d’un navigateur web ; d’un tableur.
Enseignements de chimie du 1er semestre et ceux suivis en parall`ele au 2nd semestre.
R´EF´ERENCES BIBLIOGRAPHIQUES https://phet.colorado.edu/fr/
https://fr.wikipedia.org/wiki/Base de donn%C3%A9es chimiques MOTS-CL´ES
Bases de donn´ees chimiques ; Cin´etique ; Incertitude ; Simulations num´eriques.
UE
OPTION PHYSIQUE-CHIMIE 18 ECTS 2nd semestre Sous UE Compl´ements de travaux pratiquesEPCHC2C2 TP : 15h
ENSEIGNANT(E) RESPONSABLE SAID Fr´ed´erique
Email : frederique.said@aero.obs-mip.fr
OBJECTIFS D’APPRENTISSAGE
Cette Unit´e d’Enseignements compl`ete les autres unit´es de travaux pratiques du L1. Son contenu est pens´e afin que l’´etudiant puisse
— utiliser ses connaissances dans de nouvelles situations ;
— savoir faire des mesures pr´ecises en suivant un protocole ;
— utiliser des logiciels qui permettent de repr´esenter ou mod´eliser les r´esultats ;
— exploiter les exp´eriences, ´evaluer la pr´ecision des r´esultats et faire des hypoth`eses sur les erreurs ;
— savoir faire un compte-rendu synth´etique des r´esultats d’une exp´erience ;
et enfin approfondir ce qui a ´et´e vu en cours afin de se pr´eparer `a l’entr´ee en classe sup´erieure, en lien avec d’autres disciplines li´ees `a des situations concr`etes des m´etiers scientifiques.
DESCRIPTION SYNTH´ETIQUE DES ENSEIGNEMENTS
— Etude d’une suspension de VTT : connaˆıtre le fonctionnement d’une suspension, rˆole, composition, r´egime de fonctionnement ; savoir mod´eliser la suspension de mani`ere simple et exploiter les r´esultats.
— Etude d’un mouvement rectiligne uniform´ement acc´el´er´e `a l’aide d’un chariot mis en mouvement par le poids d’une masselotte. Ce TP permet de calculer aussi l’acc´el´eration de la pesanteur, d’aborder des notions d’´energie et de faire des calculs d’incertitude.
— Compl´ements d’optique g´eom´etrique. Le prisme : ´etudier la d´eviation en lumi`ere monochromatique et la dispersion en lumi`ere polychromatique.
— Compl´ements sur les langages de programmation : initiation au calcul formel avec Sympy (sous Python 3) sur des exercices vus en math´ematiques et outils math´ematiques au S1, ou en m´ecanique au S2.
PR´E-REQUIS
Avoir suivi un S1 du portail Sciences Fondamentales (SF), Sciences Appliqu´ees (SA), ou Sciences du Num´erique (SNG).
R´EF´ERENCES BIBLIOGRAPHIQUES
Tous les ouvrages de m´ecanique, d’optique disponibles `a la biblioth`eque universitaire. Site www.sympy.org MOTS-CL´ES
M´ecanique ; optique ; calcul formel ; raideur d’un ressort ; amortissement ; prisme ; Sympy.
UE
OPTION PHYSIQUE-CHIMIE 18 ECTS 2nd semestreSous UE Math´ematiques 2
EPPHP2D1 Cours : 24h , TD : 36h
Cette UE scind´ee en deux parties, alg`ebre et analyse, m`ene `a l’acquisition des techniques ´el´ementaires de calcul n´ecessaires aux ´etudes scientifiques. `A travers un enseignement tr`es ax´e sur le calcul et les exemples, nous chercherons aussi `a d´evelopper les capacit´es de rigueur et de r´edaction de d´emonstrations des ´etudiants.
En alg`ebre, il s’agit de maitriser le calcul matriciel, de l’appliquer `a la r´esolution de syst`emes lin´eaires et de l’illustrer sur des exemples. La partie th´eorique : espaces vectoriels, applications lin´eaires est seulement abord´ee et d´evelopp´ee dans le cadre des dimensions 2 et 3.
La partie analyse forme au calcul de la limite d’une suite r´eelle, au choix d’un ´equivalent, `a l’utilisation des formules de Taylor et des d´eveloppements limit´es ainsi qu’`a l’int´egration.
DESCRIPTION SYNTH´ETIQUE DES ENSEIGNEMENTS ALGEBRE
— Chapitre 1 (12h) : Syst`emes lin´eaires. Droites et plans de l’espace affine.
— Chapitre 2 (8h) : Calcul matriciel. Applications lin´eaires.
— Chapitre 3 (12h) : D´eterminants. Introduction `a la diagonalisation.
ANALYSE
— Chapitre 4 (6h) : Suites num´eriques, Continuit´e.
— Chapitre 5 (6h) : Fonctions d´erivables : Th´eor`emes de Rolle, Accroissements finis.
— Chapitre 6 (6h) : Int´egration.
— Chapitre 7 (10h) : D´eveloppements limit´es.
PR´E-REQUIS
Programme de terminale S (sans la sp´ecialit´e math´ematique) et Maths1.
R´EF´ERENCES BIBLIOGRAPHIQUES
— Claire David, ØCalcul vectoriel”, ed. Dunod,
— Vincent Blanloeil, ØUne introduction moderne `a l’alg`ebre lin´eaire”, ed. Ellipses.
— Jean-Marie Monier et al., Math´ematiques M´ethodes et Exercices PCSI-PTSI, Collection : J’int`egre, Dunod.
MOTS-CL´ES
Matrice - syst`emes lin´eaires - espaces vectoriel - d´eterminants - valeurs propres - suites - d´erivation Taylor -d´eveloppements limit´es
UE
OPTION PHYSIQUE-MATHS 18 ECTS 2nd semestre Sous UE Traitement num´erique de l’InformationEPEAE2E1 Cours : 6h , TD : 20h , TP : 9h
Cette UE doit permettre d’acqu´erir les bases n´ecessaires `a la manipulation des nombres en informatique, en
´electronique num´erique et en automatique, et la synth`ese et la r´ealisation ´electronique d’une fonction logique combinatoire simple. `A cette fin, les ´etudiants acquerront la capacit´e `a :
- Maˆıtriser la transformation (le codage) des informations (des nombres) en binaire et hexad´ecimal - Savoir Manipuler/traiter des informations sous forme binaire et hexad´ecimal
- Savoir synth´etiser des fonctions logiques combinatoires ´el´ementaires : additionneur, multiplexeur, encodeur, ...
- Savoir r´ealiser des fonctions logiques simples `a base de portes logiques ´el´ementaires (ET, OR, NAND, NOR, XOR)
DESCRIPTION SYNTH´ETIQUE DES ENSEIGNEMENTS Contenu:
— Num´eration : ´etude des bases 2, 8 et 16, changement de base et conversions rapides.
— Repr´esentation des nombres entiers : binaire pur, valeur absolue plus signe, compl´ement `a 2.
— Alg`ebre de Boole : th´eor`emes et axiomes, simplifications alg´ebriques.
— Tableaux de Karnaugh.
— Repr´esentation de fonctions logiques combinatoires : tables de v´erit´e, formes alg´ebriques, logigrammes, chronogrammes.
— Caract´eristiques ´electriques et temporelles des principales technologies de portes logiques.
Comp´etences:
— Savoir manipuler/traiter des informations (nombres entiers et fractionnaires) dans diff´erentes bases.
— Savoir synth´etiser des fonctions logiques combinatoires ´el´ementaires : additionneur, multiplexeur, encodeur, etc.
— Savoir r´ealiser des fonctions logiques simples `a base de portes logiques ´el´ementaires (ET, OR, NAND, NOR, XOR)
PR´E-REQUIS Aucun
R´EF´ERENCES BIBLIOGRAPHIQUES
Claude Brie (2002), Logique combinatoire et s´equentielle, ´editions Ellipses.
Jacques Jorda & Abdelaziz M’zoughi (2012), Mini-manuel d’architecture de l’ordinateur, ´editions Dunod.
MOTS-CL´ES
UE
OPTION PHYSIQUE-MATHS 18 ECTS 2nd semestreS’approprier les bases de la logique sur les plans mod´elisation, s´emantique et calcul (´eventuellement automatis´e) afin d’ˆetre capable de :
- D´ecrire comment la logique permet de mod´eliser des situations r´eelles
- Convertir des ´enonc´es informels en langage logique (propositionnel/pr´edicatif)
- Appliquer des m´ethodes (tableaux, ´equivalences, r´esolution propositionnelle) aux probl`emes de r´ef´erence (SAT, cons´equence logique, formes normales)
- Appliquer un raisonnement rigoureux `a des probl`emes r´eels (comme l’analyse d’un algorithme) ou `a des puzzles typiques
- D´ecrire les forces et limitations des logiques propositionnelle et pr´edicative - Utiliser un solveur pour r´esoudre des probl`emes SAT de taille cons´equente
DESCRIPTION SYNTH´ETIQUE DES ENSEIGNEMENTS 0) G´en´eralit´es : br`eve histoire, rˆole en informatique
1) Logique propositionnelle
- Connecteurs logiques, formules bien form´ees
- S´emantique : tables de v´erit´e, Formalisation d’´enonc´es - Notion de mod`ele et contre-mod`ele
- Validit´e, (in)satisfiabilit´e, cons´equence et ´equivalence logique - Notion de r`egle d’inf´erence (modus ponens et tollens) - Formes normales (conjonctive, disjonctive et clausale) - Connecteurs g´en´eralis´es et conversion en forme clausale
- Fonctionnement simplifi´e d’un solveur SAT (r´esolution propositionnelle) 2) Logique des pr´edicats
- Quantificateurs existentiel et universel, formules bien form´ees - Formalisation d’´enonc´es
- V´erit´e dans une interpr´etation, une structure - Equivalences remarquables
PR´E-REQUIS
Ensembles et leurs op´erations, fonctions, relations, r´ecurrence R´EF´ERENCES BIBLIOGRAPHIQUES
- Lepage. ´El´ements de Logique Contemporaine-Presses de l’Univ. de Montr´eal, 2001 - Delmas-Rigoutsos, Lalement. La Logique ou l’Art de raisonner-Le Pommier, 2001.
MOTS-CL´ES
Logique, s´emantique, mod`ele, formes normales, SAT, solveur
UE
OPTION PHYSIQUE-MATHS 18 ECTS 2nd semestreCe module porte sur l’analyse des suites et des fonctions `a valeurs r´eelles. Apr`es le module de math´ematique du premier semestre qui consolide les acquis de Terminale, ce module vise `a ´etablir les bases n´ecessaires `a
Ce module porte sur l’analyse des suites et des fonctions `a valeurs r´eelles. Apr`es le module de math´ematique du premier semestre qui consolide les acquis de Terminale, ce module vise `a ´etablir les bases n´ecessaires `a