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
Système d’exploitation
Site web du cours
Introduction (interruptions, privilèges)
Processus (espace d’adressage, attributs création, ordonnancement, état)
Ordonnancement des processus
Threads, Race condition, Synchronisation
Hoare monitors
Gestion de la mémoire
Pagination de la mémoire