Filtrer
Rayons
Langues
Formats
Prix
Yves Bouchard
-
Calcul en logique du premier ordre
Yves Bouchard
- Presses de l'Université du Québec
- 4 Février 2015
- 9782760542105
Un calcul logique, au sens large, est une méthode de résolution appliquée au traitement d'une structure propositionnelle. Les propositions constituant cette structure peuvent aussi bien être des expressions d'une langue naturelle (comme le français) que des expressions d'un langage formalisé (comme l'arithmétique), liées entre elles par une dépendance de nature fonctionnelle.
Cet ouvrage constitue une introduction à deux outils de calcul en logique du premier ordre, soit le calcul en arbres de consistance et le calcul en déduction naturelle. La première partie, centrée sur la notion de structure propositionnelle, expose les concepts, les objets et les méthodes propres à la logique propositionnelle. Dans la deuxième partie, la logique propositionnelle est étendue à la logique prédicative au moyen de la quantification et de concepts caractéristiques d'un langage du premier ordre. Les deux outils de calcul sont ensuite enrichis de manière à pouvoir traiter des fonctions propositionnelles, soit des prédicats du premier ordre.
De nombreux exemples et exercices, accompagnés de leurs solutions, aideront l'étudiant à progresser vers des calculs toujours plus complexes et à raffiner ses méthodes de calcul logique. -
Continuité. No. 143, Hiver 2015
Lydia Bouchard, Normand Pratte, Yves Hebert, Marie-Josee Deschenes, Eric Gauthier, Bernard Serge Gagne, David Paradis, D
- Éditions Continuité
- Continuité
- 15 Janvier 2015
- 9782922527438
Le numéro d'hiver de Continuité, «Le patrimoine, source d'inspiration. Passé recomposé», célèbre les rapports fructueux qu'entretiennent patrimoine et création. Entre autres articles, on brosse un portrait de la manière dont des artistes se sont inspirés du patrimoine à travers le temps; on présente des outils pour guider les architectes qui doivent intervenir sur des bâtiments anciens et on réfléchit à la manière dont le patrimoine inspire l'architecture. En marge du dossier, la chronique «Collection» nous fait découvrir Carlotta, danseuse professionnelles des années 1930 à 1950; la chronique «Restauration» porte sur la maison Jacques-Richer-dit-Louveteau; et on souligne le 100e anniversaire des Cercles des fermières du Québec.