60 résultats : Logique

Recherche en cours

Par mots-clef = Logique

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

60 résultats

page 1 sur 6

résultats 1 à 10

Computer security (série : Colloquium Jacques Morgenstern)

Description : Butler Lampson, one of the pioneers in computer security, once wrote: "What people want from computer security is to be as secure with computers as they are in the real world". Increasingly, however, the "real world" is full of interconnected computers in critical roles. Accordingly, computer s ...

Mots clés : fuscia, conférence, recherche, STIC, protocole de sécurité, confidentialité, intégrité, disponibilité, authentification, communication, spam, clé, cryptage, attaque, pi calcul, analyse formelle, mémoire, puissance de calcul, cache, contrôle d'accès, Binder, logique, base de données, intégration, ...

Date : 18-03-2003

Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)

Computer security (série : Colloquium Jacques Morgenstern)

Ajouter à mon panier

Accéder au document

Suites réelles : animations

Description : Animations sur les suites réelles sur les thèmes suivants: sommes des termes d'une suite géométrique, somme des termes d'une suite arithmétique, suites de réels monotones bornées, suite logique.

Mots clés : suite réelle, suite géométrique, suite arithmétique, suite de réels, suite logique

Date : 2014

Droits : Licence creative commons de type 3:http://creativecommons.org/licenses/by-nc-sa/3.0/deed.fr - pour plus d'information contacter l'auteur

Suites réelles : animations

Ajouter à mon panier

Accéder au document

Preuves de programmes en coq

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

Mots clés : Coq, assistant de preuve, programmation fonctionnelle sûre, preuve de programme, logique mathématique, méthode formelle, calcul des constructions, correction de logiciel, algorithmique certifiée, théorie des types, logiciel libre, récursion, fuscia

Date : 21-09-2012

Droits : Ces ressources de cours sont la copropriété, à parts égales, d’UNIT et de l'Inria et relèvent de la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf

Preuves de programmes en coq

Ajouter à mon panier

Accéder au document

Exercice 1 (Logique, ensembles, raisonnements) [00108]

Description : Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.fr Logique, implication, équivalence. Bonus (à 1'43'') : syllogisme, Aristote, Ionesco.

Mots clés : implication, équivalence, logique

Date : 03-11-2010

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

Exercice 1 (Logique, ensembles, raisonnements) [00108]

Ajouter à mon panier

Accéder aux documents

Exercice 2 (Logique, ensembles, raisonnements) [00106]

Description : Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.fr Phrase logique, "pour tout", "il existe", négation. Bonus (à 3'34'') : quantificateurs, "pour tout", "il existe". Erreur ! A 3'48'', c'est ? au lieu de A !

Mots clés : négation, phrase logique

Date : 03-11-2011

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

Exercice 2 (Logique, ensembles, raisonnements) [00106]

Ajouter à mon panier

Accéder aux documents

Exercice 3 (Logique, ensembles, raisonnements) [00109]

Description : Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.fr Phrase logique, "pour tout", "il existe", négation. Bonus (à 3'11'') : nombre réel positif plus petit que tout epsilon.

Mots clés : négation, phrase logique

Date : 02-02-2011

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

Exercice 3 (Logique, ensembles, raisonnements) [00109]

Ajouter à mon panier

Accéder aux documents

Exercice 4 (Logique, ensembles, raisonnements) [00110]

Description : Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.fr Phrase logique, "pour tout", "il existe", négation. Bonus (à 1'52'') : négation, "ou", "et". ... (plus d'infos)

Mots clés : négation, phrase logique

Date : 03-11-2010

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

Exercice 4 (Logique, ensembles, raisonnements) [00110]

Ajouter à mon panier

Accéder aux documents

Exercice 5 (Logique, ensembles, raisonnements) [00112]

Mots clés : négation, phrase logique

Date : 14-12-2010

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

Exercice 5 (Logique, ensembles, raisonnements) [00112]

Ajouter à mon panier

Accéder aux documents

Exercice 7 (Logique, ensembles, raisonnements) [00107]

Description : Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.fr Phrase logique, "pour tout", "il existe", négation. Bonus (à 2'30'') : "Trois scientifiques se rendent en train..."

Mots clés : négation, phrase logique

Date : 13-12-2010

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

Exercice 7 (Logique, ensembles, raisonnements) [00107]

Ajouter à mon panier

Accéder aux documents

Exercice 6 (Logique, ensembles, raisonnements) [00120]

Description : Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.fr Phrase logique, quantificateur, "pour tout", "il existe", fonction. Bonus (à 5'55'') : ordre des quantificateurs "pour tout", "il existe".

Mots clés : fonction, phrase logique, quantificateur

Date : 14-12-2010

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

Exercice 6 (Logique, ensembles, raisonnements) [00120]

Ajouter à mon panier

Accéder aux documents

Rebondir