University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'indexation
511 Principes généraux des mathématiquesOuvrages de la bibliothèque en indexation 511.3
Ajouter le résultat dans votre panier Affiner la rechercheCalcul propositionnel, algèbre de Boole, calcul des prédicats, 1. Logique mathématique / Daniel Lascar
Titre de série : Calcul propositionnel, algèbre de Boole, calcul des prédicats, 1 Titre : Logique mathématique : Cours et exercices corrigés Type de document : texte imprimé Auteurs : Daniel Lascar (1942-....), ; Jean-Louis Krivine, Année de publication : 2021 Importance : 1 vol. (385 p.) Présentation : couv. ill. en coul. Format : 24 cm. ISBN/ISSN/EAN : 978-2-10-082514-1 Langues : Français (fre) Catégories : Mathématique Mots-clés : Mathématique Index. décimale : 511.3 Logique mathématique Côte titre : Fs/24741-24743 Calcul propositionnel, algèbre de Boole, calcul des prédicats, 1. Logique mathématique : Cours et exercices corrigés [texte imprimé] / Daniel Lascar (1942-....), ; Jean-Louis Krivine, . - 2021 . - 1 vol. (385 p.) : couv. ill. en coul. ; 24 cm.
ISBN : 978-2-10-082514-1
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Mathématique Index. décimale : 511.3 Logique mathématique Côte titre : Fs/24741-24743 Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité Fs/24741 Fs/24741-24743 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/24742 Fs/24741-24743 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/24743 Fs/24741-24743 Livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Computational complexity : a modern approach Type de document : texte imprimé Auteurs : Sanjeev Arora (1968-....), Auteur ; Boaz Barak, Auteur Editeur : Cambridge : Cambridge university press Année de publication : 2009 Importance : 1 vol. (579 p.) Présentation : ill., fig., couv. ill. Format : 27 cm ISBN/ISSN/EAN : 978-0-521-42426-4 Note générale : Information sur la publication Langues : Anglais (eng) Catégories : Mathématique Index. décimale : 511.3 Logique mathématique Note de contenu : Contient des exercices Côte titre : Fs/19720 Computational complexity : a modern approach [texte imprimé] / Sanjeev Arora (1968-....), Auteur ; Boaz Barak, Auteur . - Cambridge : Cambridge university press, 2009 . - 1 vol. (579 p.) : ill., fig., couv. ill. ; 27 cm.
ISBN : 978-0-521-42426-4
Information sur la publication
Langues : Anglais (eng)
Catégories : Mathématique Index. décimale : 511.3 Logique mathématique Note de contenu : Contient des exercices Côte titre : Fs/19720 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/19720 Fs/19720 Livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Ensembles, relations, applications, dénombrement : L1, L2, L3, classes préparatoires Type de document : texte imprimé Auteurs : Bertrand Cintract, Auteur ; Colin, Jean-Jacques, Auteur ; Rémi Morvan, Collaborateur Editeur : Toulouse : Cépaduès-éd. Année de publication : 2009 Collection : Bien débuter en mathématiques, ISSN 1956-4066 Importance : 1 vol. (153 p.) Présentation : ill., couv. ill. Format : 21 cm ISBN/ISSN/EAN : 978-2-85428-881-0 Note générale : 978-2-85428-881-0 Langues : Français (fre) Catégories : Mathématique Mots-clés : Logique mathématique
Théorie des ensembles
Analyse combinatoire énumérative
Nombres naturelsIndex. décimale : 511.3 Logique mathématique Résumé :
Cet ouvrage s'adresse essentiellement aux étudiants de L1 à l'Université, et aux étudiants de première année des Classes Préparatoires aux Grandes Écoles.
Les questions abordées sont en général celles qui sont enseignées en début d'année : rudiments de logique, ensembles, applications, relations d'équivalence et d'ordre.
Ce fascicule se termine par un chapitre sur l'ensemble des nombres entiers naturels, et un chapitre sur les problèmes de dénombrement. L'étude de ces thèmes sera également très utile aux étudiants qui préparent le C.A.P.E.S. de Mathématiques.
Chaque chapitre contient un rappel de cours conséquent et de nombreux exercices corrigés et commentés, la plupart d'entre eux revenant immanquablement dans les sujets d'examen et de concours.Note de contenu :
Sommaire
Raisonner et démontrer
Ensembles
Applications
Relations sur un ensemble
Les entiers naturels
Dénombrement, combinatoire
Pour les plus courageux..Côte titre : Fs/13418-13421 Ensembles, relations, applications, dénombrement : L1, L2, L3, classes préparatoires [texte imprimé] / Bertrand Cintract, Auteur ; Colin, Jean-Jacques, Auteur ; Rémi Morvan, Collaborateur . - Toulouse : Cépaduès-éd., 2009 . - 1 vol. (153 p.) : ill., couv. ill. ; 21 cm. - (Bien débuter en mathématiques, ISSN 1956-4066) .
ISBN : 978-2-85428-881-0
978-2-85428-881-0
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Logique mathématique
Théorie des ensembles
Analyse combinatoire énumérative
Nombres naturelsIndex. décimale : 511.3 Logique mathématique Résumé :
Cet ouvrage s'adresse essentiellement aux étudiants de L1 à l'Université, et aux étudiants de première année des Classes Préparatoires aux Grandes Écoles.
Les questions abordées sont en général celles qui sont enseignées en début d'année : rudiments de logique, ensembles, applications, relations d'équivalence et d'ordre.
Ce fascicule se termine par un chapitre sur l'ensemble des nombres entiers naturels, et un chapitre sur les problèmes de dénombrement. L'étude de ces thèmes sera également très utile aux étudiants qui préparent le C.A.P.E.S. de Mathématiques.
Chaque chapitre contient un rappel de cours conséquent et de nombreux exercices corrigés et commentés, la plupart d'entre eux revenant immanquablement dans les sujets d'examen et de concours.Note de contenu :
Sommaire
Raisonner et démontrer
Ensembles
Applications
Relations sur un ensemble
Les entiers naturels
Dénombrement, combinatoire
Pour les plus courageux..Côte titre : Fs/13418-13421 Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité Fs/13418 Fs/13418-13421 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/13419 Fs/13418-13421 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/13420 Fs/13418-13421 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/13421 Fs/13418-13421 Livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Initiation à la logique formelle : Avec exercices et corrigés Type de document : texte imprimé Auteurs : Lucas, Thierry, Auteur ; Isabelle Berlanger, Auteur ; Vincent Degauquier, Auteur Mention d'édition : 4e éd. revue et augmentée Editeur : Louvain-la-Neuve : De Boeck supérieur Année de publication : 2014 Collection : Démarches de pensée, ISSN 1379-5287 Importance : 1 vol. (263 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-8041-8248-9 Note générale : 978-2-8041-8248-9 Langues : Français (fre) Catégories : Mathématique Mots-clés : Logique mathématique : Manuels d'enseignement supérieur Index. décimale : 511.3 Logique mathématique Résumé :
Une introduction pratique et didactique à la logique formelle
Cet ouvrage propose une introduction à la logique contemporaine, à la fois rigoureuse et accessible à tous.
Il aborde d'emblée la logique propositionnelle et la logique des prédicats du premier ordre, sans en développer les aspects mathématiques, mais sans négliger les techniques fondamentales. L'accent est particulièrement mis sur la logique comme outil d'analyse du langage.
Le livre vaut non seulement pour la richesse des thèmes abordés, mais aussi pour la large gamme d'exercices résolus qui conduisent progressivement le lecteur à une connaissance approfondie des notions de base de la logique.
Cette 4e édition, signée par deux auteurs des éditions précédentes et enrichie de l'apport d'un nouvel auteur, remanie le stock déjà abondant des exercices et lui ajoute une trentaine de pages, fruit de l'expérience d'enseignement.Côte titre : Fs/16536-16540 En ligne : https://www.amazon.fr/Initiation-logique-formelle-exercices-corriges/dp/28041824 [...] Format de la ressource électronique : Initiation à la logique formelle : Avec exercices et corrigés [texte imprimé] / Lucas, Thierry, Auteur ; Isabelle Berlanger, Auteur ; Vincent Degauquier, Auteur . - 4e éd. revue et augmentée . - Louvain-la-Neuve : De Boeck supérieur, 2014 . - 1 vol. (263 p.) : ill. ; 24 cm. - (Démarches de pensée, ISSN 1379-5287) .
ISBN : 978-2-8041-8248-9
978-2-8041-8248-9
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Logique mathématique : Manuels d'enseignement supérieur Index. décimale : 511.3 Logique mathématique Résumé :
Une introduction pratique et didactique à la logique formelle
Cet ouvrage propose une introduction à la logique contemporaine, à la fois rigoureuse et accessible à tous.
Il aborde d'emblée la logique propositionnelle et la logique des prédicats du premier ordre, sans en développer les aspects mathématiques, mais sans négliger les techniques fondamentales. L'accent est particulièrement mis sur la logique comme outil d'analyse du langage.
Le livre vaut non seulement pour la richesse des thèmes abordés, mais aussi pour la large gamme d'exercices résolus qui conduisent progressivement le lecteur à une connaissance approfondie des notions de base de la logique.
Cette 4e édition, signée par deux auteurs des éditions précédentes et enrichie de l'apport d'un nouvel auteur, remanie le stock déjà abondant des exercices et lui ajoute une trentaine de pages, fruit de l'expérience d'enseignement.Côte titre : Fs/16536-16540 En ligne : https://www.amazon.fr/Initiation-logique-formelle-exercices-corriges/dp/28041824 [...] Format de la ressource électronique : Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité Fs/16536 Fs/16536-16540 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/16537 Fs/16536-16540 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/16538 Fs/16536-16540 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/16539 Fs/16536-16540 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/16540 Fs/16536-16540 Livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Introduction à la logique :Théorie de la démonstration:cours et exercices corrigés Type de document : texte imprimé Auteurs : DAVID,René ; NOUR,Karim ; RAFFALLI,Christophe Editeur : Paris : Dunod Année de publication : 2001 Collection : Sciences sup Importance : 332 Format : 24 ISBN/ISSN/EAN : 978-2-10-004892-2 Note générale : Index p.329-332,bibliogr. p.327-328 Catégories : Mathématique Mots-clés : Mathématique, Logique, Démonstration:théorie, Logique intuitionniste Index. décimale : 511.3 Logique mathématique Résumé :
Cet ouvrage présente la théorie de la démonstration en tant que discipline et en tant qu'outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie du livre traite plus particulièrement de la théorie de la démonstration, discipline à part entière des mathématiques. Des énoncés d'exercices sont proposés en fin de chapitres : certains sont corrigés. d'autres réalisables en ligne sur l'internet, grâce à un logiciel d'apprentissage mis au point par les auteurs.Note de contenu :
Sommaire
Calcul propositionnel.
Logique du premier ordre.
La sémantique du calcul propositionnel.
La sémantique de la logique du premier ordre.
Un peu de théorie des modèles.
Théorie algébrique. L'arithmétique de Peano.
La théorie des ensembles.
La traduction de Gödel.
La traduction de Kuroda.
Théorème de complétude.
Exemples de théories décidables.
Modèle de Kripke.
Théorème de Yankove.
Les systèmes LK et LJ.
Conséquence des théorèmes d'élimination des coupures.
Algorithmes de semi-décision pour LK et LJ.
Solutions des exercices.Introduction à la logique :Théorie de la démonstration:cours et exercices corrigés [texte imprimé] / DAVID,René ; NOUR,Karim ; RAFFALLI,Christophe . - Paris : Dunod, 2001 . - 332 ; 24. - (Sciences sup) .
ISBN : 978-2-10-004892-2
Index p.329-332,bibliogr. p.327-328
Catégories : Mathématique Mots-clés : Mathématique, Logique, Démonstration:théorie, Logique intuitionniste Index. décimale : 511.3 Logique mathématique Résumé :
Cet ouvrage présente la théorie de la démonstration en tant que discipline et en tant qu'outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie du livre traite plus particulièrement de la théorie de la démonstration, discipline à part entière des mathématiques. Des énoncés d'exercices sont proposés en fin de chapitres : certains sont corrigés. d'autres réalisables en ligne sur l'internet, grâce à un logiciel d'apprentissage mis au point par les auteurs.Note de contenu :
Sommaire
Calcul propositionnel.
Logique du premier ordre.
La sémantique du calcul propositionnel.
La sémantique de la logique du premier ordre.
Un peu de théorie des modèles.
Théorie algébrique. L'arithmétique de Peano.
La théorie des ensembles.
La traduction de Gödel.
La traduction de Kuroda.
Théorème de complétude.
Exemples de théories décidables.
Modèle de Kripke.
Théorème de Yankove.
Les systèmes LK et LJ.
Conséquence des théorèmes d'élimination des coupures.
Algorithmes de semi-décision pour LK et LJ.
Solutions des exercices.Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité Fs/0684 Fs/0684-0686 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/0685 Fs/0684-0686 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/0686 Fs/0684-0686 Livre Bibliothéque des sciences Français Disponible
DisponiblePermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalink
