Ressource en auto-formation : Introduction à la logique

Ce cours a pour but d'introduire la notion de logique en programmation. Voici les notions abordées : * définition de la logique, * calcul des propositions (si ... et ... alors...), * les preuves, * le calcul des prédicats, * la logique intuitionniste * le lambda-calcul. ...
cours / présentation - Création : 01-09-2009
Par : Loïc Pottier
Partagez !

Présentation de: Introduction à la logique

Informations pratiques sur cette ressource

Langue du document : Français
Type : cours / présentation
Niveau : enseignement supérieur, licence
Langues : Français
Contenu : texte, image
Public(s) cible(s) : apprenant
Document : Document HTML
Age attendu : 18+
Droits d'auteur : libre de droits, gratuit
Ressource en accès libre.

Description de la ressource en auto-formation

Résumé

Ce cours a pour but d'introduire la notion de logique en programmation. Voici les notions abordées : * définition de la logique, * calcul des propositions (si ... et ... alors...), * les preuves, * le calcul des prédicats, * la logique intuitionniste * le lambda-calcul.

  • Granularité : leçon
  • Structure : atomique

"Domaine(s)" et indice(s) Dewey

  • Mathematical logic (Symbolic logic) (511.3)
  • Numerical methods in algebra, arithmetic, number theory (518.4 )

Domaine(s)

Informations pédagogiques

  • Activité induite : s'informer

Intervenants, édition et diffusion

Intervenants

Créateur(s) de la métadonnée : Julia Soyez
Validateur(s) de la métadonnée : Sylvain Duranton sduranton

Édition

  • Université de Nice

Diffusion

Partagez !

AUTEUR(S)

  • Loïc Pottier
    Polytech Nice Sophia, Université de Nice

DIFFUSION

Cette ressource en auto-formation vous est proposée par :
UNIT - accédez au site internet
Sur les réseaux sociaux :

ÉDITION

Université de Nice

EN SAVOIR PLUS

  • Identifiant de la fiche
    http://ori.unit-c.fr/uid/unit-ori-wf-1-3949
  • Identifiant OAI-PMH
    oai:www.unit.eu:unit-ori-wf-1-3949
  • Schéma de la métadonnée
  • Entrepôt d'origine
    UNIT
  • Publication
    01-09-2009

Ressources en auto-formation sur les mêmes thèmes

Présentation de la ressource en auto-formation Du rêve à la réalité des preuves cours / présentation, démonstration
08/06/2012
Du rêve à la réalité des preuves
Auteur(s) : Delahaye Jean-Paul
Description : Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens.
Présentation de la ressource en auto-formation Variabilité, limite, stabilité en informatique cours / présentation, démonstration
07/09/2007
Variabilité, limite, stabilité en informatique
Auteur(s) : Ridoux Olivier
Description : Variabilité, limite, stabilité : en informatique, il y a plusieurs façons de donner du sens à ces termes, que l’on considère les technologies, la programmation, ou la théorie du calcul. Quelques pistes de réflexion...