Introduction à la logique / André Delessert (1988) / 978-2-88074-153-2

Public ISBD Titre : Introduction à la logique Type de document : texte imprimé Auteurs : André Delessert, Auteur Editeur : Lausanne : Presses polytechniques et universitaires Année de publication : 1988 Importance : 200 p Présentation : couv:ill. Format : 16.2 x 1.4 x 23.9 cm ISBN/ISSN/EAN : 978-2-88074-153-2 Langues : Français (fre) Tags : logique  logique mathématique  raisonnement  démonstration  méthodes  propositions  connecteurs  preuves  Delessert  Presses polytechniques  théorie. Index. décimale : 510.22 Résumé : Introduction à la logique d’André Delessert est un manuel introductif à la logique formelle et au raisonnement mathématique. L’ouvrage présente les concepts fondamentaux de la logique, les types de propositions, les connecteurs logiques et les méthodes de démonstration. Destiné aux étudiants en mathématiques, sciences et philosophie, ce livre permet de développer une compréhension rigoureuse des structures logiques et des techniques de preuve, offrant ainsi une base solide pour l’étude avancée des mathématiques et de la logique formelle. Introduction à la logique [texte imprimé] / André Delessert, Auteur . - Lausanne : Presses polytechniques et universitaires, 1988 . - 200 p : couv:ill. ; 16.2 x 1.4 x 23.9 cm. ISBN : 978-2-88074-153-2 Langues : Français (fre) Tags : logique  logique mathématique  raisonnement  démonstration  méthodes  propositions  connecteurs  preuves  Delessert  Presses polytechniques  théorie. Index. décimale : 510.22 Résumé : Introduction à la logique d’André Delessert est un manuel introductif à la logique formelle et au raisonnement mathématique. L’ouvrage présente les concepts fondamentaux de la logique, les types de propositions, les connecteurs logiques et les méthodes de démonstration. Destiné aux étudiants en mathématiques, sciences et philosophie, ce livre permet de développer une compréhension rigoureuse des structures logiques et des techniques de preuve, offrant ainsi une base solide pour l’étude avancée des mathématiques et de la logique formelle.

Exemplaires(0)

Disponibilité
aucun exemplaire

Introduction pratique aux logiques non classiques / Maurice Bernadet (2011) / 978-2-7056-8062-6

Public ISBD Titre : Introduction pratique aux logiques non classiques : avec exercices corrigés Type de document : texte imprimé Auteurs : Maurice Bernadet Editeur : Paris : Hermann Année de publication : 2011 Importance : 1 vol. (VII-203 p.) Présentation : graph., couv. ill. en coul. Format : 22 cm ISBN/ISSN/EAN : 978-2-7056-8062-6 Note générale : Bibliogr. p. 198-199. Index Langues : Français (fre) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique.:510.2 Fondements des mathématiques Tags : logique mathématique  logiques non classiques  logique modale  logique intuitionniste  raisonnement  démonstration  systèmes logiques . Index. décimale : 510.22 Résumé : Introduction pratique aux logiques non classiques : avec exercices corrigés de Maurice Bernadet est un manuel pédagogique consacré aux systèmes logiques alternatifs à la logique classique. L’ouvrage présente les principales logiques non classiques, telles que la logique modale et la logique intuitionniste, en mettant l’accent sur les méthodes de raisonnement et les différences avec la logique traditionnelle. Accompagné de nombreux exercices corrigés, ce livre permet aux étudiants de comprendre et appliquer les concepts de la logique avancée, constituant ainsi un outil essentiel pour l’étude de la logique mathématique et de ses applications. Introduction pratique aux logiques non classiques : avec exercices corrigés [texte imprimé] / Maurice Bernadet . - Paris : Hermann, 2011 . - 1 vol. (VII-203 p.) : graph., couv. ill. en coul. ; 22 cm. ISBN : 978-2-7056-8062-6 Bibliogr. p. 198-199. Index Langues : Français (fre) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique.:510.2 Fondements des mathématiques Tags : logique mathématique  logiques non classiques  logique modale  logique intuitionniste  raisonnement  démonstration  systèmes logiques . Index. décimale : 510.22 Résumé : Introduction pratique aux logiques non classiques : avec exercices corrigés de Maurice Bernadet est un manuel pédagogique consacré aux systèmes logiques alternatifs à la logique classique. L’ouvrage présente les principales logiques non classiques, telles que la logique modale et la logique intuitionniste, en mettant l’accent sur les méthodes de raisonnement et les différences avec la logique traditionnelle. Accompagné de nombreux exercices corrigés, ce livre permet aux étudiants de comprendre et appliquer les concepts de la logique avancée, constituant ainsi un outil essentiel pour l’étude de la logique mathématique et de ses applications.

Exemplaires(0)

Disponibilité
aucun exemplaire

INTRODUCTION TO MATHEMATICAL LOGIC / Elliott Mendelson (2009) / 978-1-58488-876-5

Public ISBD Titre : INTRODUCTION TO MATHEMATICAL LOGIC Type de document : texte imprimé Auteurs : Elliott Mendelson Mention d'édition : 5ème.éd. Editeur : Paris : Taylor Année de publication : 2009 Autre Editeur : Francis Importance : 469p. Présentation : couv.coul. Format : 24cm. ISBN/ISSN/EAN : 978-1-58488-876-5 Note générale : Biblio.p.433-446. Index. Langues : Anglais (eng) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique.:510.2 Fondements des mathématiques Tags : logique mathématique  logique formelle  calcul des prédicats  démonstration  raisonnement  théorie des modèles  calculabilité  Mendelson  exercices  Taylor & Francis Index. décimale : 510.22 Résumé : Introduction to Mathematical Logic d’Elliott Mendelson est un ouvrage de référence en logique mathématique, destiné aux étudiants avancés en mathématiques et en informatique théorique. Le livre présente les fondements de la logique formelle, notamment le calcul propositionnel et le calcul des prédicats, ainsi que des éléments de théorie des modèles et de calculabilité. Structuré de manière rigoureuse et accompagné d’exercices, il permet de développer une compréhension approfondie du raisonnement logique et des systèmes formels, constituant une base essentielle pour les études en mathématiques et en informatique. INTRODUCTION TO MATHEMATICAL LOGIC [texte imprimé] / Elliott Mendelson  . -  5ème.éd. . - Paris : Taylor : Francis, 2009 . - 469p. : couv.coul. ; 24cm. ISBN : 978-1-58488-876-5 Biblio.p.433-446. Index. Langues : Anglais (eng) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique.:510.2 Fondements des mathématiques Tags : logique mathématique  logique formelle  calcul des prédicats  démonstration  raisonnement  théorie des modèles  calculabilité  Mendelson  exercices  Taylor & Francis Index. décimale : 510.22 Résumé : Introduction to Mathematical Logic d’Elliott Mendelson est un ouvrage de référence en logique mathématique, destiné aux étudiants avancés en mathématiques et en informatique théorique. Le livre présente les fondements de la logique formelle, notamment le calcul propositionnel et le calcul des prédicats, ainsi que des éléments de théorie des modèles et de calculabilité. Structuré de manière rigoureuse et accompagné d’exercices, il permet de développer une compréhension approfondie du raisonnement logique et des systèmes formels, constituant une base essentielle pour les études en mathématiques et en informatique.

Exemplaires(0)

Disponibilité
aucun exemplaire

Langages formels / Olivier Carton (2014) / 978-2-311-01400-6

Public ISBD Titre : Langages formels : calculabilité et complexité :cours et exercices corrigés: LICENCE 3 & MASTER - MATHÉMATIQUES & INFORMATIQUE - AGREGATION MATHEMATIQUES. Type de document : texte imprimé Auteurs : Olivier Carton Editeur : Paris : Vuibert Année de publication : 2014 Importance : 1 vol. (255 p.) Présentation : couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-311-01400-6 Note générale : Bibliogr. p. 251-252. Index Langues : Français (fre) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique.:510.2 Fondements des mathématiques Tags : langages formels  calculabilité  complexité  théorie de la computation  logique mathématique  automates  algorithmes  exercices corrigés  informatique théorique  Vuibert Index. décimale : 510.22 Résumé : Ce manuel est une introduction à l'informatique fondamentale présentant tous les grands domaines de la théorie des langages formels aux notions de calculabilité et de complexité. Le cours est complété par de nombreux exercices dont les corrigés, très détaillés, assurent une mise en application efficace des différentes notions. Il s'adresse aux étudiants en Licence 3 et en Master de Mathématiques ou d'informatique ainsi qu'aux candidats à l'Agrégation de mathématiques, option informatique, dont il couvre l'essentiel du programme. Note de contenu : Sommaire : I. Langages formels ; 1. Langages rationnels ; 2. Langages algébriques ; II. Calculabilité et complexité ; 3. Calculabilité ; 4. Complexité Au fil de chaque chapitre, on trouvera des exercices suivis de leurs corrigés. Langages formels : calculabilité et complexité :cours et exercices corrigés: LICENCE 3 & MASTER - MATHÉMATIQUES & INFORMATIQUE - AGREGATION MATHEMATIQUES. [texte imprimé] / Olivier Carton . - Paris : Vuibert, 2014 . - 1 vol. (255 p.) : couv. ill. en coul. ; 24 cm. ISBN : 978-2-311-01400-6 Bibliogr. p. 251-252. Index Langues : Français (fre) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique.:510.2 Fondements des mathématiques Tags : langages formels  calculabilité  complexité  théorie de la computation  logique mathématique  automates  algorithmes  exercices corrigés  informatique théorique  Vuibert Index. décimale : 510.22 Résumé : Ce manuel est une introduction à l'informatique fondamentale présentant tous les grands domaines de la théorie des langages formels aux notions de calculabilité et de complexité. Le cours est complété par de nombreux exercices dont les corrigés, très détaillés, assurent une mise en application efficace des différentes notions. Il s'adresse aux étudiants en Licence 3 et en Master de Mathématiques ou d'informatique ainsi qu'aux candidats à l'Agrégation de mathématiques, option informatique, dont il couvre l'essentiel du programme. Note de contenu : Sommaire : I. Langages formels ; 1. Langages rationnels ; 2. Langages algébriques ; II. Calculabilité et complexité ; 3. Calculabilité ; 4. Complexité Au fil de chaque chapitre, on trouvera des exercices suivis de leurs corrigés.

Exemplaires(0)

Disponibilité
aucun exemplaire

LOGIQUE MATHÉMATIQUE / René Cori (2003) / 978-2-10-005453-4

Public ISBD Titre : LOGIQUE MATHÉMATIQUE : 2. Fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèle cours et exercices corrigés Type de document : texte imprimé Auteurs : René Cori ; Daniel Lascar ; Jean-Louis. préf.Krivine Editeur : Paris : Dunod Année de publication : 2003 Collection : Sciences sup, ISSN 1636-2217 Importance : (XV-347 p.) Présentation : couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-005453-4 Note générale : Biblio. p. [323]-325. Index Langues : Français (fre) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique.:510.2 Fondements des mathématiques Tags : logique mathématique  calculabilité  fonctions récursives  théorème de Gödel  théorie des ensembles  théorie des modèles  démonstration  raisonnement  exercices corrigés  Cori  Lascar Index. décimale : 510.22 Résumé : Logique mathématique 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles de René Cori et Daniel Lascar est un ouvrage avancé consacré aux fondements de la logique mathématique. Il aborde des thèmes essentiels tels que la calculabilité à travers les fonctions récursives, les résultats fondamentaux comme le théorème de Gödel, ainsi que la théorie des ensembles et la théorie des modèles. Accompagné de cours structuré et d’exercices corrigés, ce livre s’adresse aux étudiants en mathématiques et en informatique théorique, offrant une compréhension approfondie des bases logiques et des limites des systèmes formels. LOGIQUE MATHÉMATIQUE : 2. Fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèle cours et exercices corrigés [texte imprimé] / René Cori ; Daniel Lascar ; Jean-Louis. préf.Krivine . - Paris : Dunod, 2003 . - (XV-347 p.) : couv. ill. en coul. ; 24 cm. - (Sciences sup, ISSN 1636-2217) . ISBN : 978-2-10-005453-4 Biblio. p. [323]-325. Index Langues : Français (fre) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique.:510.2 Fondements des mathématiques Tags : logique mathématique  calculabilité  fonctions récursives  théorème de Gödel  théorie des ensembles  théorie des modèles  démonstration  raisonnement  exercices corrigés  Cori  Lascar Index. décimale : 510.22 Résumé : Logique mathématique 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles de René Cori et Daniel Lascar est un ouvrage avancé consacré aux fondements de la logique mathématique. Il aborde des thèmes essentiels tels que la calculabilité à travers les fonctions récursives, les résultats fondamentaux comme le théorème de Gödel, ainsi que la théorie des ensembles et la théorie des modèles. Accompagné de cours structuré et d’exercices corrigés, ce livre s’adresse aux étudiants en mathématiques et en informatique théorique, offrant une compréhension approfondie des bases logiques et des limites des systèmes formels.

Exemplaires(0)

Disponibilité
aucun exemplaire

Logique Mathématique et calculabilité / Mohamed Mezghiche (2021) / 978-9947-34-087-5

Public ISBD Titre : Logique Mathématique et calculabilité : Cours et TD avec Corrigés Type de document : texte imprimé Auteurs : Mohamed Mezghiche Editeur : ALGER : pages bleus Année de publication : 2021 Collection : Les Fascicules du LMD Importance : 118p. Présentation : couv.ill Format : 23.5cm ISBN/ISSN/EAN : 978-9947-34-087-5 Note générale : bib. Langues : Français (fre) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique.:510.2 Fondements des mathématiques Tags : logique mathématique  calculabilité  théorie de la computation  raisonnement  démonstration  algorithmes  cours  TD  exercices corrigés  LMD  Mezghiche Index. décimale : 510.22 Résumé : Logique mathématique et calculabilité : cours et TD avec corrigés de Mohamed Mezghiche est un manuel pédagogique destiné aux étudiants en mathématiques et informatique dans le cadre du système LMD. L’ouvrage présente les fondements de la logique mathématique et de la calculabilité, en abordant les notions de raisonnement formel, d’algorithmes et de théorie de la computation, accompagnées de travaux dirigés et d’exercices corrigés. Conçu pour faciliter la compréhension et l’application des concepts, ce livre constitue un outil essentiel pour maîtriser les bases théoriques nécessaires aux études avancées en mathématiques et en informatique. Logique Mathématique et calculabilité : Cours et TD avec Corrigés [texte imprimé] / Mohamed Mezghiche . - ALGER : pages bleus, 2021 . - 118p. : couv.ill ; 23.5cm. - (Les Fascicules du LMD) . ISBN : 978-9947-34-087-5 bib. Langues : Français (fre) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique.:510.2 Fondements des mathématiques Tags : logique mathématique  calculabilité  théorie de la computation  raisonnement  démonstration  algorithmes  cours  TD  exercices corrigés  LMD  Mezghiche Index. décimale : 510.22 Résumé : Logique mathématique et calculabilité : cours et TD avec corrigés de Mohamed Mezghiche est un manuel pédagogique destiné aux étudiants en mathématiques et informatique dans le cadre du système LMD. L’ouvrage présente les fondements de la logique mathématique et de la calculabilité, en abordant les notions de raisonnement formel, d’algorithmes et de théorie de la computation, accompagnées de travaux dirigés et d’exercices corrigés. Conçu pour faciliter la compréhension et l’application des concepts, ce livre constitue un outil essentiel pour maîtriser les bases théoriques nécessaires aux études avancées en mathématiques et en informatique.

Exemplaires(0)

Disponibilité
aucun exemplaire

THÉORIE DES ENSEMBLES LOGIQUE LES ENTIERS / Jackes Pichon (1989) / 978-2-7298-8941-8

Public ISBD Titre : THÉORIE DES ENSEMBLES LOGIQUE LES ENTIERS : Bases de raisonnement mathématique - Indices , famille indexées - Relations d'ordre ,d'équivalence - Ensemble finis, infinis dénombrables. Type de document : texte imprimé Auteurs : Jackes Pichon Editeur : Paris : Ellipses Année de publication : 1989 Importance : 160p. Présentation : Couv. Format : 32cm. ISBN/ISSN/EAN : 978-2-7298-8941-8 Note générale : Index p.159-p.160 Langues : Français (fre) Tags : mathématiques  théorie des ensembles  logique  entiers  raisonnement  axiomes  structures mathématiques  concepts fondamentaux  Ellipses  Pichon Index. décimale : 510.22 Résumé : Théorie des ensembles, logique, les entiers de Jackes Pichon est un manuel introductif aux fondements des mathématiques. L’ouvrage présente de manière claire la théorie des ensembles, les principes de la logique mathématique et les propriétés des entiers, en insistant sur le raisonnement rigoureux et la construction des structures mathématiques fondamentales. Destiné aux étudiants en mathématiques ou disciplines scientifiques, ce livre permet de comprendre les bases de la logique et des ensembles, nécessaires à l’étude approfondie des mathématiques et de leurs applications. THÉORIE DES ENSEMBLES LOGIQUE LES ENTIERS : Bases de raisonnement mathématique - Indices , famille indexées - Relations d'ordre ,d'équivalence - Ensemble finis, infinis dénombrables. [texte imprimé] / Jackes Pichon . - Paris : Ellipses, 1989 . - 160p. : Couv. ; 32cm. ISBN : 978-2-7298-8941-8 Index p.159-p.160 Langues : Français (fre) Tags : mathématiques  théorie des ensembles  logique  entiers  raisonnement  axiomes  structures mathématiques  concepts fondamentaux  Ellipses  Pichon Index. décimale : 510.22 Résumé : Théorie des ensembles, logique, les entiers de Jackes Pichon est un manuel introductif aux fondements des mathématiques. L’ouvrage présente de manière claire la théorie des ensembles, les principes de la logique mathématique et les propriétés des entiers, en insistant sur le raisonnement rigoureux et la construction des structures mathématiques fondamentales. Destiné aux étudiants en mathématiques ou disciplines scientifiques, ce livre permet de comprendre les bases de la logique et des ensembles, nécessaires à l’étude approfondie des mathématiques et de leurs applications.

Exemplaires(0)

Disponibilité
aucun exemplaire

---

1 (1 - 7 / 7) Par page : 25 50 100 200