5 résultats : déduction

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
5 résultats
page 1 sur 1
résultats 1 à 5
Canal-U
Description : Ce clip a pour objet d'expliquer la différence entre le résultat comptable et le résultat fiscal et les opérations à effectuer pour passer de l'un à l'autre.
Mots clés : résultat comptable, résultat fiscal, réintégration, déduction, rectifications, extra-comptable
Date : 25-04-2014
Droits : Droits réservés à l'éditeur et aux auteurs. Creative Commons (BY NC)
Canal-U
Description : Cette vidéo a pour but de présenter les conditions de déduction des provisions. Pour être fiscalement déductible, les provisions doivent respecter les conditions de fond  et de forme: la perte ou la charge doit être déductible, probable, nettement précisée, évaluée avec une approximation suffisante ...
Mots clés : déduction, provisions, conditions, relevé spécial provision
Date : 05-12-2014
Droits : Droits réservés à l'éditeur et aux auteurs. Creative Commons (BY NC)
UNIT
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)
UNIT
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)
UNIT
Description : Cours de sensibilisation aux techniques de diagnostic de procédés industriels dans le cadre du contrôle en ligne de systèmes. A partir d'exemples et en s'appuyant sur des connaissances de maintenance industrielle, il est proposé de définir et d’appliquer différentes logiques de diagnostic en ligne. ...
Mots clés : modèles de diagnostic, erreur humaine, diagnostic déductif, diagnostic inductif, diagnostic abductif multi-point de vue, modèle de diagnostic humain, fiabilité d'un système, système homme-machine, maintenance en ligne, sûreté de fonctionnement, analyse de risque, principe de redondance, défaillance, ...
Date : 15-02-2008
Droits : Libre d'accès pour une utilisation non commerciale. Ces ressources sont la propriété, à parts égales, d'UNIT et de l'UVHC. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf