Informations pratiques sur cette ressource

Description de la ressource pédagogique

Description (résumé)

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.

• 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)