BIBLIOTHEQUE MISM
Détail de l'éditeur
Presses de l'Université du Québec
localisé à :
Canada
|
Documents disponibles chez cet éditeur
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
Titre : Calcul en logique du premier ordre Type de document : texte imprimé Auteurs : Yves Bouchard, Auteur Editeur : Canada : Presses de l'Université du Québec Année de publication : 2015 Importance : 288p Format : 26x20 cm ISBN/ISSN/EAN : 978-2-7605-4209-9 Langues : Français (fre) Mots-clés : Calcul,logique,premier ordre. Résumé : 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.Calcul en logique du premier ordre [texte imprimé] / Yves Bouchard, Auteur . - Canada : Presses de l'Université du Québec, 2015 . - 288p ; 26x20 cm.
ISBN : 978-2-7605-4209-9
Langues : Français (fre)
Mots-clés : Calcul,logique,premier ordre. Résumé : 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.Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité 18/300238 L/515.118 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Exclu du prêt 18/300239 L/515.118 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 18/300240 L/515.118 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 18/300241 L/515.118 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible
Titre : Prévoir l'imprévisible Une introduction à la biostatistique Type de document : texte imprimé Auteurs : Raluca Balan, Auteur Editeur : Canada : Presses de l'Université du Québec Année de publication : 2012 Importance : 276p Format : 23.5x15.5 cm ISBN/ISSN/EAN : 978-2-7605-3489-6 Langues : Français (fre) Langues originales : Français (fre) Mots-clés : la biostatistique Index. décimale : 519 Résumé : La biostatistique (aussi connue sous le nom de biométrie) consiste en l'étude des méthodes quantitatives appliquées à la biologie. Née à la fin du XIXe siècle, avec les travaux de Karl Pearson (le fondateur du premier département de statistique au monde à l'Université Collège de Londres) et de Ronald Fisher (un pionnier dans le domaine des plans expérimentaux), elle permet de décrire un groupe d'individus selon ses attributs et ses qualités, de mesurer la précision d'une estimation ou de définir le degré d'association entre une série de caractères et d'événements. Ce livre explore l'utilité de diverses méthodes statistiques et probabilistiques par l'entremise d'exemples simples et non techniques, permettant au lecteur de comprendre rapidement les nouveaux concepts pour ensuite pouvoir les appliquer à des situations plus complexes. La partie 1 porte sur les concepts fondamentaux et les règles de la théorie des probabilités, tandis que la partie 2 se concentre sur les statistiques, car la théorie de la probabilité se situe au fondement de la statistique et qu'il faut comprendre le sens du hasard avant d'effectuer toute analyse de données. Les étudiants en biologie y trouveront une précieuse introduction au raisonnement et à la modélisation statistique, des concepts clés de la biologie moderne. Prévoir l'imprévisible Une introduction à la biostatistique [texte imprimé] / Raluca Balan, Auteur . - Canada : Presses de l'Université du Québec, 2012 . - 276p ; 23.5x15.5 cm.
ISBN : 978-2-7605-3489-6
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : la biostatistique Index. décimale : 519 Résumé : La biostatistique (aussi connue sous le nom de biométrie) consiste en l'étude des méthodes quantitatives appliquées à la biologie. Née à la fin du XIXe siècle, avec les travaux de Karl Pearson (le fondateur du premier département de statistique au monde à l'Université Collège de Londres) et de Ronald Fisher (un pionnier dans le domaine des plans expérimentaux), elle permet de décrire un groupe d'individus selon ses attributs et ses qualités, de mesurer la précision d'une estimation ou de définir le degré d'association entre une série de caractères et d'événements. Ce livre explore l'utilité de diverses méthodes statistiques et probabilistiques par l'entremise d'exemples simples et non techniques, permettant au lecteur de comprendre rapidement les nouveaux concepts pour ensuite pouvoir les appliquer à des situations plus complexes. La partie 1 porte sur les concepts fondamentaux et les règles de la théorie des probabilités, tandis que la partie 2 se concentre sur les statistiques, car la théorie de la probabilité se situe au fondement de la statistique et qu'il faut comprendre le sens du hasard avant d'effectuer toute analyse de données. Les étudiants en biologie y trouveront une précieuse introduction au raisonnement et à la modélisation statistique, des concepts clés de la biologie moderne. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité 13/204771 L/519.101 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Exclu du prêt 13/204772 L/519.101 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible