| |
|<
<< Page précédente
1
2
3
4
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
|
Interprétation : variables et quantificateurs
[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 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 quantificateurs du premier ordre et définit l'ensemble des formules valides de ce langage....
Référencé le :
02-09-2020
|
|
Interprétation : fonctions, prédicats et 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 troisiè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 le schéma d'interprétation des formules logiques sans variables à partir de la signification donnée aux symboles de fonctions et de prédicats, ainsi qu'aux connecteurs logiques....
Référencé le :
02-09-2020
|
|
Cours de logique
[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
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 quantificateurs
Cours 5 : Interprétation : variables et quantificateurs...
Référencé le :
02-09-2020
|
|
Notes de cours sur l'égalisation aveugle
[Ressource pédagogique]
Date de publication :
20040105 |
Auteur(s) :
Le Roux Joël |
Editeur(s) :
Université de Nice |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
L'égalisation permet dans un système de transmission de compenser les déformations du signal.
Les approches d'égalisation explicitées dans ce document portent sur les statistiques supérieur d'ordre deux, trois et quatre ainsi que leurs formulations, les méthodes d'identification qui s'y rapportent et l'analyse spectrale du signal....
Référencé le :
26-11-2018
|
|
Poetry: A Problem for Analytic Philosophy?
[Ressource pédagogique]
Origine de la fiche :
Canal-u.fr
Peter Lamarque, Professor of Philosophy, Department of Philosophy, University of York
Aesthetics and Cognitive Science (ÆCS) : Seminar series, Institut Jean Nicod
Référencé le :
29-11-2016
|
|
3e table ronde : Les « cas éminents » de l’Europe contemporaine
[Ressource pédagogique]
Date de publication :
20160606 |
Auteur(s) :
THIBAUD Paul, LE GOFF Jean-Pierre, SCHNAPPER Dominique |
Editeur(s) :
Direction de l'Image et de l'Audiovisuel de l'EHESS, BLERALD Serge |
Origine de la fiche :
Canal-u.fr
Discutant : Paul Thibaud (ancien directeur d’Esprit)
Jean-Pierre Le Goff (CNRS-Université Paris 1 Panthéon Sorbonne)
« Peut-on encore comprendre mai 68 ? »
Dominique Schnapper (EHESS-CESPRA)
« La chute du mur de Berlin : succès et effets pervers » ...
Référencé le :
19-08-2016
|
|
La distinction entre les contrats de gré à gré et les contrats d'adhésion
[Ressource pédagogique]
Date de publication :
20160726 |
Auteur(s) :
REVET Thierry |
Editeur(s) :
Université Paris I Panthéon-Sorbonne |
Origine de la fiche :
Canal-u.fr
La réforme du droit des contrats introduit dans le droit commun du Code civil une nouvelle classification des contrats, elle distingue les contrats de gré à gré des contrats d’adhésion (nouvel article 1110).
M. Revet, professeur à l’École de droit de la Sorbonne, explique pourquoi cette nouvelle classification pourrait devenir la summa divisio des contrats.
Retrouvez l'intégralité de la présentati...
Référencé le :
26-07-2016
|
|
L'imprévision
[Ressource pédagogique]
Date de publication :
20160726 |
Auteur(s) :
REVET Thierry |
Editeur(s) :
Université Paris I Panthéon-Sorbonne |
Origine de la fiche :
Canal-u.fr
La réforme du droit des contrats brise la très ancienne jurisprudence Canal de Craponne qui résultait d’un arrêt de 1876 et qui rejetait la théorie de l’imprévision. Le Code civil contient désormais, à son nouvel article 1195, un mécanisme de révision du contrat pour imprévision. M. Revet, professeur à l’École de droit de la Sorbonne, présente ce nouveau mécanisme.
Retrouvez l'intégralité de la pr...
Référencé le :
26-07-2016
|
|
La momification en Égypte pharaonique : étude et signification / Philippe Pomar
[Ressource pédagogique]
Date de publication :
20141112 |
Auteur(s) :
POMAR Philippe |
Editeur(s) :
Université Toulouse-Jean Jaurès-campus Mirail, SCPAM / Université Toulouse-Jean Jaurès-campus Mirail, DELPECH Franck |
Origine de la fiche :
Canal-u.fr
La momification en Égypte pharaonique : étude et signification / Philippe Pomar, in "Antiquité et
nouvelles technologies", 1ère partie du séminaire "Le passé au présent : les passeurs du patrimoine. 1 : Conservation, transmission" organisé, sous la responsabilité scientifique de Jean-Yves Laurichesse, par le laboratoire Patrimoine, Littérature, Histoire (PLH) de l'Université Toulouse-Jean Jaurès,...
Référencé le :
05-07-2016
|
|
Traduire les images du Goulag : problème de fidélité et d'opacité / Liuba Jurgenson
[Ressource pédagogique]
Date de publication :
20160325 |
Auteur(s) :
JURGENSON Liuba |
Editeur(s) :
Université Toulouse-Jean Jaurès-campus Mirail, SCPAM / Université Toulouse-Jean Jaurès-campus Mirail, BOUHARAOUA Samir |
Origine de la fiche :
Canal-u.fr
Traduire les images du Goulag : problème de fidélité et d'opacité / Liuba Jurgenson, conférence dans le cadre des journées d'études "Introduction à la traductologie" organisées sous la direction scientifique de Vladimir Beliakov (section de slavistique du département Langues étrangères) et du laboratoire LLA-Creatis de l'Université Toulouse Jean Jaurès, le 25 mars 2016.
Parce qu'il se réfère ...
Référencé le :
05-07-2016
|
|
|
|
|<
<< Page précédente
1
2
3
4
Page suivante >>
>|
|
documents par page
|
