Filtres

Sélection(s)

Précisez votre recherche

Disponibilité

Date

Type de document

Genre spécifique

Sujet traité

Lieu représenté

Collections et fonds

Créateur

Lieu de publication

Lieu de conservation

Langue

Conditions d'utilisation

Options d'affichage

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