Examen du cours de L3: Calculabilit´e

(Ind: on pourra ou bien g´en´eraliser la propri´et´e en s’inspirant de la preuve de compl´etude de R´esolution+factorisation+tiers exclu+affaiblissement (noter que l’on n’a

L’objectif de la question est de montrer que ψ ∧ A eq est satisfaisable si et seulement si elle a un mod`ele fini (de cardinal au plus le nombre de quantificateurs dans ψ)..

(Ind: on pourra consid´ erer une interpr´ etation non standard de ∨ pour laquelle les nouvelles r` egles sont correctes et P ∨ Q n’est pas cons´ equence logique de P ). [3 points,

Donner, dans chacun des cas suivants un exemple de th´eorie du premier ordre T coh´erente satisfaisant la propri´et´e souhait´ee... Montrer que toute extension de E est ou

Donner, dans chacun des cas suivants un exemple de th´ eorie du premier ordre T coh´ erente satisfaisant la propri´ et´ e souhait´ ee.. Montrer que T est

Si l’on ajoute ` a l’arithm´etique de Peano PA un axiome qui ´enonce la propre coh´erence de PA, on obtient une th´eorie incoh´erente ou incompl`ete.. [7 points,

Enfin, et c’est le seul endroit o` u c’est n´ ecessaire dans cet examen, il faut utiliser la machine universelle puisqu’ici < M > est une donn´ ee dela machine que

En effet, il s’agit d’une propri´ et´ e des langages r´ ecursivement ´ enum´ erables et elle est satisfaite par la machine qui accepte le mot vide et aucun autre mot et n’est