Les démonstrations et les algorithmes / Gilles Dowek

Public ISBD Titre : Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur Editeur : Palaiseau : Éd. de l'École polytechnique Année de publication : 2010 Collection : Informatique Importance : 193 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-7302-1569-5 Langues : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : proof  algorithm  predicate logic  model  soundness  completeness  decidability  Turing machine  halting problem  lambda calculus  rewriting system Index. décimale : 104I Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité [texte imprimé] / Gilles Dowek, Auteur . - Palaiseau : Éd. de l'École polytechnique, 2010 . - 193 p. ; 24 cm. - (Informatique) . ISBN : 978-2-7302-1569-5 Langues : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : proof  algorithm  predicate logic  model  soundness  completeness  decidability  Turing machine  halting problem  lambda calculus  rewriting system Index. décimale : 104I

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21099	104I31	imprimé / autre	CRDM	104/LICENCE ET MAITRISE	Disponible

Einführung in die mathematische logik. Teil I / Asser, G.

Public ISBD Titre : Einführung in die mathematische logik. Teil I : aussagenkalkül Type de document : texte imprimé Auteurs : Asser, G. Editeur : Leipzig : B.G. Teubner Année de publication : 1967 Collection : Mathematisch-Naturwissenschaftliche Bibliothek num. 18 Importance : iv - 184 p. Langues : Allemand Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B05 Classical propositional logic Mots-clés : logic  philosophy  foundations of mathematics Index. décimale : 03C Monographie Einführung in die mathematische logik. Teil I : aussagenkalkül [texte imprimé] / Asser, G. . - Leipzig : B.G. Teubner, 1967 . - iv - 184 p.. - (Mathematisch-Naturwissenschaftliche Bibliothek; 18) . Langues : Allemand Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B05 Classical propositional logic Mots-clés : logic  philosophy  foundations of mathematics Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9200	03C34	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Einführung in die mengenlehre und die theorie der reellen funktionen / P. S. Alexandroff

Public ISBD Titre : Einführung in die mengenlehre und die theorie der reellen funktionen Type de document : texte imprimé Auteurs : P. S. Alexandroff ; W. Trad. Richter ; Peschel, M. Editeur : Berlin : Veb Deutscher Verlag der Wissenschaften Année de publication : 1964 Collection : Hochschulbücher für Mathematik num. 023 Importance : Xii - 279 p. Langues : Allemand Langues originales : Russe Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A05 General mathematics 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 26-XX Real functions :26-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : real functions  mathematical logic Index. décimale : 03C Monographie Einführung in die mengenlehre und die theorie der reellen funktionen [texte imprimé] / P. S. Alexandroff ; W. Trad. Richter ; Peschel, M. . - Berlin : Veb Deutscher Verlag der Wissenschaften, 1964 . - Xii - 279 p.. - (Hochschulbücher für Mathematik; 023) . Langues : Allemand Langues originales : Russe Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A05 General mathematics 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 26-XX Real functions :26-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : real functions  mathematical logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9268	03C129	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Elements of mathematical logic / Novikov, P. S.

Public ISBD Titre : Elements of mathematical logic Type de document : texte imprimé Auteurs : Novikov, P. S. ; Ch. Sarthou, Traducteur Editeur : Edinburgh : Oliver & Boyd Année de publication : 1964 Importance : xi - 296 p. Langues : Anglais Langues originales : Russe Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : mathematical logic Index. décimale : 03C Monographie Elements of mathematical logic [texte imprimé] / Novikov, P. S. ; Ch. Sarthou, Traducteur . - Edinburgh : Oliver & Boyd, 1964 . - xi - 296 p. Langues : Anglais Langues originales : Russe Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : mathematical logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
4429	03C14	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Equivalents of the axiom of choice / Rubin, H.

Public ISBD Titre : Equivalents of the axiom of choice Type de document : texte imprimé Auteurs : Rubin, H. ; Rubin, Jean E. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1963 Collection : Studies in Logic and the Foundations of Mathematics Importance : xiv - 134 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03EXX Set theory:03E25 Axiom of choice and related propositions Mots-clés : logic  algebraic forms  maximal principles  law of trichotomy  well-ordering  set forms  foundation  extensionality  nbg set theory  choice-like principles Index. décimale : 03C Monographie Equivalents of the axiom of choice [texte imprimé] / Rubin, H. ; Rubin, Jean E. . - Amtsterdam : North-Holland Publishing Company, 1963 . - xiv - 134 p.. - (Studies in Logic and the Foundations of Mathematics) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03EXX Set theory:03E25 Axiom of choice and related propositions Mots-clés : logic  algebraic forms  maximal principles  law of trichotomy  well-ordering  set forms  foundation  extensionality  nbg set theory  choice-like principles Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15922	03C37	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible
4743	03C37	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Exercices avec solutions sur la théorie des sous-ensembles flous / Kaufmann, A.

Permalink

a First course in formal logic and its applications in computer science / R. D. Dowsing

Permalink

Foundations of mathematical logic / Curry, Haskell B.

Permalink

Gödel's incompleteness theorems / Raymond M. Smullyan

Permalink

Introduction à la logique / Tarski, A.

Permalink

Introduction à la théorie des ensembles / Paul R. Halmos

Permalink

Introduction à la théorie des sous-ensembles flous / Kaufmann, A.

Permalink

Introduction to axiomatic set theory / Takeuti, G.

Permalink

Introduction to combinators and lambda-calculus / Hindley, J. Roger

Permalink

Introduction to combinatory logic / Hindley, J. Roger

Permalink

---

page /5