78 ressources en auto-formation : Logique

FILTRES

78 résultats
page 1 sur 8
Résultats de 1 à 10
Présentation de la ressource en auto-formation Applications (Module : Logique et langage des ensembles) cours / présentation, exercice, questionnaire, autoévaluation
2000
Applications (Module : Logique et langage des ensembles)
Auteur(s) : Cousquer Eliane, Sacré Carlos
Description : Le but est de généraliser la notion de fonction numérique y=f(x)étudiée au lycée. Nous voulons généraliser cette notion de fonction à des relations entre ensembles. Nous ne parlerons plus alors de fonction, mais plutôt d'application (ou d'application ponctuelle). ...
Présentation de la ressource en auto-formation Architecture des systèmes informatiques 1 : composants combinatoires animation, autres, cours / présentation, évaluation, exercice
17/12/2008
Architecture des systèmes informatiques 1 : composants combinatoires
Auteur(s) : Jacquemin Jean-Louis
Description : Cette ressource développe brièvement les concepts de base de la logique combinatoire puis s'attache à montrer le fonctionnement détaillé des principaux composants. Des applications courantes sont ensuite étudiées. La totalité de la ressource est présentée sous forme d'animations interactives (cours, ...
Présentation de la ressource en auto-formation Aspects sémantiques et algorithmiques du vivant cours / présentation
13/01/2011
Aspects sémantiques et algorithmiques du vivant
Auteur(s) : Fagès François
Description : La transposition des concepts informatiques de programmation et de vérification, à la modélisation et l'analyse des processus biochimiques au sein de la cellule, ouvre un nouveau champ de recherche pour la maîtrise de la complexité et la compréhension des phénomènes en biologie cellulaire. Tandis ...
Présentation de la ressource en auto-formation Calcul Booléen évaluation
Calcul Booléen
Auteur(s) : Guerimand Fabrice
Description : table de vérité, logique.
Présentation de la ressource en auto-formation Calculer / Penser cours / présentation, démonstration
24/11/2008
Calculer / Penser
Auteur(s) : Geffroy Yves, Liarte Aurélien, Viéville Thierry
Description : Comment s’articulent calculer et penser ? Ce sujet - ou l’une de ses déclinaisons - est proposé à la réflexion des élèves de terminale en cours de philosophie.
Présentation de la ressource en auto-formation Ces marchés sans foi ni loi cours / présentation
21/12/2017
Ces marchés sans foi ni loi
Auteur(s) : BENSEBAA Faouzi
Description : Precepta stratégiques a reçu Faouzi Bensebaa, professeur de sciences de gestion à l'université Paris 8, dans le cadre de son ouvrage "Des marchés sans foi ni loi"
Présentation de la ressource en auto-formation Circuits et architecture des ordinateurs cours / présentation, exercice
09/07/2010
Circuits et architecture des ordinateurs
Auteur(s) : Carton Olivier
Description : Ce cours présente les éléments constituants l'architecture des ordinateurs et leurs interactions. L'architecture d'un ordinateur se décompose en plusieurs parties : une unité centrale composée d'un microprocesseur, d'une mémoire centrale, d'interfaces d'entrées-sorties, de bus et d'un décodeur d ...
Présentation de la ressource en auto-formation Comment ont été fabriquées les idées néo-libérales ? cours / présentation
21/12/2017
Comment ont été fabriquées les idées néo-libérales ?
Auteur(s) : SALLES DJELIC Marie-Laure
Description : Xerfi Canal TV a reçu Marie-Laure Salles-Djelic, Directrice de l'école du Management et d’Innovation de Sciences Po, pour parler de la place du néo-libéraralisme aujourd'hui.
Présentation de la ressource en auto-formation Computer security (série : Colloquium Jacques Morgenstern) cours / présentation
02/06/2009
Computer security (série : Colloquium Jacques Morgenstern)
Auteur(s) : Abadi Martín
Description : Butler Lampson, one of the pioneers in computer security, once wrote: "What people want from computer security is to be as secure with computers as they are in the real world". Increasingly, however, the "real world" is full of interconnected computers in critical roles. Accordingly, computer s ...
Présentation de la ressource en auto-formation Cours de logique cours / présentation, autoévaluation, exercice, liste de références
10/01/2020
Cours de logique
Auteur(s) : JAUME Mathieu, Mounier Isabelle
Description : Ensemble de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Cours 1 : Langages logiques Cours 2 : Règles de déduction sur les connecteurs Cours 3 : Interprétation : fonctions, prédicats et connecteurs Cours 4 : Règles de déduction sur les quantifi ...