71 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

• 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-

  A B au sensarge avec des variables métalogiques (celles en majuscule) afin de pouvoir regarder des propositions sans perdre de généralité.13 AVRIL.22 JULIEN HÉBERT-DOUTRELOUX, ÉTUDIANT AU BACCALAURÉAT EN MATHÉMATIQUES PURES ET APPLIQUÉES MÉTHODE SÉMANTIQUE Une des méthodes sémantiques poure calcul des prédicats

  Publications en série

  Voir le détail

• Philosophiques

  Vol. 27, no 2 | Automne | 2000

  Montréal : Bellarmin, 1974-

  de démonstration poure calcul des prédicats etes rendre capable de transcrire danseangage deaogiquees expressions duangage ordinaire en un semestre.Hahn, L.E.et Schilpp, Paul A., dir.The Philosophy of W.V.Quine, La Salle, Open Court, 1986, p.644.266 · Philosophiques / Automne 2000 orientation philosophique4

  Revues

  Voir le détail

• Machines de mutations pour l'enrichissement de test de protocoles

  Montréal : CRIM-Centre de recherche informatique de Montréal, 2005

  : Dx DV {True, False} est un prédicat, où DV est'ensemble des vecteurs de contexte v.- op : Dx DV Dy est une fonction qui permet de calculeres paramètres de sortie.- up : Dx DV DV esta fonction de mise à jour du contexte.Un vecteur de contexte v DV est appelé contexte de M.Une configuration

  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-

  ", "une proposition pouvant servir à expliquer", peut être reformulé de façon formelle et précise danseangage du calcul des prédicats du premier ordre par’explicatum "un énoncé conditionnel purement universel10".Alors quee critère d’évaluation dea définition esta substituabilité salva veritate dans tout contexte

  Publications en série

  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

• Philosophiques

  Vol. 13, no 1 | Printemps | 1986

  Montréal : Bellarmin, 1974-

  pour'analyse de plusieurs problèmes d'inférence.Les diagrammes de Venn élargis nous sont présentés (p.124) etes matières du chapitre sont appliquées à'étude des sorites (p.134).Le chapitre se termine sur quelques remarques à propos deaimite dea méthode et un aperçu succinct sure calcul des prédicats

  Revues

  Voir le détail

• L'ingénieur

  mai 1987, Mai - Juin

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

  d'utilisation) au plus déclaratif (le plus ouvert);'automate fini,a procédure (scénario figé),e script (scénario stéréotype),e réseau sémantique,e cadre prototype,es graphes et réseaux conceptuels,es spécifications formelles,e calcul des prédicats(ou plusgénéralementaogique formelle),es théorèmes et règles

  Revues

  Voir le détail

• L'ingénieur

  juin 1955, Été

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

  des fonctions récursives générales devraui être familière.Il faut plus d'expérience pourirea seconde esquisse, mais si'on seimite aux sujets principaux, seulea connaissance du calcul des prédicats restreint et dea notion du nombre de Gôdel sera nécessaire.Dansa seconde esquisse, on étudie'application

  Revues

  Voir le détail

• Philosophiques

  Vol. 6, no 1 | Printemps | 1979

  Montréal : Bellarmin, 1974-

  , Deductive Logic,'ouvrage expose d'abord, dans une présenta- 128 PHILOSOPHIQUES tion scolaire (avec exemples et exercices),e calcul des propositions ete calcul des prédicats du premier ordre.Pour chacun de ceux deuxangages,'exposition se fait selon trois méthodes successives : 1 )a méthode des tables de vérité, 2

  Revues

  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 deogique d’Yvon Gauthier, Méthodes et concepts deaogique formelle (Gauthier 1978), qui traite du calcul des propositions et du calcul des prédicats ainsi que dea métathéorie deaogique du premier ordre, en plus d’un survol des questions deogique philosophique, et’ouvrage de Serge Robert

  Livres

  Voir le détail

• La petite revue de philosophie

  1983, Printemps

  Longueuil : Collège Edouard-Montpetit, 1979-1990

  aux théories classiques des ensembles, du calcul des propositions et du calcul des prédicats.Il a élaboré de nouvelles méthodes pour résoudrees antinomies et il a interprétéa théorie des «typesogiques» (B.Russell) comme une théorie des catégories sémantiques.Les résultats de ses recherches constituent une base utile

  Revues

  Voir le détail

• Philosophiques

  Vol. 21, no 2 | Automne | 1994

  Montréal : Bellarmin, 1974-

  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

• Philosophiques

  Vol. 7, no 2 | Automne | 1980

  Montréal : Bellarmin, 1974-

  e calcul des propositions ete calcul des prédicats.On aura une bonne idée du fonctionnement de ceangage de premier ordre en consultant, entre autres,es deux seuls ouvrages québécois deogique symbolique, soit Gauthier (1978) et Robert (1978).On considère maintenant queaogique élémentaire est insuffisante

  Revues

  Voir le détail

• Philosophiques

  Vol. 19, no 1 | Printemps | 1992

  Montréal : Bellarmin, 1974-

  complets et même décidables, c'est-à-dire pouresquels on a un algorithme ou procédure de décision mécanique.C'este cas poure calcul des énoncés ete calcul des prédicats monadiques du premier ordre et un certain nombre de théories mathématiques élémentaires.Un système formel complet admet même des extensions

  Revues

  Voir le détail

• Sciences, technologies et sociétés de A à Z / sous la direction de Julien Prud'homme, Pierre Doray et Frédéric Bouchard

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

  ©‎2015

  vocabulaireogique et extra-logique.Le vocabulaireogique comprend des opérateurs de calcul des prédicats de premier ordre (et, ou, etc.) et des quantificateurs (tous, aucun).Le voca- bulaire extra-logique comprendes prédicats qui formentes termes descriptifs dea théorie.Les prédicats des théories comprennent

  Livres

  Voir le détail

• Philosophiques

  Vol. 36, no 2 | Automne | 2009

  Montréal : Bellarmin, 1974-

  danse symbolisme du calcul des prédicats, (T†) x ( x x ) Ni’une ni’autre n’est exclue du domaine des vérités pures analyti- ques par’énoncé de Husserl selonequel de telles vérités sontibérées « d’import existentiel individuel » (individuelle Existenzsetzung) tel que celui porté para description défi nie

  Revues

  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