2 résultats : affaiblissement

Recherche en cours

Par mots-clef = affaiblissement

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

2 résultats

page 1 sur 1

résultats 1 à 2

Règles de déduction sur les connecteurs

Description : 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

Mots clés : langage logique, représentation des preuves, axiome, règle d'affaiblissement, connecteur, logique classique, raisonnement par l'absurde

Date : 10-01-2020

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

Règles de déduction sur les connecteurs

Ajouter à mon panier

Accéder au document

Productions UL

Les bilans de la bataille - Cours n°5 - Thème n°3 - MOOC Verdun #1

Description : "Les bilans de la bataille" est le cours n°5 du thème "Verdun, les batailles emboîtées (l'expérience combattante)" du Mooc Verdun #1 "Sur les pas des combattants de Verdun : 1916 - 2016" présenté par Rémy Porte, Lieutenant-colonel, Docteur et HDR en Histoire et Référent "Histoire" pour l'armée de ...

Mots clés : Histoire contemporaine, Verdun, 1ère Guerre mondiale, affaiblissement, évolution du matériel, Général Pétain, symbole national, honneurs, Hindenburg et Luddendorf, Maréchal Joffre, Général Nivelle, Général Mangin

Date : 2016

Droits : CC BY-NC-SA

Les bilans de la bataille - Cours n°5 - Thème n°3 - MOOC Verdun #1

Ajouter à mon panier

Accéder au document

Rebondir