Notes de Cours d'Informatique
Notes par rapport aux pages du diapo “cours 0”IntroductionTraitement d’imageRésolution numériqueIntroductionMots et langage formelDéfinitionsVocabulaire de la logiqueProgrammation Orientée ObjetNotes par rapport aux pages du diapo “cours 1”IntroductionIntelligence ArtificielleParadigme de programmationVocabulaireTchisla 2ConvolutionInternetExpressions régulièresMots et langages acceptés part un automate finiNotations asymptotiquesPreuves formellesClasses d’objetsIndicateurs de développement durable des régionsLe concept des fichiersExtension de la logique avec des opérateurs de points fixesProblèmes de conception classiquesOpenMPMéthodes d’optimisationsDeep learningStaticTemps de calculsProcessusPartition d’un entierContourAnalyse SyntaxiqueDéterminisation d’automatesParcours en profondeurEncapsulationOuverture de fichierFrama-cPatterns structurelsÉquilibrage des chargesMéthode d’apprentissageInput/OutputRéduction polynomialeOrdonnancement dans un ordinateur interactifVoyageur de commerceModèle client - serveurAnalyse Cocke-Younger-KasamiPropriétés de clotures des automates finisComposantes fortement connexesContradiction (\(\bot\))HéritageChanger l’offset d’un fichierParadigme des tâchesClassifieur ML (Maximum likelihood)Design patternsThéorème de Cook-LevinProcessus et threadsProgrammation dynamique (Held-Karp)API REST (page Wikipedia)Propriété du préfixe valideExpression rationnelle vers AF (suite)Plus court cheminIncomplétude de la logique minimaleConceptionProcessusArchitecture des ordinateurs à mémoire communeMalédiction de la dimensionnalitéCalculabilitéHoare monitorsApproximationMaven documentationGrammaire attribuéeLemme de l’étoileAlgorithme de Ford (Bellman-Ford)Logique propositionnellePipes (tubes)Mémoire cacheAnalyse en composantes indépendantesGestion de la mémoireMinimum Spanning TreeÉquivalence structurelle des TypeExprCalcul de résiduelsLe tiers exclusInterface avec méthode par défautSignauxParallélisme de donnéesArbres de décision et classificationPagination de la mémoireNavigationAlgorithme de minimisation de MooreRéseauxLimite de la logique propositionnelleEnumérationSignauxCalculer sur des cartes graphiques avec OpenCLA-starDes grammaires algébriques à la combinatoireCouplageQuantificateur universel \(\forall\)ThreadsDecoratorTechniques Algorithmiques et ProgrammationProjet de Développement LogicielInformatique et SociétéCompilationModèles de la Programmation et du CalculAlgorithme des graphesLogique et PreuvesProgrammation Orientée ObjetProjet Communication Transdisciplinaire - Sensibilisation à l’écologie et à l’impact du numériqueProgrammation SystèmeConception formelleArchitecture logicielleProgrammation des architectures parallèlesAnalyse, Classification, Indexation de donnéesIntelligence artificielleApproche objetCalculabilité et complexitéSystème d’exploitationLicenceProxySOLID design

Attention, certains liens ont été renseignés durant l’année scolaire 2020-2021 et peuvent ne plus exister ou ne plus être accessible.

Semestre 6

Compilation

Informatique et Société

Modèles de la Programmation et du Calcul

Projet de Développement Logiciel

Techniques Algorithmiques et Programmation


Semestre 5

Algorithme des graphes

Logique et Preuves

Programmation Orientée Objet

Programmation Système

PCT - Sensibilisation à l’écologie et à l’impact du numérique