# data[].attributes.body
Le document ci-dessous propose une autre version du cours, mais surtout des exercices d'entraînement (qui seront traités en séances de TD) avec indices et solutions.

# data[].attributes.body
Couvre toutes les notions sauf l'équivalence logique et la modélisation, en utilisant des exemples différents.

# data[].attributes.attachment_link.title
Les bases de la logique du premier ordre

# data[].attributes.headline
D1 : Briques syntaxiques de la logique du 1er ordre

# data[].attributes.subject
D1 : Briques syntaxiques de la logique du 1er ordre

# data[].attributes.headline
D10 : Interprétation d'une formule close

# data[].attributes.subject
D10 : Interprétation d'une formule close

# data[].attributes.body
Vous trouverez ici les ressources d'apprentissage des notions et savoir-faire de logique du premier ordre correspondant aux objectifs pédagogiques de la partie D de l'UE programmation logique et fonctionnelle de la L3 informatique de l'université Bourgogne Europe, année 2024-2025.