| |
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Règles de déduction sur les connecteurs
[Ressource pédagogique]
Date de publication :
20200110 |
Auteur(s) :
JAUME Mathieu, Mounier Isabelle |
Editeur(s) :
Sorbonne Université, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Ce cours est le deuxiè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 un ensemble de règles de déduction sur les connecteurs logiques permettant de prouver des formules...
Référencé le :
02-09-2020
|
|
Preuves de programmes en coq
[Ressource pédagogique]
Date de publication :
20120921 |
Auteur(s) :
Bertot Yves |
Editeur(s) :
Inria, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Le système Coq fournit un langage de programmation symbolique et un cadre logique pour raisonner sur les algorithmes décrits. Dans ce cours, nous décrivons les points clefs du langage de programmation, basé sur la programmation fonctionnelle, et du cadre logique de vérification, basé sur la logique d'ordre supérieur. Tous ces aspects reposent sur l'utilisation avancée de la notion de typage et sur...
Référencé le :
05-06-2018
|
|
La vérité : conclusion / Olivier Guerrier
[Ressource pédagogique]
Date de publication :
20130404 |
Auteur(s) :
GUERRIER Olivier |
Editeur(s) :
Université Toulouse II-Le Mirail, SCPAM Université Toulouse II-Le Mirail, BOUHARAOUA Samir |
Origine de la fiche :
Canal-u.fr
La vérité : conclusion / Olivier Guerrier. In "La vérité", Journées Scientifiques annuelles de l'Institut Universitaire de France, organisées par le Pôle de recherche et d'enseignement supérieur (PRES) de Toulouse, l'Université Toulouse II-Le Mirail et l'Institut Universitaire de France. Toulouse : Hôtel-Dieu, 2-4 avril 2013.
Miracle au SertãoSite dédié au film APAEB ValenteAssocia...
Référencé le :
16-03-2015
|
|
La vérité : ouverture et introduction / Marie-France Barthet, Marie-Claude Maurel, Olivier Guerrier
[Ressource pédagogique]
Date de publication :
20130402 |
Auteur(s) :
BARTHET Marie-France, MAUREL Marie-Claude, GUERRIER Olivier |
Editeur(s) :
Université Toulouse II-Le Mirail, SCPAM Université Toulouse II-Le Mirail, BOUHARAOUA Samir |
Origine de la fiche :
Canal-u.fr
La vérité : ouverture et introduction / Marie-France Barthet, Marie-Claude Maurel, Olivier Guerrier. In "La Vérité", Journées Scientifiques annuelles de l'Institut Universitaire de France, organisées par le Pôle de recherche et d'enseignement supérieur (PRES) de Toulouse, l'Université Toulouse II-Le Mirail et l'Institut Universitaire de France. Toulouse : Hôtel-Dieu, 2-4 avril 2013.
Définir la vér...
Référencé le :
16-03-2015
|
|
Les dynamiques d'introduction et de réception des recommandations en médecine
[Ressource pédagogique]
Date de publication :
20091030 |
Auteur(s) :
CASTEL Patrick, LEVILAIN Hervé, MAGRO Raymond |
Editeur(s) :
UMVF - Université Médicale Virtuelle Francophone, Université Paul Verlaine - Metz (UPV-M), ROCHETTE Claude |
Origine de la fiche :
Canal-u.fr
Deuxième volet de la collection « Les formes de la médecine contemporaine ».La situation de la médecine contemporaine apparaît, à bien des égards, paradoxale. Elle occupe en effet une position éminente dans le monde contemporain et se voit amener à prendre en charge un nombre toujours plus grand de problèmes biologiques ou même sociaux. Mais les conditions et modes d'exercice de la médecine se son...
Référencé le :
09-12-2013
|
|
Les nombres et l'ordinateur
[Ressource pédagogique]
Date de publication :
20130605 |
Auteur(s) :
BOLDO Sylvie |
Editeur(s) :
INRIA (Institut national de recherche en informatique et automatique), Académie de Versailles |
Origine de la fiche :
Canal-u.fr
Nous confions à nos ordinateurs de nombreux calculs (météo, simulations
aéronautiques, jeux vidéos, feuilles Excel...) et nous considérons
naturellement que l'ordinateur fournira une réponse juste.
Malheureusement, la machine a ses limites que l'esprit humain n'a pas.
Elle utilise une arithmétique dite flottante qui a ses contraintes.
D'une part chaque calcul est effectué avec un certain no...
Référencé le :
16-10-2013
|
|
Le conflit des créateurs : fictions juridiques et réalités biologiques
[Ressource pédagogique]
Date de publication :
20030115 |
Auteur(s) :
HAUSER Jean |
Editeur(s) :
DCAM - Département Conception et Assistance Multimédia - Université Bordeaux Segalen, DCAM - Département Conception et Assistance Multimédia - Université Bordeaux Segalen, Service Culturel - Université Bordeaux Segalen |
Origine de la fiche :
Canal-u.fr
Science et droit doivent-ils agir de concert ? Les réalités biologiques sont-elles compatibles à un bon usage du droit ? La tension dialectique entre les sciences, plus particulièrement biologiques, et le droit, pose de réelles interrogations. Pour apporter une réponse à ces questionnements, Jean Hauser revient sur les problèmes juridiques qu’ont posés dans les années 70 la nécessité de redéfinir ...
Référencé le :
22-07-2013
|
|
Pourquoi mon ordinateur calcule faux?
[Ressource pédagogique]
Date de publication :
20090616 |
Auteur(s) :
BOLDO Sylvie |
Editeur(s) :
INRIA |
Origine de la fiche :
Canal-U - OAI Archive
Dans cet exposé Sylvie Boldo nous fait prendre conscience de l'importance des bugs en informatique et des conséquences historiques qu'ils ont pu engendrer. Elle se concentre ensuite sur les problèmes liés aux calculs numériques et montre de manière détaillée et constructive comment prendre la mesure des approximations numériques qui s'effectuent lors d'un calcul numérique au sein d'un logiciel. El...
Référencé le :
27-04-2011
|
|
SIFEM 2009 - Comment enseigner la Médecine fondée sur les preuves lors des stages cliniques ?
[Ressource pédagogique]
Date de publication :
20091026 |
Auteur(s) :
LEMARIE Etienne |
Editeur(s) :
Canal-U/Sciences de la Santé et du Sport, Canal-U/Sciences de la Santé et du Sport, CERIMES |
Origine de la fiche :
Canal-U - OAI Archive
Titre : Comment enseigner la Médecine fondée sur les preuves lors des stages cliniques ? L’étudiant en médecine et la médecine fondée sur les preuves.Résumé : Médecine fondée sur les preuves : « Utilisation consciencieuse, explicite et judicieuse de la meilleure preuve pour décider des soins appropriés à un malade donné. Elle associe l'expertise clinique individuelle aux preuves recueillies par un...
Référencé le :
17-11-2010
|
|
|
|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
|
