27 résultats : quantificateur

Recherche en cours

Par mots-clef = quantificateur

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

27 résultats

page 3 sur 3

résultats 21 à 27

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 ...

Mots clés : langage logique, langage formel, langage de termes, formule atomique, quantificateur, règle de déduction, connecteur, interprétation d'une formule, expression booléenne

Date : 10-01-2020

Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)

Cours de logique

Ajouter à mon panier

Accéder au document

Règles de déduction sur les quantificateurs

Description : Ce cours est le quatrième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente les règles de la déduction naturelle permettant de manipuler des formules contenant des quantificateurs.

Mots clés : système de la déduction naturelle, règle d'introduction du quantificateur, règle d'élimination, quantification universelle, quantification existentielle

Date : 10-01-2020

Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)

Règles de déduction sur les quantificateurs

Ajouter à mon panier

Accéder au document

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 ...

Mots clés : 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

Date : 10-01-2020

Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)

Interprétation : variables et quantificateurs

Ajouter à mon panier

Accéder au document

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 ...

Mots clés : 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âble, fibre optique, ...

Date : 27-07-2005

Droits : Ces ressources sont la copropriété de Telecom Lille I et d'UNIT. Leur utilisation est autorisée dans les limites de la licence CeCILL http://www.cecill.info/licences/Licence_CeCILL_V2-fr.html

Fondements des télécommunications

Ajouter à mon panier

Accéder au document

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.

Mots clés : image, filtrage numérique, transformée de Fourier 2d, quantification, échantillonnage, OPI, Optique Pour l'Ingénieur

Date : 15-10-2007

Droits : Ces ressources sont la copropriété de l'Université du Mans et d'UNIT. Leur utilisation est autorisée dans les limites de la licence GPL Free Documentation http://www.gnu.org/copyleft/fdl.html

Filtrage d'images : Fondamentaux. (Optique Pour l'Ingénieur : Imagerie)

Ajouter à mon panier

Accéder au document

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.

Mots clés : image, filtrage numérique, transformée de Fourier 2d, quantification, échantillonnage, OPI, Optique Pour l'Ingénieur

Date : 03-03-2010

Droits : Cette ressource est la copropriété d'UNIT et de l'Université Le Mans. Elle est libre d'accès dans le cadre de la licence GPL Free Documentation http://www.gnu.org/copyleft/fdl.html ou une licence française équivalente.

Image filtering : Fundamentals. (Optique Pour l'Ingénieur : Imagerie)

Ajouter à mon panier

Accéder au document

DIU d'échocardiographie - L'exploration échocardiographie de l'insuffisance aortique

Description : Dans le cadre du DIU d'Echocardiographie du Nord-Est, le Docteur Christine SELTON-SUTY vous présente son cours sur l'insuffisance aortique. Sont évoqués le diagnostic positif avec le Doppler, les atteintes de signaux aortiques, les fuites aortiques, et les autres techniques d'exploration. ...

Mots clés : quantification, DIU d'échocardiographie, échocardiographie, doppler, diagnostic positif, flux régurgitant, fuite aortique, insuffisance aortique

Date : 10-03-2006

Droits : Droits réservés à l'éditeur et aux auteurs.

DIU d'échocardiographie - L'exploration échocardiographie de l'insuffisance aortique

Ajouter à mon panier

Accéder aux documents

Rebondir