logique mathématique oor Esperanto

logique mathématique

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.

Le cours d’analyse commence avec les notions fondamentales de la logique mathématique, des techniques de démonstration importantes et la construction des nombres réels et complexes.
Kursoj pri analizo komenciĝas per la fundamentaj konceptoj de matematika logiko, gravaj demonstraj teĥnikoj, kaj la konstruo de realaj kaj kompleksaj nombroj.

logistiko

naamwoord

voorbeelde

Il travaille principalement dans les domaines de logique mathématique, combinatoire et bio-informatique.
Li okupiĝas precipe pri matematika logiko, kombinatoriko, komputilaj sciencoj.

Le cours d’analyse commence avec les notions fondamentales de la logique mathématique, des techniques de démonstration importantes et la construction des nombres réels et complexes.
Kursoj pri analizo komenciĝas per la fundamentaj konceptoj de matematika logiko, gravaj demonstraj teĥnikoj, kaj la konstruo de realaj kaj kompleksaj nombroj.

Les livres de Russell devraient être distingués par deux couleurs : ceux qui traitent de logique mathématique en rouge (et tous les étudiants en philosophie devraient les lire), et ceux qui concernent l'éthique et la politique en bleu (et personne ne devrait être autorisé à les lire).
La libroj de Russell devus esti bindita en du koloroj; tiuj kiuj rilatas al matematika logiko en ruĝa bindaĵo — kaj ĉiuj studentoj de filozofio devus legi ilin; tiuj kiuj rilatas al etiko kaj politiko en blua bindaĵo — kaj neniu devus esti permesata legi ilin.

Parmi les disciplines qui en émergent au terme d'une lente maturation pluriséculaire, la devotio moderna, le designo, la grammaire humaniste, mais aussi la science à commencer par la logique, les mathématiques et la physique.
Inter la disciplinoj elmerĝantaj ĉe la fino de malrapida plurjarcenta maturiĝo: “devotio moderna”, Humanismo, scienco, scienca metodo, inter kiuj logiko, matematiko, Fiziko...

Klieg parle de la "logique Whitehead" en référence aux travaux mathématiques d'Alfred North Whitehead.
Ili pritraktis ĉefe matematikajn problemojn rilatajn al faka verko de Alfred North Whitehead.

Les mathématiques sont comme la logique de la physique.
La matematiko estas kia la logiko de la fiziko.

Mathématiques fondées sur la logique dialectique, qui admettent le mode d’analyse et de solution bidirectionnel ( imag.
dupolusa matematiko — matematiko, baziĝanta sur dialektika logiko kun duflanka analizo kaj solvo (sciencfikciaĵo).

Les mathématiques sont comme la logique de la physique.
Matematiko estas kiel la logiko de fiziko.

Plus que le persan, on utilisait le syriaque dans lequel furent traduits les œuvres de Galien, une grande partie d'Hippocrate, la Logique d'Aristote, des traités d'astronomie, de mathématiques et d'agriculture.
Pli ol la persan oni uzis la sirian, al kiu estis tradukitaj la verkoj de Galien, granda parto de Hipokrato, la Logiko de Aristotelo, kelkaj traktatoj de astronomio, de matematiko kaj de agrikulturo.

Une manière fréquente de démontrer une proposition mathématique est le raisonnement par l'absurde. On part de l'inverse logique de la proposition à démontrer et on le conduit jusqu'à l'absurde.
Ofta maniero por pruvi matematikan propozicion estas la pruvo per absurdo. Por tiu oni eliras de la logika inverso de la pruvenda propozicio kaj kondukas tiun al absurdo.

Sa philosophie des mathématiques préférée était le formalisme (cf. son livre de 1951), dans la ligne de son mentor Hilbert, mais ses écrits témoignent d'une certaine curiosité philosophique et d'une grande ouverture à la logique intuitionniste.
Lia plej preferita filozofio de matematiko estis formalismo (cf. lia libro de 1951), sekvante lian mentoron Hilbert, sed liaj skribaĵoj montras gravan filozofan scivolemon kaj apertan racion pri intuicia logiko.

Il divise les sciences en deux suivant leur objet : d'une part les sciences qui portent sur des êtres (mathématiques, métaphysique, physique qui sont les sciences théorétiques d'Aristote) ; d'autre part les sciences qui ont pour objet les formes de la pensée et les lois du langage (logique, rhétorique, grammaire).
Skoto dividis la sciencojn laŭ du objektoj: ĉe unu flanko staras la sciencoj traktantaj pri la realoj (matematiko, metafiziko, fiziko kiuj estas la priteoriaj sciencoj laŭ Aristotelo); ĉe alia flanko la sciencoj havas kiel objekton la formojn de la penso kaj la leĝojn de la lingvaĵo nome (Logiko, retoriko, gramatiko).