Rechercher une ressource pédagogique : Logique

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.

FILTRES

63 résultats
section 1 sur 7
résultats 1 à 10
UNISCIEL (unisciel)
UNISCIEL (unisciel)
01.01.2014
Accès à l'enseignement supérieur L0
Description : Pour utiliser le dispositif, vous devez créer votre compte sur la plate-forme et vous inscrire gratuitement au cours. Ce module permet de revenir sur des notions et des compétences qui ont normalement été abordées au lycée dans le cadre des programmes qui préparent au bac S. Il permet également ...
  • logique
  • langage des ensembles
  • suites numériques
  • suites arithmétiques
  • suites géométriques
  • nombres réels
  • nombres complexes
  • fonctions numériques
  • dérivées
  • fonctions exponentielles
  • fonctions logarithmes
  • trigonométrie
  • géométrie du plan analytique
  • barycentre
  • produit scalaire ...
UNISCIEL (uel)
UNISCIEL (uel)
01.01.2000
Applications (Module : Logique et langage des ensembles)
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). ...
  • ensembles
  • logique des ensembles
  • application
  • fonction numérique
IUTenligne
IUTenligne
17.12.2008
Architecture des systèmes informatiques 1 : composants combinatoires
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, ...
  • composants combinatoires
  • logique combinatoire
  • eea
UNIT
UNIT
13.01.2011
Aspects sémantiques et algorithmiques du vivant
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 ...
  • Modélisation biologie
  • biologie de systèmes
  • cycle cellulaire
  • sémantique formelle
  • sémantique des modèles
  • logique temporelle
  • algorithme évolutionnaire
  • recherche paramètres
  • programmation
  • modèle réaction
  • SBML
  • fuscia
UNIT
UNIT
28.10.2008
Calculer / Penser
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.
  • raisonnement
  • logique mathématique
  • algorithme
  • cognition
  • neurosciences
  • fuscia
AUNEGE
AUNEGE
21.12.2017
Ces marchés sans foi ni loi
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"
  • logique de marché
  • marchandisation de la société
  • régulation
  • éthique
UNIT
UNIT
09.07.2010
Circuits et architecture des ordinateurs
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 ...
  • ordinateur
  • codage données
  • représentation données
  • transitor
  • porte logique
  • circuit
  • mémoire
  • micro-processeur
  • instruction
  • programmation
  • pipeline
  • fuscia
AUNEGE
AUNEGE
21.12.2017
Comment ont été fabriquées les idées néo-libérales ?
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.
  • sciences économiques
  • théorie économique
  • néo-libéralisme
  • logique de marché
UNIT
UNIT
18.03.2003
Computer security (série : Colloquium Jacques Morgenstern)
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 ...
  • fuscia
  • conférence
  • recherche
  • STIC
  • protocole de sécurité
  • confidentialité
  • intégrité
  • disponibilité
  • authentification
  • communication
  • spam
  • clé
  • cryptage
  • attaque
  • pi calcul
  • analyse formelle
  • mémoire
  • puissance de calcul
  • cache
  • contrôle d'accès
  • Binder
  • logique
  • base de ...
UNIT
UNIT
10.01.2020
Cours de logique
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 ...
  • langage logique
  • langage formel
  • langage de termes
  • formule atomique
  • quantificateur
  • règle de déduction
  • connecteur
  • interprétation d'une formule
  • expression booléenne