INF 424 Logique
Forfatter:
Yannis Haralambous
Sidst opdateret:
9 år siden
Licens:
Creative Commons CC BY 4.0
Resumé:
Ceci est le polycopié de cours du module INF424, qui fait partie la majeure Informatique de la formation d'ingénieurs de Télécom Bretagne ainsi que du Master of Science CSDS (Computer Science & Decision Systems). Il comporte trois parties :
- Logique du premier ordre, : systèmes formels, théorie des modèles, satisfaisabilité, normalisation, résolution.
- Logiques de description, et en particulier SROIQ.
- Sémantique et vérification des langages de programmation.
\begin
Opdag hvorfor 18 millioner mennesker verden rundt stoler på Overleaf med deres arbejde.