Filtrer
Rayons
Langues
Prix
Ouvrages pédagogiques de référence
-
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. -
Publier dans une revue savante ; les 10 règles du chercheur convaincant
Pierre Cossette
- Presses de l'Université du Québec
- 21 Septembre 2016
- 9782760544321
10 règles, plus 1 nouvelle règle d'or sur l'importance d'agir en toute intégrité. Toutes ces règles s'appuient sur de nombreuses références, sur l'opinion de plusieurs rédacteurs en chef de revues prestigieuses ainsi que sur l'expérience personnelle de l'auteur, lui-même chercheur et évaluateur.
Ces règles aideront le chercheur à élaborer un projet de recherche et à rédiger le texte rendant compte de sa réalisation de façon à persuader le rédacteur en chef ainsi que les évaluateurs (reviewers) de la valeur de son manuscrit. Elles pourront également guider les évaluateurs dans la préparation de leurs commentaires puisque, en principe, chercheurs et évaluateurs utilisent les mêmes critères pour effectuer leur travail.
Cette deuxième édition, entièrement revue et mise à jour, s'adresse à tous les chercheurs, en formation ou non, qui veulent participer à une conversation savante, de même qu'aux évaluateurs des manuscrits que ces chercheurs soumettent. Bien que son contenu traite principalement du domaine de la gestion, l'ouvrage est susceptible d'intéresser les chercheurs et évaluateurs actifs dans d'autres champs de connaissances (psychologie, éducation, sociologie, etc.), y compris dans les sciences « dures » (chimie, physique, etc.). Ces règles du chercheur convaincant s'appliquent aussi lors de la préparation et de l'écriture d'une thèse ou d'un mémoire.