Rechercher une ressource pédagogique : quantificateurs

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

25 résultats
section 1 sur 3
résultats 1 à 10
UNISCIEL (unisciel)
UNISCIEL (unisciel)
01.07.2012
Base raisonnée d'exercices de mathématiques : Langage et raisonnement
Description : BRAISE est centré sur la résolution de problèmes : il propose un choix raisonné d’exercices. Tout le contenu d’un cours sur le sujet est présent, mais il est réorganisé en lien étroit avec les exercices pour permettre une meilleure maîtrise des connaissances. Chaque exercice est ...
  • démonstration
  • raisonnement par récurrence
  • raisonnement par l'absurde
  • quantificateurs
  • implication
  • contraposée
  • équivalence
  • structure d'une démonstration
  • formaliser un énoncé mathématique
  • existence
  • unicité
  • contre-exemple
UNISCIEL (unisciel)
UNISCIEL (unisciel)
29.06.2012
Comment convertir un signal analogique en signal numérique au laboratoire
Description : Cet article détaille de façon expérimentale les étapes qui permettent la conversion analogique numérique au laboratoire. Dans la première partie de l'article, on explique le fonctionnement du convertisseur qui reçoit en entrée un signal analogique continu pour le convertir en sortie en un signal ...
  • numérique
  • conversion
  • analogique
  • quantification
  • convertisseur
  • experience
  • critere de Shannon
  • échantillonneur-bloqueur
  • bit
  • echantillonnage
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
UNIT
UNIT
15.10.2007
Filtrage d'images : Fondamentaux. (Optique Pour l'Ingénieur : Imagerie)
Description : Attributs d'une image. Signaux et systèmes bidimensionnels discrets. Filtrage spatial. Echantillonnage et quantification. Filtres numériques d'images.
  • image
  • filtrage numérique
  • transformée de Fourier 2d
  • quantification
  • échantillonnage
  • OPI
  • Optique Pour l'Ingénieur
UNIT
UNIT
27.07.2005
Fondements des télécommunications
Description : Cours d'introduction aux télécommunications : aspects théoriques , systèmes de transmission et introduction des réseaux. Les aspects suivants sont abordés : la théorie des transmissions numériques, les systèmes de communication par câble, fibre optique et radio et pour finir une introduction aux ...
  • télécommunication
  • réseau
  • modèle OSI
  • transmission des informations
  • technique de multiplexage
  • dégradation du signal
  • distorsion
  • bruit
  • modulation
  • numérisation du signal analogique
  • échantillonnage faisceaux hertziens
  • quantification
  • transmission numérique
  • propagation sur câbl ...
UNIT
UNIT
03.03.2010
Image filtering : Fundamentals. (Optique Pour l'Ingénieur : Imagerie)
Description : Image attributes. Discrete bidimensional signals and systems. Spatial filtering. Sampling and quantization. Digital image filters.
  • image
  • filtrage numérique
  • transformée de Fourier 2d
  • quantification
  • échantillonnage
  • OPI
  • Optique Pour l'Ingénieur
UNIT
UNIT
10.01.2020
Interprétation : variables et quantificateurs
Description : Ce cours est la cinquième et dernière séquence d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il étend les notions présentées dans le troisième cours en présentant les schémas d'interprétation d'un langage logique avec variables et ...
  • interprétation d'un langage logique avec variables
  • règle d'introduction du quantificateur
  • interprétation des termes
  • schéma d'interprétation des formules
  • formule valide
  • relation de conséquences
UNIT
UNIT
06.02.2006
Introduction aux systèmes de communication d'images
Description : Présentation du traitement des images numériques. Les différents domaines d'applications et des exemples concrets sont présentés. Le cours traite les points suivants : présentation du traitement d'images, exemples d'applications en traitement d'images, prise en main du logiciel Matlab (exemples ...
  • traitement des images
  • image numérique
  • image couleur
  • système RVB
  • numérisation d'un signal
  • codage
  • échantillonnage
  • quantification
  • acquisition
  • MATLAB
UNISCIEL (unisciel)
UNISCIEL (unisciel)
01.01.2013
L1 : Logique et raisonnements
Description : Pour utiliser le dispositif, vous devez créer votre compte sur la plate-forme et vous inscrire gratuitement au cours. Apprendre à bien rédiger un raisonnement mathématique comporte des aspects qui s'apparentent à l'apprentissage d'une nouvelle langue. Il s'agit en quelque sorte d'apprendre une ...
  • logique
  • déduction
  • démonstration
  • quantificateurs
  • langage des ensembles
  • grands principes de raisonnements
UNISCIEL (unisciel)
UNISCIEL (unisciel)
01.01.2014
L2 : Spectroscopies infra-rouge
Description : Pour utiliser le dispositif, vous devez créer votre compte sur la plate-forme et vous inscrire gratuitement au cours. Ce cours de 5 semaines est destiné aux étudiants de L2 chimie. Il reprend les grands principes de raisonnement utilisés en spectroscopie infrarouge. Les fonctions chimiques sont ...
  • logique
  • déduction
  • démonstration
  • quantificateurs
  • langage des ensembles
  • grands principes de raisonnements