Syntaxe (logique)

Dans la logique , la syntaxe est un rapport systématique des règles régissant les formules correctement formées (WFFs) de d'un système logique.

Dans le de l'informatique, la syntaxe de de limite est employée pour dénoter le texte littéral quelque chose écrite en langage formel ou langage de programmation de , par opposition à sa sémantique ou signification de .

Voir également

grammaire formelle
Conséquence syntactique
Syntaxe de (linguistique)
Syntaxe de des langages de programmation
Logique mathématique

ogic

Random links: