Notes de Cours d'Informatique

Notes par rapport aux pages du diapo “cours 0”Introduction Traitement d’image Résolution numérique Introduction Mots et langage formel Définitions Vocabulaire de la logique Programmation Orientée Objet Notes par rapport aux pages du diapo “cours 1”Introduction Intelligence Artificielle Paradigme de programmation Vocabulaire Tchisla 2 Convolution Internet Expressions régulières Mots et langages acceptés part un automate fini Notations asymptotiques Preuves formelles Classes d’objets Indicateurs de développement durable des régions Le concept des fichiers Extension de la logique avec des opérateurs de points fixes Problèmes de conception classiques OpenMP Méthodes d’optimisations Deep learning Static Temps de calculs Processus Partition d’un entier Contour Analyse Syntaxique Déterminisation d’automates Parcours en profondeur Encapsulation Ouverture de fichier Frama-c Patterns structurels Équilibrage des charges Méthode d’apprentissage Input/Output Réduction polynomiale Ordonnancement dans un ordinateur interactif Voyageur de commerce Modèle client - serveur Analyse Cocke-Younger-Kasami Propriétés de clotures des automates finis Composantes fortement connexes Contradiction (\(\bot\))Héritage Changer l’offset d’un fichier Paradigme des tâches Classifieur ML (Maximum likelihood)Design patterns Théorème de Cook-Levin Processus et threads Programmation dynamique (Held-Karp)API REST (page Wikipedia)Propriété du préfixe valide Expression rationnelle vers AF (suite)Plus court chemin Incomplétude de la logique minimale Conception Processus Architecture des ordinateurs à mémoire commune Malédiction de la dimensionnalité Calculabilité Hoare monitors Approximation Maven documentation Grammaire attribuée Lemme de l’étoile Algorithme de Ford (Bellman-Ford)Logique propositionnelle Pipes (tubes)Mémoire cache Analyse en composantes indépendantes Gestion de la mémoire Minimum Spanning Tree Équivalence structurelle des TypeExpr Calcul de résiduels Le tiers exclus Interface avec méthode par défaut Signaux Parallélisme de données Arbres de décision et classification Pagination de la mémoire Navigation Algorithme de minimisation de Moore Réseaux Limite de la logique propositionnelle Enumération Signaux Calculer sur des cartes graphiques avec OpenCL A-star Des grammaires algébriques à la combinatoire Couplage Quantificateur universel \(\forall\)Threads Decorator Techniques Algorithmiques et Programmation Projet de Développement Logiciel Informatique et Société Compilation Modèles de la Programmation et du Calcul Algorithme des graphes Logique et Preuves Programmation Orientée Objet Projet Communication Transdisciplinaire - Sensibilisation à l’écologie et à l’impact du numérique Programmation Système Conception formelle Architecture logicielle Programmation des architectures parallèles Analyse, Classification, Indexation de données Intelligence artificielle Approche objet Calculabilité et complexité Système d’exploitation Licence Proxy SOLID design

Retour

Conception formelle

Site web du cours

Introduction, méthodes formelles

Logique avec points fixes

Modèles avec FramaC