11119 résultats

Liste des résultats de recherche

• Consultation sur place seulement

  Calcul en logique du premier ordre / Yves Bouchard

  Bouchard, Yves, 1963- auteur

  Québec (Québec) : Presses de l'Université du Québec, [2015]

  ©2015

  Livres

  Voir le détail

• De la logique des obligations, des permissions et des interdictions : de von Wright à aujourd'hui / Clayton Peterson

  Peterson, Clayton, 1985- auteur

  Montréal] : Les Presses de l'Université de Montréal, [2016

  e calcul de premier ordre.Une formation en logique modale serait certes ide ale, mais j’ai re dige ceivre de fac on a m’adresser a un public aussiarge que possible, ce qui inclutes e tudiants etes chercheurs en mathe matique, en informatique, en science humaine et en droit.Afin de pallier toute diffi- culte

  Livres

  Voir le détail

• Ithaque

  Le statut logique de la notion de « signification-stimulus » chez Quine | No 17 | Automne | 2015

  Montréal : Revue Ithaque, 2007-

  des caractérisations en termes de comportements verbaux et couchées danseangage dea logique des prédicats du premier ordre.Or, dans Word and Object (1960) et ailleurs, Quine propose explicitement une définition dea notion de "signification-stimulus".Dans ces conditions, une interrogationégitime est de reconnaître sie système

  Publications en série

  Voir le détail

• Aperçu sur les systèmes multiagents / Imed Jarras et Brahim Chaib-draa

  Jarras, Imed, 1965- auteur

  Montréal : CIRANO, 2002

  es composantes suivantes: – Un modèle symbolique de’environnement de’agent, typiquement dans un sous-ensembleimité dea logique du premier ordre.– Une spécification symbolique des actions que’agent peut accomplir, généralement sous forme de pré-condition, action, effet, qui représentent’état de’environnement

  Livres

  Voir le détail

• Fondements des mathématiques : introduction à une philosophie constructiviste /

  Gauthier, Yvon, 1941-2022

  Montréal : Presses de l'Université de Montréal, 1976

  (selon Jensen) est simplementa donnée d'un univers non vide U et d'une fonction Œ définie sures constantes etes prédicats non logiques M - premier ordre) qui a pour univers U' un sous-univers de'univers U ; un modèle ou son univers est transitif quand 3xVyVz(y exAzey->zex

  Livres

  Voir le détail

• Rapport annuel ... Caisse de dépôt et placement du Québec

  1993

  Montréal : Caisse de dépôt et placement du Québec, 2008

  , ce processus est déjà bien amorcé.Le succès dea Caisse repose sur un personnel compétent, motivé, démontrant une grande capacité d'innovation et disposant d'outils techno- logiques de premier ordre.C'est pourquoia Caisse a continué d'investir dansa formation de son personnel, afin que ses employés demeu- rent â'avant

  Rapports annuels Publications en série

  Voir le détail

• La pensée philosophique d'expression française au Canada : le rayonnement du Québec /

  Sainte-Foy] : Presses de l'Université Laval, impression 1998

  que paraissente manuel de logique d’Yvon Gauthier, Méthodes et concepts dea logique formelle (Gauthier 1978), qui traite du calcul des propositions et du calcul des prédicats ainsi que dea métathéorie dea logique du premier ordre, en plus d’un survol des questions de logique philosophique, et’ouvrage de Serge Robert

  Livres

  Voir le détail

• Modélisation architecturale et outils informatiques entre cultures de la représentation et du savoir-faire /

  Montréal : ACFAS, impression 2000

  un grand nombre de faits) et uniformité du système de représentation formelle (la logique de premier ordre).Il identifie ensuite des groupes (clusters) de concepts reliés par affinités.Vers une modélisation spatiale hybride en conception déclarative des scènes 3D 145 On trouve notamment un premier groupe « Places et positions

  Livres

  Voir le détail

• Technique de réduction, tris informatiques à quatre clés Alain LaBonté...

  LaBonté, Alain, (Informaticien-conseil)

  Québec] : Secrétariat du Conseil du trésor, cop. 1998

  ordrea position de chacun des caractères spéciaux.Or, sies trois premiers ordres de clés sont absents, il n'y a pas de raison de coder ces positions ; néanmoins,e « zéro logique » doit toujours être préservé comme délimiteur de début.Le gros avantage de cette technique est qu'elle n'affecte en riene processus

  Livres

  Voir le détail

• Interface : la revue de l'ACFAS

  septembre 1988, Septembre

  Montréal (Québec) : Association canadienne-française pour l'avancement des sciences, 1984-2000

  de premier ordre, des théorèmes de complétude dea logique de premier ordre etes divers corollaires.ARTS ET LETTRES JOSEPH LENOIR, ŒUVRES, par John Hare et Jeanne d’Arc Lortie, Presses de’Université de Montréal, 1988, 332 pages, 40 , ISBN 2-7606-0802-6.Témoin d’une période de haute tension (1840-1860) de grande importance

  Revues

  Voir le détail

• L'ingénieur

  mai 1987, Mai - Juin

  Montréal : Association des diplômés de polytechnique, 1955-1987

  une procédure de décision.Logique des prédicats du premier ordre:imites dea logique.La logique des prédicats du premier ordre est, elle aussi, un système formel.Il s'agit en fait d'une extension dea logique propositionnelle, née dea nécessité de représenter des énoncés tels que «les poissons sont des animaux» et des règles

  Revues

  Voir le détail

• Traitement automatique du français écrit : développements théoriques et applications /

  Montréal : Acfas, impression 1996

  adoptée classiquement : une structure attribut-valeur est considérée comme un terme dans une logique du premier ordre.Ainsi,a structure [t1 vi, t2 V2] est convertie ene termeiste(ti(vi), Iiste(t2(v2), fin)), où 120 Traitement automatique du français écritiste(,) est une fonction binaire et fin une nouvelle constante

  Livres

  Voir le détail

• Pratiques de l'édition numérique / sous la direction de Michaël E. Sinatra et Marcello Vitali-Rosati

  Montréal] : Les Presses de l'Université de Montréal, [2014

  ©2014

  des réseaux sociaux.À cet égard, on voit quee web 2.0, ou web collaboratif, n’est nullement disjoint, mais au contraire un élément dynamique dea structuration des données pare web sémantique.Cette couche logique, elle-même basée sur des développe- ments des logiques du premier ordre (descriptionogic), permet de raisonner

  Livres

  Voir le détail

• L'Echo du Cabinet de lecture paroissial de Montréal.

  mai 1868, Chronique

  Montréal : [s.n.], 1859-1875

  , logique, et orateur du premier ordre : Il a toujours, comme disentes Anglais,es oreilles dea chambre.Entre ses mains habiles touse projet ministériel a subi une distinction minutieuse, et de plus il a été sans pitié poura protestantismeégal de’Irlande.“ Comment, s’est-il écrié à un certain moment, 70 pour 100

  Revues

  Voir le détail

• Le courrier de Montmagny : organe du comté de Montmagny

  24 avril 1954, samedi 24 avril 1954

  Montmagny : [Le courrier de Montmagny], 1937-1961

  capitaine que tout autre.On avait précisément, en Chambre,'impression que c'etait ce role-là que Jean Lesage étuit en train de Jouer! Avec une dialectique serrée, des arguments précis, Une logique de premier ordre, al à debité, devant ses collegues, un discours qu'il convient de dire PUISSANT, oùes chiffres pre- nalent

  Journaux

  Voir le détail

• Le devoir

  11 avril 1991, Cahier B

  Montréal : Le devoir, 1910-

  en histoire à’Université Laval L’ENTRÉE en guerre d’un État démocratique constitue toujours, par’émergence spontanée ete caractère souvent passionnel des opinions qu’elle suscite, un révélateur socio-logique de premier ordre.L’utilisation du potentiel militaire étatique et dea violence qu’il implique appelle

  Journaux

  Voir le détail

• L'action nationale

  septembre 1962, Septembre

  Montréal : Ligue d'action nationale, 1933-

  ,es commentaires offerts sures 17 autres questions.Nous croyons qu\u2019il y aà, en effet, un document socio-logique de premier ordre qu\u2019il serait extrêmement malheureux deaisser perdre; et ce n\u2019est qu\u2019en raison des problèmes financiers soulevés para publication complète en un seul numéro que nous nous sommes

  Revues

  Voir le détail

• Cuir, textile et habillement : confection de vêtements "façon tailleur" : programme d'études, 5219 Direction générale de la formation professionnelle et technique, [Ministère de l'éducation ; conception et rédaction, Jacqueline Frenette-Roy ; coordination, Janine Gomel, Francine St-Georges]

  Québec] : la Direction, 2006

  dea totalité des symboles d’assem- blage nécessaires àa confection de chacune des pièces du complet.S Précision et netteté des crans.S Étiquetage correct de chacune des pièces de tissu.S Ordre logique du regroupement des pièces en vue de’assemblage.OBJECTIF OPÉRATIONNEL DE PREMIER NIVEAU DE COMPORTEMENT (suite) PRÉCISIONS

  Livres

  Voir le détail

• Philosophiques

  Vol. 21, no 1 | Printemps | 1994

  Montréal : Bellarmin, 1974-

  Probability Theory, Princeton, Princeton University Press, 1987.« DE LA LOGIQUE INTERNE » 221 Poures besoins dea discussion, je rappelle brièvement que poureangage L (o, S, , •, <) dea logique du premier ordre de'arithmétique,es quan- tificateurs bornés sont, en abrégé, (Vx

  Revues

  Voir le détail

• Philosophiques

  Vol. 44, no 1 | Printemps | 2017

  Montréal : Bellarmin, 1974-

  du premier ordre ayant un modèle infini possède des modèles de toute cardinalité, alors toute théorie des nombres réels devra avoir des modèles non standards ; je vois quea logique du premier ordre est complète ; je vois quelque chose de plus simple et de plus évident encore, qu’aucun chien n’est àa fois un animal

  Revues

  Voir le détail