Informations pratiques sur cette ressource

Description de la ressource pédagogique

Description (résumé)

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.

• Granularité : cours
• Structure : linéaire

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

• Logique mathématique (Logique symbolique) (511.3)
• Logique (contrefactuels, logique des questions, modalité, négation, propositions, raisonnement, science du raisonnement, tables de vérité, vérité) (160)

Thème(s)