logique formelle oor Esperanto

logique formelle

Sous-ensemble des mathématiques étroitement lié à l'informatique et à la philosophie logique.

Vertalings in die woordeboek Frans - Esperanto

matematika logiko

naamwoord

Sous-ensemble des mathématiques étroitement lié à l'informatique et à la philosophie logique.

voorbeelde

Sa thèse, dirigée par Alonzo Church, s'intitule « A Theory of Positive Integers in Formal Logic » (Une théorie des entiers positifs en logique formelle).
Lia tez-direktoro estis Alonzo Church kaj la titolo de lia tezo estis Teorio de Pozitivaj Entjeroj en Formala Logiko.

Dans la logique, il distingue la logique formelle (qui est une science, i.e. une théorie des démonstrations nécessaires) et la logique pratique (qui est un art de la discussion sur ce qui est probable).
En la branĉo logiko li distingas logikon formalan (kiu estas teorio pri la nepraj demonstroj) kaj lingvaĵon praktikan (kiu estas arto diskuto pri tio kio estas probabla).