Révisions
Corrigés d'examens, guides de TP et fiches de cours rédigés à partir des documents de la bibliothèque.
453 révisions
- Fiche de cours
Configuration d’un serveur FTP
Ce document présente les notions essentielles pour comprendre et configurer un serveur FTP, en particulier avec le démon vsftpd. Il s'adresse aux étudiants et professionnels en administration système et réseau souhaitant maîtriser le protocole FTP, ses modes de fonctionnement, ainsi que les options de configuration et de sécurité associées à vsftpd.
System and Network Administration
- Fiche de cours
Le Commerce électronique (e-Commerce)
Ce document présente une introduction complète au commerce électronique (e-commerce) destinée aux étudiants et professionnels souhaitant comprendre les enjeux, les structures et les processus liés à la mise en place et à la gestion d’un système de commerce électronique.
E-Commerce and Business Information Systems
- Fiche de cours
Virtualisation sous GNU/Linux
Ce document présente les concepts fondamentaux de la virtualisation sous GNU/Linux, ses intérêts, les différentes techniques employées ainsi que les principaux produits disponibles. Il s’adresse aux étudiants et professionnels souhaitant comprendre les bases et applications de la virtualisation dans un environnement Linux.
Operating Systems and Virtualization · 2003
- Fiche de cours
Séance 6 : La gestion des traces (logs)
Ce document traite de la gestion des traces (logs) sous GNU/Linux, en particulier de la configuration et de l’utilisation du démon syslogd, ainsi que des outils de traitement des journaux. Il s’adresse aux étudiants et administrateurs systèmes souhaitant comprendre et maîtriser la journalisation pour la surveillance et la sécurité des systèmes informatiques.
Information Technology - System Administration · 2000
- Fiche de cours
Caractéristiques générales du système GNU/Linux et des différentes distributions
Ce document présente les caractéristiques générales du système d'exploitation GNU/Linux ainsi que les différentes distributions existantes. Il s'adresse aux étudiants et utilisateurs souhaitant comprendre les bases, l'architecture, les licences, et les commandes fondamentales de GNU/Linux.
Operating Systems · 1991
- 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
- 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
- Fiche de cours
Cours sur les Piles et les Files
Ce cours couvre les structures de données avancées que sont les piles et les files, destinées aux étudiants en informatique. Il présente leurs définitions, modes d’implémentation contigus et chaînés, ainsi que les opérations fondamentales associées. Ce contenu est essentiel pour comprendre la gestion efficace des données en attente de traitement dans divers contextes informatiques.
Computer Science/Data Structures · 2011
- Fiche de cours
Cours Programmation en Langage C : Opérateurs et Expressions
Ce cours s'adresse aux étudiants de première année en informatique et présente les opérateurs et expressions en langage C. Il couvre les opérateurs arithmétiques, relationnels, logiques, d’affectation, ainsi que les conversions de types et quelques fonctions mathématiques prédéfinies.
Computer Science · 2011