Révisions
Corrigés d'examens, guides de TP et fiches de cours rédigés à partir des documents de la bibliothèque.
1370 révisions
- Fiche de cours
Compilation, Linking, and Library Construction in C
Ce document présente les différentes étapes de la compilation d'un programme en langage C, ainsi que la construction et l'utilisation des bibliothèques statiques et partagées. Il s'adresse aux étudiants et développeurs souhaitant comprendre le processus complet menant à la création d'un exécutable, ainsi que la gestion des bibliothèques dans un environnement Linux avec l'outil gcc.
Computer Science
- Guide de TP
La technologie Ethernet
Ce laboratoire présente la technologie Ethernet, ses caractéristiques, ses supports physiques, ses topologies, ses méthodes d’accès, ainsi que le matériel et le câblage associés. Il permet de comprendre les principes fondamentaux d’Ethernet, les normes IEEE 802.3, et les règles d’exploitation d’un réseau Ethernet.
Computer Networking · SupCom · 1976
- Explication
Rapport de Stage d’Immersion en Entreprise
Ce document traite du développement d’une application web destinée à la supervision des réseaux informatiques, en s’appuyant sur le protocole standard SNMP. Il s’adresse principalement aux étudiants et professionnels en informatique, réseaux et télécommunications, souhaitant comprendre les bases de la gestion de réseau et la conception d’outils de supervision adaptés aux infrastructures modernes.
Web-based Application Development, Network Supervision · 2007
- Explication
Thèse : Développement logiciel mobile Android et géolocalisation
Le développement logiciel mobile, particulièrement sous Android, est un domaine en pleine expansion qui combine programmation, systèmes embarqués et technologies de géolocalisation.
Programming, Math, etc. · 2010
- Guide de TP
La technologie Ethernet
Ce laboratoire présente la technologie Ethernet, ses caractéristiques, ses supports physiques, ses topologies, ses méthodes d’accès, ainsi que le matériel et le câblage associés. Il permet de comprendre le fonctionnement des réseaux locaux Ethernet, leur normalisation, l’adressage, la gestion des collisions, et les équipements utilisés.
Computer Networks · SupCom · 1976
- Explication
Application Web SNMP pour supervision réseau : développement et implémentation
La supervision des réseaux informatiques est un domaine crucial pour assurer la continuité et la performance des infrastructures numériques des entreprises et administrations. Ce travail s’adresse aux étudiants et professionnels en informatique réseau, particulièrement ceux intéressés par la gestion et la surveillance des équipements réseaux via des protocoles standards.
Web Application Development, Network Supervision · 2007
- Explication
Rapport de Stage d’Immersion en Entreprise
Ce rapport de stage s’inscrit dans le domaine de l’administration et de la supervision des réseaux informatiques. Il s’adresse principalement aux étudiants, ingénieurs débutants ou toute personne souhaitant comprendre comment concevoir et réaliser une application web dédiée à la supervision des réseaux, en s’appuyant sur le protocole standard SNMP.
Conception et réalisation d’une application web-based pour la supervision des réseaux · 2007
- Fiche de cours
La méthode de résolution de Robinson
Ce document présente la méthode de résolution de Robinson, une technique fondamentale en logique mathématique destinée aux étudiants en informatique et mathématiques. Cette méthode permet de démontrer la validité ou l'insatisfiabilité de formules logiques, notamment dans le cadre des preuves automatiques et de la programmation logique.
Logique mathématique, Programmation logique · 1965
- Fiche de cours
Programming Paradigms and Lisp Language
Ce document présente les paradigmes de programmation, avec un focus particulier sur le langage Lisp. Il s’adresse aux étudiants en informatique souhaitant comprendre la programmation fonctionnelle, maîtriser les primitives de Lisp, écrire des fonctions récursives, et appliquer Lisp dans des contextes d’intelligence artificielle.
Programming, Functional Programming, AI · 1967
- Fiche de cours
Recherche opérationnelle et applications
Ce document présente les concepts fondamentaux de la recherche opérationnelle, ses techniques principales, ainsi que des applications concrètes en programmation linéaire et en optimisation combinatoire. Il s’adresse aux étudiants et professionnels souhaitant comprendre et appliquer les méthodes d’aide à la décision basées sur des modèles mathématiques.
Recherche opérationnelle, Optimisation, Mathématiques · 2012
- Fiche de cours
Cours 7
Ce cours s'adresse aux étudiants en informatique ou en programmation souhaitant approfondir leur compréhension des listes d'association en Common Lisp, ainsi que la définition et la gestion des fonctions, notamment la gestion avancée des paramètres.
Programming, Math, etc.
- Fiche de cours
Programming Paradigms
Ce document présente les principaux paradigmes de programmation ainsi qu'une introduction détaillée au langage LISP, un langage historique et fondamental en intelligence artificielle.
Programming, Computer Science · 1967
- Fiche de cours
Paradigmes de programmation et Lisp pour IA
Ce matériel couvre les paradigmes de programmation, avec un focus particulier sur le langage Lisp et son utilisation en intelligence artificielle (IA). Il s'adresse aux étudiants en informatique souhaitant comprendre la programmation fonctionnelle, maîtriser Lisp, et appliquer ce langage dans des contextes d'IA.
Programming, Math, etc. · 1967
- Fiche de cours
Logique formelle
Ce matériel couvre les fondements du calcul des propositions en logique formelle, destiné aux étudiants en informatique, mathématiques ou disciplines connexes. Il présente la syntaxe et la sémantique du langage propositionnel, les notions de validité, satisfiabilité, équivalence, ainsi que les formes normales et les systèmes complets de connecteurs.
Mathematics, Logic
- Fiche de cours
Logique Mathématique
Ce matériel couvre les notions fondamentales de la logique mathématique, en particulier la décidabilité, les systèmes formels, leur application au calcul des prédicats, ainsi que le théorème d’incomplétude de Gödel. Il s’adresse aux étudiants en mathématiques, informatique théorique ou logique, souhaitant comprendre les bases formelles de la démonstration et de la calculabilité.
Mathematical Logic, Computability · 1980
- Fiche de cours
Techniques de compilation
Ce document couvre les techniques fondamentales de compilation destinées aux étudiants en informatique. Il présente les concepts clés liés à la théorie des langages, à l’analyse syntaxique, sémantique, ainsi qu’à la génération de code intermédiaire et machine. Il s’adresse à ceux qui souhaitent comprendre le fonctionnement interne des compilateurs et leur construction.
Programming, Compiler Theory · 2012
- Fiche de cours
Les Interfaces d'Entrées/Sorties
Ce matériel couvre les interfaces d’entrées/sorties (E/S) en microprocesseur, leurs modes d’adressage, les instructions associées, ainsi que deux interfaces spécifiques : l’interface parallèle 8255 et le timer programmable 8253. Il s’adresse aux étudiants en informatique, électronique ou automatisme souhaitant comprendre la communication entre microprocesseur et périphériques.
Programmation, Microprocesseurs
- Fiche de cours
Architecture de Base
Ce document présente les notions fondamentales de l'architecture des systèmes informatiques basés sur le modèle de Von Neumann. Il s'adresse aux étudiants en informatique ou en électronique souhaitant comprendre la structure et le fonctionnement des microprocesseurs et des composants associés.
Architecture des ordinateurs, Microprocesseurs · 1946
- Fiche de cours
Les Mémoires
Ce document présente les mémoires à semi-conducteur, en particulier les mémoires mortes et vives, leur organisation, leur fonctionnement, ainsi que le décodage d’adresse dans les systèmes à microprocesseurs. Il s’adresse aux étudiants en informatique et électronique souhaitant comprendre les principes fondamentaux des mémoires utilisées dans les architectures informatiques.
Electronics, Computer Architecture
- Fiche de cours
Le Microprocesseur Intel 8086
Ce document présente une étude détaillée du microprocesseur Intel 8086, destiné aux étudiants en informatique et électronique souhaitant comprendre son architecture, ses signaux, son organisation interne et sa gestion de la mémoire. Il s'agit d'un matériel de référence pour l'apprentissage des microprocesseurs 16 bits et de la programmation bas niveau.
Microprocessors, Computer Architecture · 1978
- Fiche de cours
Calculs de complexité d'algorithmes
Ce document présente les notions fondamentales sur le calcul de la complexité des algorithmes, destiné aux étudiants en informatique ou mathématiques souhaitant comprendre comment évaluer l'efficacité des algorithmes en termes de temps et d'espace.
Programming, Math
- Fiche de cours
Stratégies et gestion des approvisionnements industriels et commerciaux
Ce document présente les notions fondamentales relatives à la fonction approvisionnement dans les entreprises industrielles et commerciales. Il s’adresse aux étudiants et professionnels souhaitant comprendre les processus, l’organisation et les stratégies liées à la gestion des achats et des stocks.
Approvisionnement, Gestion des achats, Stocks · 1992
- Fiche de cours
De UML vers Java
Ce document présente la traduction des concepts UML en code Java. Il s’adresse aux étudiants et développeurs souhaitant comprendre comment passer d’un modèle UML à une implémentation Java, en couvrant les classes, attributs, méthodes et associations. Traduction des classes Chaque classe UML devient par défaut un fichier .java contenant la définition de la classe en Java.
Programming, UML, Java · 2013
- Guide de TP
Partage d’une connexion en utilisant SQUID & IPTABLES
Ce TP permet de découvrir et de mettre en œuvre le partage d’une connexion Internet à l’aide du serveur proxy SQUID et du firewall logiciel IPTABLES. Il enseigne la configuration d’un proxy cache, l’authentification, le filtrage, la mise en place d’un proxy transparent, ainsi que la gestion des règles de translation d’adresses et de filtrage réseau avec IPTABLES.
Réseaux, Sécurité, Administration système