- info710 : complements de bases de donnees TD 2 : dependances et recouvrements
- info401 : Programmation fonctionnelle TP 1 : programmes recursifs, listes
- Info502 : Systmes d'exploitation TP3 : ordonnancement de processus
- info803 : informatique TP 3 : Sudoku
- info614 : Mathmatiques concrtes TD 1 : les subtilites de la puissance et des polyn^omes...
- info803 : informatique TP 2 : operations bit `a bit et representation des nombres flottants
- info401 : Programmation fonctionnelle TD 2 : tuples et listes, un peu de filtrage
- info614 : Mathematiques pour l'informatique TD 2 : cryptographie I
- info505 : mathematiques pour l'informatique TD 4 : cryptographie II (cryptographie `a cle publique)
- info710 : complements de bases de donnees TP 3 : requ^etes, suite et fin ; contraintes d'integrite
- From Coherence to Finiteness Spaces Last version: winter 2010
- info301 : Algoritmique TP 1, 2 et 3 : le jeu de UNO
- Travaux Dirigs Informatique Module Systme d'exploitation
- info404 : algorithmes sur les graphes Complement au TD 5 : chemins de co^utx minimaux
- info401 : Programmation fonctionnelle TP 0 : prise en main de Caml
- info401 : Programmation fonctionnelle TP 3 : la suite de Conway
- info223 : Science informatique TD 2 : representation des caract`eres, dates et autres
- info607 : mathematiques pour l'informatique TD 4 : cryptographie 1 (DES, Diffie-Hellman)
- Quoi Informatique et mathematique Exemple Structure Laboratoire de Mathematiques
- info710 : Complements de bases de donnees TD 3 : premi`eres requ^etes en SQL
- info803 : informatique TD 1 : diviser pour r^egner
- info401 : Programmation fonctionnelle TP 2 : arbre et tas, crible d'Eratosthene
- Introduction `a la logique TD 1 : langage et termes
- info401 : Programmation fonctionnelle TP 4 : expressions arithmetiques
- info502 : Syst`emes d'exploitation TD 2 : gestion de la memoire
- info710 : Complements de bases de donnees TD 6 : decompositions et forme normale
- info401 : Programmation fonctionnelle TD 1 : premi`eres expressions en Caml
- info505 : mathematiques pour l'informatique TD 5 : codes correcteurs d'erreurs
- Interaction systems: a replacement for automata? Extended abstract
- info404 : algorithmes sur les graphes Complement de cours : algorithme de Kruskal
- info401 : Programmation fonctionnelle Contr^ole des connaissances 3
- info204 : Science informatique TD 2 : codage et compression
- info710 : Complements de bases de donnees TD 4 : alg`ebre relationnelle
- info710 : complements de bases de donnees TP 2 : interrogation d'une base de donnees
- info502 : Syst`eme d'exploitation TD 1 : ordonnancement de processus
- Introduction `a la logique TD 6 : structures et interpretations (bis)
- info710 : complements de bases de donnees Examen 9 janvier 2007
- TD 4, exercice 3, correction : e) x (A B) (x A) (x B)
- info404 : algorithmes sur les graphes TP 2 : generation de labyrinthes...
- Introduction `a la logique TD 3 : deduction naturelle, logique propositionnelle
- Introduction `a la logique TD 4 : deduction naturelle, calcul des predicats
- Travaux Pratiques Informatique Module Systme d'exploitation
- info710 : complements de bases de donnees TP 4 : creation de tables, contraintes d'integrite, declencheurs
- THE SIZE-CHANGE TERMINATION PRINCIPLE FOR CONSTRUCTOR BASED LANGUAGES
- info223 : Science informatique TD 3 : codage
- info223 : Science informatique TD 3 : cryptographie
- info401 : Programmation fonctionnelle TD 2 : tuples et listes, un peu de filtrage
- info401 : Programmation fonctionnelle TD 3 : types inductifs
- info401 : Programmation fonctionnelle TD 4 : programmes recursifs
- info401 : Programmation fonctionnelle TD 6 : modules et types abstraits, references
- info401 : Programmation fonctionnelle TD 7 : algorithmes gloutons, programmation dynamique
- info401 : Programmation fonctionnelle TP 1 : programmes recursifs, listes
- info401 : Programmation fonctionnelle TP 3 : deux suites (presque) similaires
- info401 : Programmation fonctionnelle Contr^ole des connaissances 1
- info401 : Programmation fonctionnelle Contr^ole des connaissances 2
- info502 : Syst`emes d'exploitation TD 2 : gestion de la memoire
- info614 : Mathematiques pour l'informatique TD 1 : diviser pour regner
- info614 : Mathematiques pour l'informatique TD 2 : codes correcteurs d'erreurs
- info614 : Mathematiques pour l'informatique TD 3 : cryptographie
- Programming Interfaces and Basic Topology Peter Hancock
- A Completeness Theorem for "Total Boolean Functions" Pierre Hyvernat,* pierre.hyvernat@univ-savoie.fr
- UNIVERSITE DE LA MEDITERRANEE, AIX-MARSEILLE 2 U.F.R. DE MATHEMATIQUES
- Predicate Transformers, (co)Monads and Resolutions
- info204 : Science informatique TD 1 : la base 2
- info204 : Science informatique TD 3 : un peu de complexite
- info401 : Programmation fonctionnelle TD 5 : recursion terminale, exceptions
- info401 : Programmation fonctionnelle TD 6 : references
- info401 : Programmation fonctionnelle TP 2 : arbre et tas, crible d'Eratosthene
- info401 : Programmation fonctionnelle TP 5 : rendre de la monnaie, references et modules
- info401 : Programmation fonctionnelle Contr^ole des connaissances 1
- info401 : Programmation fonctionnelle Contr^ole des connaissances 2
- info614 : Mathematiques concr^etes TD 2 : un peu d'arithmetique
- info719 : Rappels et complements de programmation TD 1 : quelques programmes faciles
- info401 : Programmation fonctionnelle TD 1 : premi`eres expressions en Caml
- info401 : Programmation fonctionnelle TD 3 : types inductifs
- info401 : Programmation fonctionnelle TD 4 : modelisation de probl`eme, types inductifs
- info401 : Programmation fonctionnelle TD 5 : exceptions, recursion terminale
- info401 : Programmation fonctionnelle TP 3 : tas, recursion terminale et la suite de Conway
- info401 : Programmation fonctionnelle TP 4 : expressions arithmetiques
- info401 : Programmation fonctionnelle TD 6 : modules et types abstraits, references
- info401 : Programmation fonctionnelle Contr^ole des connaissances 1
- info502 : Syst`eme d'exploitation TD 1 : ordonnancement et processus
- info502 : Syst`eme d'exploitation TD 2 : gestion de la memoire
- info505 : algorithmes de graphes Complement de cours : algorithme de Kruskal
- info710 : Complements de bases de donnees TD 1 : conception de bases de donnees
- info719 : Rappels d'algorithmique et programmation C TD 1 : quelques programmes faciles
- info502 : Syst`eme d'exploitation TD 2 : gestion de la memoire
- info502 : Syst`eme d'exploitation TP 2 : shell, scripts, introduction au C
- info502 : Syst`eme d'exploitation TP 3 : le morpion en memoire partagee
- info505 : mathematiques pour l'informatique TD 1 : complexite
- info505 : mathematiques pour l'informatique TD 3 : un peu d'arithmetique
- info614 : Mathematiques pour l'informatique TD 1 : un peu d'arithmetique
- info710 : Complements de bases de donnees TD 1 : conception de bases de donnees
- info710 : Complements de bases de donnees TD 5 : dependances et recouvrements
- info710 : Complements de bases de donnees TP 3 : gestion d'un catalogue dans une librairie
- info710 : Complements de bases de donnees TP 3 : gestion d'un catalogue dans une librairie, suite
- info404 : algorithmes sur les graphes TD 2 : parcours de graphes...
- info404 : algorithmes sur les graphes TD 3 : parcours de graphes, bis...
- info404 : algorithmes sur les graphes TP 1 : representation des graphes, parcours en largeur et profondeur
- info602 : theorie des graphes et algorithmes sur les graphes TD 4 : arbres couvrants optimaux
- info602 : theorie des graphes et algorithmes sur les graphes TP : representation des graphes, parcours en largeur et profondeur
- Pierre Hyvernat Laboratoire de mathematiques de l'universite de Savoie
- Travaux Dirigs Informatique Module Systme d'exploitation
- Travaux pratiques informatique Module Systme d'exploitation
- Travaux pratiques informatique Module Systme d'exploitation
- Alg`ebre relationnelle : pense-b^ete Def. Une table est specifiee par une liste d'attributs, o`u chaque attribut est un nom pour un
- info710 : complements de bases de donnees TD 1 : alg`ebre relationnelle
- Info710 : complements de bases de donnees Pierre Hyvernat
- info710 : complements de bases de donnees TP 1 : prise en main de PostgreSQL
- info803 : informatique Cours / TD : programmation dynamique
- info803 : informatique Cours / TD : programmation dynamique, algorithmes gloutons
- info803 : informatique TP 1 : introduction au C
- Introduction `a la logique TD 2 : formules
- Introduction `a la logique L3, annee 2005/2006
- Introduction `a la logique TD 7 : mod`eles et arithmetique
- Introduction `a la logique Jeudi 3 juin 2004
- Introduction `a la logique Jeudi 3 juin 2004
- Introduction `a la logique 20 janvier 2005
- Introduction `a la logique 9 janvier 2006
- Introduction `a la logique L3, annee 2005/2006
- info710 : Complements de bases de donnees Pierre Hyvernat
- info710 : Complements de bases de donnees TP 1 : prise en main de PostgreSQL
- info719 : Rappels d'algorithmique et programmation C TD 2 : complexite
- info502 : Syst`emes d'exploitation TD 3 : syst`emes de fichiers
- info614 : Mathematiques pour l'informatique TD 4 : codes correcteurs d'erreurs
- Exercice 3, correction : montrez que la relation ^etre un sous terme de est transitive. Remarque : on note t1 t2 pour t1 ST (t2)
- info401 : Programmation fonctionnelle TP 0 : prise en main de Caml
- info710 : Complements de bases de donnees TD 3 : alg`ebre relationnelle
- info614 : Mathematiques pour l'informatique TD 3 : cryptographie 2 (cryptographie `a cle publique)
- info502 : Syst`eme d'exploitation TP 1 : introduction `a Unix, scripts
- info502 : Syst`emes d'exploitation TD 1 : ordonnancement et processus
- info505 : mathematiques pour l'informatique TD 2 : cryptographie I
- info710 : Complements de bases de donnees TP 1 : prise en main de PostgreSQL
- info502 : Syst`emes d'exploitation TD 3 : syst`emes de fichiers
- info502 : Syst`emes d'exploitation TD 1 : ordonnancement et processus
- info710 : complements de bases de donnees Preservation des dependances, troisi`eme forme normale
- info710 : complements de bases de donnees TD 3 : decompositions et forme normale de Boyce-Codd
- info404 : algorithmes sur les graphes TD 4 : arbres couvrants optimaux
- info607 : mathematiques pour l'informatique TD 2 : approximations asymptotiques, fonction "partie enti`ere"
- info401 : Programmation fonctionnelle TD 5 : recursion terminale, exceptions
- info710 : Complements de bases de donnees TP 2 : creation d'une base utilisable
- Info502 : Systmes d'exploitation TP1 : dcouverte de SOS
- info401 : Programmation fonctionnelle TD 4 : programmes recursives
- info404 : algorithmes sur les graphes TD 1 : graphes et arbres, definitions et representations
- info607 : mathematiques pour l'informatique TD 5 : cryptographie 2 (cryptographie `a cle publique)
- info401 : Programmation fonctionnelle TD 2 : tuples et listes, un peu de filtrage
- info602 : theorie des graphes et algorithmes sur les graphes TD 3 : parcours de graphes, bis...
- info401 : Programmation fonctionnelle TP 1 : programmes recursifs, listes
- info602 : theorie des graphes et algorithmes sur les graphes TD 2 : parcours de graphes...
- info505 : graphes et algorithmes TD 1 : representations et parcours en largeur
- info607 : mathematiques pour l'informatique TD 6 : codes correcteurs d'erreurs
- info505 : graphes et algorithmes TD 1 : representations et parcours en largeur
- info614 : Mathematiques pour l'informatique TD 0 : preliminaires
- info607 : mathematiques pour l'informatique TD 1 : recurrences
- info505 : graphes et algorithmes Complement de cours : parcours en largeur
- info614 : Mathematiques pour l'informatique TD 0 : les subtilites de la puissance et des polyn^omes...
- info401 : Programmation fonctionnelle TD 1 : premi`eres expressions en Caml
- info401 : Programmation fonctionnelle Contr^ole des connaissances 2
- info404 : algorithmes sur les graphes TD 5 : chemin optimaux
- info401 : Programmation fonctionnelle TP 4 : expressions arithmetiques
- info614 : Mathematiques pour l'informatique TD 5 : codes correcteurs d'erreurs, fin
- info223 : Science informatique TD 1 : la base 2, representation des nombres
- Introduction `a la logique TD 5 : structures et interpretations
- info602 : theorie des graphes et algorithmes sur les graphes TD 1 : graphes et arbres, definitions et representations
- info401 : Programmation fonctionnelle TD 7 : modules et types abstraits
- info505 : graphes et algorithmes TD 2 : profondeur, algorithme de Prim...
- info719 : Rappels et complements de programmation TD 2 : complexite
- info614 : Mathematiques pour l'informatique TP : signature electronique et chiffrement avec GPG
- info719 : Rappels d'algorithmique et programmation C TDP 0 : premiers pas en C
- Info502 : Systmes d'exploitation TP2 : gestion de la mmoire
- info607 : mathematiques pour l'informatique TD 3 : un peu d'arithmetique
- A commutative product for sets Pierre Hyvernat
- Predicate transformers and Linear Logic yet another Denotational Model
- Game models and sequential computability John Longley
- Realizability: a short course Chambery, June 2011
- Krivine's Classical Realizability (recall) The Specification Problem
- Reasoning on a semantics of higher-order states using guarded recursion and forcing
- FROM COHERENT TO FINITENESS SPACES PIERRE HYVERNAT
- Some Properties of Inclusions of Multisets and Strictly Increasing Boolean Functions
- Designing proof systems from programming features
- Realizability: a short course John Longley
- Talk on Interactive Realizability -Chambery, June 2011 An Interactive Realizability Semantics
- Realizability: a short course Lecture 3: Realizability and higher type
- Double-glueing and Orthogonality: Refining Models of Linear Logic through Realizability
- info524 : Syst`emes d'exploitation TD 1 : appels syst`eme, ordonnancement et processus
- info528 : Mathematiques pour l'informatique TD 0 : les subtilites de la puissance et des polyn^omes...
- info524 : Syst`emes d'exploitation TD 5 : syst`emes de fichiers
- info524 : Syst`emes d'exploitation TD 6 : syst`emes de fichiers, exemples
- info528 : Mathematiques pour l'informatique TD 2 : codes correcteurs d'erreurs
- info528 : Mathematiques pour l'informatique TD 1 : diviser pour regner
- info524 : Syst`emes d'exploitation TD 2 : ordonnancement et processus, suite
- info524 : Syst`emes d'exploitation TD 3 et 4 : gestion de la memoire
- info528 : Mathematiques pour l'informatique TD 3 : cryptographie
- info421 : Programmation fonctionnelle TD 2 : tuples et listes, un peu de filtrage
- info421 : Programmation fonctionnelle TP 1 : programmes recursifs, listes
- info524 : Syst`emes d'exploitation TD 1 : appels syst`eme, ordonnancement et processus
- info421 : Programmation fonctionnelle TD 3 : types inductifs
- info421 : Programmation fonctionnelle TP 0 : prise en main de Caml
- info524 : Syst`emes d'exploitation TD 2 : ordonnancement et processus, suite
- info223 : Science informatique TD 1 : la base 2, representation des nombres
- info223 : Science informatique TD 3 : codage
- info421 : Programmation fonctionnelle TD 1 : premi`eres expressions en Caml
- info223 : Science informatique TD 2 : representation des caract`eres, dates et autres
- info524 : Syst`emes d'exploitation TD 3 et 4 : gestion de la memoire
- info528 : Mathematiques pour l'informatique TD 0 : les subtilites de la puissance et des polyn^omes...
- info528 : Mathematiques pour l'informatique TD 1 : diviser pour regner
- info528 : Mathematiques pour l'informatique TD 3 : cryptographie
- info528 : Mathematiques pour l'informatique TD 2 : codes correcteurs d'erreurs
- info524 : Syst`emes d'exploitation TD 6 : syst`emes de fichiers, exemples
- info524 : Syst`emes d'exploitation TD 5 : syst`emes de fichiers
