English Logic of graphs Cited by user David Eppstein on 07 Nov 2023 In the mathematical fields of graph theory and finite model theory, the logic of graphs deals with formal specifications of graph properties using sentences of…
French Fragment (logique) Cited by user HeMath on 09 Mar 2023 En logique mathématique, un fragment d'un langage ou d'une théorie logique est un sous-ensemble de ce langage obtenu en lui imposant des restrictions syntaxiques.
French Théorème de Trakhtenbrot Cited by user Fschwarzentruber on 08 Jan 2019 En logique mathématique, le théorème de Trakhtenbrot dit que le problème de validité d'une formule de la logique du premier ordre sur la classe des modèles finis est indéc…
Persian بستار تعدی Cited by user Mahdi1376my on 29 Jun 2016 در ریاضیات بستار تعدی یک رابطه دوتایی R در مجموعه X، کوچکترین رابطه از X، شامل R که متعدی باشد.