Ressources pédagogiques

Ressources pédagogiques -> Mot(s)-clé
logique

25 ressources ont été trouvées. Voici les résultats 1 à 10

|< << Page précédente 1 2 3 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

Langages logiques

[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 premier 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 aspects syntaxiques des langages logiques

Référencé le :

02-09-2020

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

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

Planifier grâce au bavardage

[Ressource pédagogique]

Date de publication :

20161017 |

Auteur(s) :

Herzig Andreas, Maffre Faustine |

Editeur(s) :

Institut National de Recherche en Informatique et en Automatique / Interstices |

Origine de la fiche :

Université Numérique Ingénierie et Technologie

Parfois il faut se mettre d’accord. À deux c’est déjà difficile, mais alors comment faire quand on est plus nombreux ? On peut tous s’appeler, c’est une bonne occasion de se donner des nouvelles, mais pour éviter tous ces appels, on peut aussi faire appel à la modélisation logique !...

Référencé le :

04-09-2017