61 résultats

Liste des résultats de recherche

• Consultation sur place seulement

  La logique propositionnelle et ses variantes : une approche comparée / François Lepage et Samuel Montplaisir

  Lepage, François, auteur

  Montréal] : les Presses de l'Université de Montréal, [2022

  Guides et manuels Livres

  Voir le détail

• 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

• Programme du... congrès tenu à... /

  1949, 1949

  Montréal] : l'ACFAS, 1933-[1962

  dea représentation polaire aux composantes cartésiennes.14345-15:00 L'indépendance de systèmes complets d'axiomes poure calcul propositionnel.- Maurice L'ABBE, Faculté des Sciences, Université de Montréal.Nous nous proposons de prouver en partie une conjecture de L.Henkin, concernant'indépendance des systèmes complets d''axiomes

  Revues

  Voir le détail

• L'axiomatique : le journal de l'Association des étudiants et étudiantes en mathématiques et statistique à l'Université de Montréal

  Vol. 7, no 3 | Avril | 2022

  Montréal, Québec] : L'Axiomatique, 2018-

  , ., An /C.La méthode sémantique, comme son nom'indique, se concentre sure sens tandis que'autre méthode est portée sura syntaxe.La syntaxe va de soi: ce sontes symboles,es variables etes objets duangage.Si on considère un système simple, celui du calcul propositionnel LPC, il comporte une grammaire

  Publications en série

  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

  ).Pourquoiaogique de ontique ?Avant d’aborderes diffe rents courants enogique de ontique, certains pour- raient d’emble e se demander en quoi celle-ci est ne cessaire a ’analyse du discours.11 Les outils du calcul propositionnel et ceux deaogique de pre- mier ordre tels qu’ils sont enseigne s aux e tudiants en philosophie

  Livres

  Voir le détail

• Québec science

  1977, Août

  Québec : Les Presses de l'Université du Québec, 1970-

  Montréal : Vélo Québec éditions inc.

  ne peut encore être qualifiée d'universelle, il semble tout au moins queaogique puisse'être.Laogique du Machina sapiens obéira aux règles deaogique mathématique et du calcul propositionnel.Mais ce «Q.l.à circuits intégrés» doit, pour actualiser ses possibilités, pouvoir communiquer et percevoir.Ilui faut

  Revues

  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

  ), il n'y a rien de commun.Dans ces quelque vingt années,a théorie des modèles, par exemple, a connu un tel essor qu'elle est devenuea discipline maîtresse deaogique mathématique (1).Le calcul propositionnel ete calcul des prédicats du premier ordre constituent encoreesangages fondamentaux deaogique, mais

  Livres

  Voir le détail

• Annales de l'A.C.F.A.S.

  1963, 1963

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

  février 1962 ; Pierre COUILLARD : La génération spontanée : aspects modernes d'une théorie ancienne, Institut agricole d'Oka, 28 février 1962 ; Aubert DAIGNEAULT : Le calcul propositionnel, Séminaire de Joliette, 28 février 1962; Norbert LACOSTE: Sociologie de'Eglise catholique au Canada, Collège Mar-guerite-Bourgeoys, 28

  Revues

  Voir le détail

• Pensées canadiennes : Canadian undergraduate journal of philosophy = Revue de philosophie des étudiants au baccalauréat du Canada

  Vol. 10 | 2012

  Montréal, Qc : McGill University Department of Philosophy, 2012-

  qui vise à solutionneres problèmes classiques dea philosophie en employantaogique; en particulier, elle voudrait travaillera réfutation du déterminisme de Łukasiewicz, à travers son développement d’un calcul propositionnel multivalent très innovateur.Dans son tempsibre, elle travaille comme coordinatrice d’unité

  Publications en série

  Voir le détail

• L'événement-journal

  13 octobre 1954, mercredi 13 octobre 1954

  Québec : [L'événement-journal], 1938-1962

  :es svstemes de tvpes tfutisiitis & conversion-lambda et Sur independance des axiomes d'Henkin pour certaines paities du calcul propositionnel 3eme prix: 200.00 M.Edoua:d-G.Isver pur son travail sur Le Spectruscope de mas- se pahorauiique pour etude dea Cdnetique chimique.Nection des sciences morales et politiques:er

  Journaux

  Voir le détail

• Le nouvelliste

  23 avril 1990, lundi 23 avril 1990

  Trois-Rivières : Le nouvelliste, [1920]-

  eta non-classicalité (enogique);aogique non-frégéenne;a théorie des renforcements du calcul propositionnel etes propriétés d\u2019interpolation enogique propositionnelle.M.Malinowski est professeur invité de\u2019université du Québec à Trois-Rivières poura session hiver 90.Notons qu\u2019il n\u2019en coûte rien

  Journaux

  Voir le détail

• Annuaire ... , études de 1er cycle / ÉTS

  2017-2018

  Montréal (Québec)] : ÉTS, 2012-

  discrètes.Introduction àaogique : calcul propositionnel, calcul des prédicats, méthodes de preuves et algèbre de Boole.Théorie des ensembles.Comportement asymptotique des fonctions et complexité temporelle des algorithmes.Théorie des nombres : nombres premiers, algorithme d’Euclide, arithmétique modulaire et applications

  Publications en série

  Voir le détail

• Annuaire ... , études de 1er cycle / ÉTS

  2018-2019

  Montréal (Québec)] : ÉTS, 2012-

  discrètes.Introduction àaogique : calcul propositionnel, calcul des prédicats, méthodes de preuves et algèbre de Boole.Théorie des ensembles.Comportement asymptotique des fonctions et complexité temporelle des algorithmes.Théorie des nombres : nombres premiers, algorithme d’Euclide, arithmétique modulaire et applications

  Publications en série

  Voir le détail

• Philosophiques

  Vol. 47, no 1 | Printemps | 2020

  Montréal : Bellarmin, 1974-

  ce cas, entre Granger ete grand contributeur dea multivalence que fut Łukasiewicz.Comment expliquer ce différend, d’autant plus quea citation précédente duogicien polonais évoquaites termes binaires d’être et de non-être ?Granger (1994, p.43) tient un propos similaire : Le calcul propositionnel se développe

  Revues

  Voir le détail

• Philosophiques

  Vol. 21, no 1 | Printemps | 1994

  Montréal : Bellarmin, 1974-

  e domaine est non fini.Si Skolem utilise'induction mathématique,e calcul équationel de Louis Goodstein s'en passe totalement, tout comme il se passe du calcul propositionnel au grand complet 2.Touteses propositions sont des équations dea forme A B où A et B sont des fonctions ou des termes primitifs 56.À cet égard

  Revues

  Voir le détail

• Philosophiques

  Vol. 37, no 1 | Printemps | 2010

  Montréal : Bellarmin, 1974-

  cateur.On introduit deux nouvellesettres de fonc- tions, f unaire et g binaire aveces termes U1.Un, W1.Wn, alors est démon- trable danse calcul des prédicats sousa forme .Cette disjonction est dérivable dans un calcul propositionnel et peut servir de critère de réfutabilité dans une interprétation négative (voir

  Revues

  Voir le détail

• Annuaire ... , études de 1er cycle / ÉTS

  2019-2020

  Montréal (Québec)] : ÉTS, 2012-

  fondamentales deaogique mathématique et s’initier aux concepts des ma- thématiques discrètes.Introduction àaogique : calcul propositionnel, calcul des prédicats, méthodes de preuves et al- gèbre de Boole.Théorie des ensembles.Com- portement asymptotique des fonctions et com- plexité temporelle des algorithmes

  Publications en série

  Voir le détail

• Le soleil

  13 octobre 1954, mercredi 13 octobre 1954

  Québec : Le soleil, [1896]-

  de diffraction associées à une onde aberrante de révolution.2ème prix: ( 400.90) M.Maurice'Abbé pour es deux travaux: Les systèmes de types transfinis à conversion-lambda et Sur\u2019indépendance ries axiomes d'Henkin pour certaines parties du calcUl propositionnel.Sème prix: 200.00» M.Edouard-G.Léger pour son travail sur :I

  Journaux

  Voir le détail

• Mathématiques : logique : MAT-5112-1 : définition du domaine d'examen

  Québec] : Ministère de l'éducation, du loisir et du sport, Formation professionnelle et technique et formation continue, Direction de la formation générale des adultes, 2006

  a pour objectif de développer chez’élève une méthode de travail rigoureuse.L’évaluation exigera que’élève présente sa démarche de façon claire et structurée.Dansa notation, on tiendra compte de ces éléments.Ce programme vise à développer chez’élèvea maîtrise d’outils technologiques.L’utilisation d’une calculatrice

  Livres

  Voir le détail

• Le traité "De l'interprétation" d'Aristote et son commentaire thomiste

  Pelletier, Yvan

  Waterloo : Société d'études aristotélico-thomistes, 2019

  des actions ou des relations aussi bien quea possession d’un attribut, quee mot de ‘prédicat’ se prête à désigner’ensemble des fonctions propositionnelles. Le calcul des fonctions propositionnelles pourra alors être appelé, plus commo- dément, calcul des prédicats37. Sur’exemple d’une proposition attributive

  Livres

  Voir le détail