logique formelle oor Pools

logique formelle

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

Vertalings in die woordeboek Frans - Pools

logika matematyczna

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

logika symboliczna

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

Geskatte vertalings

Vertoon algoritmies gegenereerde vertalings

voorbeelde

wedstryd
woorde
Advanced filtering
Voorbeelde moet herlaai word.
Puis j’ouvris la porte à la logique formelle.
średnica wewnętrzna... mmLiterature Literature
- Eh bien, je ne savais pas qu'Herr Leibniz comptait la logique formelle dans ses préoccupations, mais enfin
Właściwe organy mogą udzielać zgody na wcześniejszą spłatę takich pożyczek wówczas, gdy wniosek o taką zgodę został złożony z inicjatywy emitenta, a spłata nie wpłynie ujemnie na wypłacalność danej instytucji kredytowejLiterature Literature
- Eh bien, je ne savais pas qu'Herr Leibniz comptait la logique formelle dans ses préoccupations, mais enfin
To samo nazwisko, ta sama twarzLiterature Literature
Vous savez qu’en logique formelle on peut prouver tout et n’importe quoi, à partir d’un ensemble inconsistant d’axiomes.
Składniki interoperacyjnościLiterature Literature
Il étudie la logique formelle et la structure de la langue.
Przyniosła mi szczęście.Tobie też przyniesie. Przyniesie ci pieprzone szczęście, JackWikiMatrix WikiMatrix
Une étude innovante portant sur l'utilisation de la logique formelle pour la communication entre des entités informatiques a apporté une solide base scientifique pour la conception de systèmes informatiques mondiaux.
Velma, gotowa?cordis cordis
J’ajoute que l’absence de contradiction, au sens de la logique formelle, entre les caractéristiques du produit figurant dans la publicité et le résumé est un critère de conformité trop faible.
Ale musiała wiedzieć, że zginieEurLex-2 EurLex-2
En outre, l'équipe a utilisé une méthodologie plus interdisciplinaire impliquant une analyse en profondeur de la spécificité de la logique naturelle, à savoir le langage par opposition à la logique formelle.
Członek Komisjicordis cordis
En d'autres termes, en étudiant la logique formelle, le langage naturel et la sémantique discursive, le projet a montré la raison pour laquelle la justification ne pourra jamais totalement être formalisée ou réduite à l'argumentation.
Każdy z nich coś oznaczacordis cordis
Toutefois, il me semble évident que l’ajout de nouvelles indications thérapeutiques alternatives, ne figurant pas dans le résumé, ne serait pas conforme à celui‐ci, même en l’absence de contradiction au sens de la logique formelle (12).
Wyszła wcześniejEurLex-2 EurLex-2
analyser et revoir les procédures d'arrière-guichet de l'administration publique, tant pour l'encourager à fournir aux citoyens et aux entreprises des services en ligne jugés stratégiques par le plan d'action que pour revoir certaines logiques formelles de coopération, par un recours en pointe aux documents numériques et au courrier électronique,
W pewnym sensie, rozumiem jak się czujecieEurLex-2 EurLex-2
La réalisation de ces objectifs est censée fonder des indicateurs de résultats qui permettent de mesurer formellement la logique d'intervention du programme.
Przytrzymaj toEurLex-2 EurLex-2
Tel est le cas même si, d’un point de vue logique purement formel, la disposition attaquée peut être considérée comme distincte du reste de la réglementation (par exemple, en l’absence de références croisées explicites entre la disposition attaquée et le reste de l’acte législatif).
Istnieją pewne wspaniałe miejsca, wspólnoty, w których nie trzebamartwić się o koszenie trawnika, odśnieżanieEurLex-2 EurLex-2
Troisièmement, il s'agirait davantage d'anticiper des solutions plutôt que des problèmes, d'utiliser la loi pour atteindre des objectifs et les faire respecter, pour transformer les droits et les libertés en réalités tangibles dans un contexte culturel donné, au lieu de se focaliser sur une logique juridique formelle
Dobra, chłopaki, zaczynamyoj4 oj4
6.12.3 Troisièmement, il s'agirait davantage d'anticiper des solutions plutôt que des problèmes, d'utiliser la loi pour atteindre des objectifs et les faire respecter, pour transformer les droits et les libertés en réalités tangibles dans un contexte culturel donné, au lieu de se focaliser sur une logique juridique formelle (36).
praw osób niepełnosprawnychEurLex-2 EurLex-2
En revanche, l'ontologie est un modèle conceptuel explicite avec une sémantique formelle basée sur la logique.
Wiesz, tato, że zakopując swoją foczą skórę, zostanie na lądzie siedem lat?cordis cordis
Cette reformulation est due à la modification formelle dérivant du déplacement logique de ces références vers d’autres articles spécifiques du cahier des charges.
Z mikrobiologicznego punktu widzenia raz rozpuszczony preparat powinien być zużyty natychmiastEurlex2019 Eurlex2019
Si, dans le cadre de l’examen de l’exigence d’équivalence, on ne souhaite pas s’orienter par rapport à une approche purement formelle, il convient logiquement de s’interroger sur les effets concrets de la règle nationale en cause.
Co do diabłaczy rozmawiasz około?EurLex-2 EurLex-2
Cet élément formel ne va toutefois pas à l'encontre de l'interprétation logique du fond.
Pustynia jest bezlitosnaeurlex-diff-2018-06-20 eurlex-diff-2018-06-20
Certes, il est logique que le Conseil européen sollicite des nominations formelles et auditionne les candidats, et peut-être même M. Verhofstadt, avant la décision.
Niezła brykaEuroparl8 Europarl8
Les logiques à plusieurs valeurs offrent des outils conceptuels pour la description formelle de données imprécises, vagues et incertaines.
Łącznie ocena rynku przetwórstwa (poziom #) i analiza rynku nieobrobionego szkła typu float (poziom #) pokazują, że rynki te w okresie referencyjnym obejmującym lata #–# rozwijały się w tym samym kierunku, wykazując stopę wzrostu, która przekracza średnią stopę wzrostu dla przemysłu przetwórczegocordis cordis
Enfin, le projet STSTT a ouvert la voie à l'utilisation d'un cadre commun pour comprendre les paradoxes logiques de la théorie des ensembles et des théories formelles de la vérité.
Nikomu bym nie powiedziałacordis cordis
Cependant, dans un souci de coopération, elle choisit de répondre aux questions de la Commission en se plaçant dans la logique exprimée dans la décision d’ouverture de la procédure formelle d’examen.
Oprawca byl tuz za mna wiec schowalem sie za sloma, i niebieska mysz sie pojawila straszac konia.I zostalem uratowanyEurLex-2 EurLex-2
Toute opération concernant les déchets doit être qualifiée d’«élimination» ou de «valorisation», notions qui sont définies aux annexes II A et II B, et il n’est pas rare qu’une même activité relève logiquement des deux listes, même si, formellement, elle ne peut recevoir simultanément les deux qualifications.
Czy to ci nie wystarcza?EurLex-2 EurLex-2
62 sinne gevind in 10 ms. Hulle kom uit baie bronne en word nie nagegaan nie.