skip to main content
Langue :
Afficher les résultats avec :

Résultats 1 - 10 sur 111  pour Tout le catalogue

résultats 1 2 3 4 5 next page
Filtré par : Fonds: Informatique enseignement supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logique mathématique. Cours et exercices.. 2. fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
Material Type:
Livre
Ajouter au Panier

Logique mathématique. Cours et exercices.. 2. fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles

CORI, R ; LASCAR, D

AXIOMES

MASSON, 1993

Disponible(->>)

2
Logique mathématique. Cours et exercices.. 1. calcul propositionnel, algèbres de Boole, calcul des prédicats
Material Type:
Livre
Ajouter au Panier

Logique mathématique. Cours et exercices.. 1. calcul propositionnel, algèbres de Boole, calcul des prédicats

CORI, R ; LASCAR, D

AXIOMES

MASSON, 1993

Disponible(->>)

3
Logiques pour l'intelligence artificielle
Material Type:
Livre
Ajouter au Panier

Logiques pour l'intelligence artificielle

Turner, Raymond (1947-...)

Appartient à la collection : Manuels informatiques Masson, 32, ISSN 0249-6992

Paris. Masson, 1986

Disponible(->>)

4
La logique ou L'art de raisonner
Material Type:
Livre
Ajouter au Panier

La logique ou L'art de raisonner

Delmas-Rigoutsos, Yannis (1969-...) ; Lalement, René

Appartient à la collection : Quatre à quatre (Paris), ISSN 1297-8612

[Paris]. Ed. Le Pommier, DL 2000, cop. 2000

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

5
Initiation à la logique formelle : exercices et corrigés
Material Type:
Livre
Ajouter au Panier

Initiation à la logique formelle : exercices et corrigés

Lucas, Thierry ; Berlanger, Isabelle ; De Greef, Isabelle

Appartient à la collection : Démarches de pensée, ISSN 1379-5287

Bruxelles. De Boeck, DL 2007

Disponible(->>)

6
Conceptual mathematics : a first introduction to categories
Material Type:
Livre
Ajouter au Panier

Conceptual mathematics : a first introduction to categories

Lawvere, Francis William (1937-...) ; Schanuel, Stephen Hoel (1933-...)

Cambridge. New York. Melbourne [etc.]. Cambridge university press, cop. 2009

Disponible(->>)

7
Logique sans peine
Material Type:
Livre
Ajouter au Panier

Logique sans peine

Carroll, Lewis (1832-1898) ; Gattégno, Jean (1935-1994) (Ed.) ; Coumet, Ernest (1933-2003) (Ed.) ; Ernst, Max (1891-1976) (Ill.)

Appartient à la collection : L'Esprit et la main, ISSN 0768-3766

Paris. Hermann, DL 1966

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

8
A mathematical introduction to logic
Material Type:
Livre
Ajouter au Panier

A mathematical introduction to logic

Enderton, Herbert B (1936-2010)

New York. London. Academic Press, copyright 1972

Disponible(->>)

9
Handbook of mathematical logic
Material Type:
Livre
Ajouter au Panier

Handbook of mathematical logic

Barwise, Jon (1942-2000)

Appartient à la collection : Studies in logic and the foundations of mathematics, 90, ISSN 0049-237X

Amsterdam [etc.]. North-Holland, 1977

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

10
Foundations of computing : system development with set theory and logic
Material Type:
Livre
Ajouter au Panier

Foundations of computing : system development with set theory and logic

Scheurer, Thierry

Appartient à la collection : International computer science series

Wokingham, New York, Paris. Addison Wesley, cop. 1994

Disponible(->>)

Résultats 1 - 10 sur 111  pour Tout le catalogue

résultats 1 2 3 4 5 next page

Refine Search Results

Affiner vos résultats

Type de ressource 

  1. Livres  (110)
  2. Thèses ou mémoires  (1)
  3. Autres open sub menu

Localisation 

  1. Descartes  (16)
  2. Descartes - CDR  (5)
  3. Monod  (110)
  4. Autres open sub menu

Sujet 

  1. Logique mathématique  (93)
  2. Logic, Symbolic and mathematical  (36)
  3. Décidabilité (logique mathématique)  (16)
  4. Complexité de calcul (informatique)  (15)
  5. Intelligence artificielle  (13)
  6. Programmation logique  (12)
  7. Informatique. Mathématiques  (11)
  8. Logique  (10)
  9. Ordinateurs. Programmation  (9)
  10. Théorèmes. Démonstration automatique  (8)
  11. Théorie des ensembles  (6)
  12. Langages formels  (6)
  13. Informatique  (6)
  14. Raisonnement  (5)
  15. Computational complexity  (5)
  16. Computer science  (5)
  17. Théorie de la démonstration  (5)
  18. Lambda-calcul  (5)
  19. Logic programming  (5)
  20. Mathématiques. Philosophie  (5)
  21. LOGIQUE MATHEMATIQUE  (5)
  22. Artificial intelligence  (5)
  23. Fonctions récursives  (4)
  24. Logique mathématique. Actes de congrès  (4)
  25. Automatic theorem proving  (4)
  26. Logic, Symbolic and mathematical. Congresses  (4)
  27. Calcul des prédicats  (4)
  28. Algorithmes  (4)
  29. Automates mathématiques, Théorie des  (4)
  30. Calcul des propositions  (4)
  31. Gödel, Théorème de  (4)
  32. Logique informatique  (3)
  33. Langages de programmation. Sémantique  (3)
  34. Algebra, Boolean  (3)
  35. Electronic digital computers. Programming  (3)
  36. Switching theory  (3)
  37. Circuits logiques  (3)
  38. Systèmes experts (informatique)  (3)
  39. Fonctions calculables  (3)
  40. Logique combinatoire  (3)
  41. Boole, Algèbre de  (3)
  42. Information, Théorie de l'  (3)
  43. Génie logiciel  (3)
  44. Computer science. Mathematics  (3)
  45. Catégories (mathématiques)  (2)
  46. Logiciels. Développement  (2)
  47. Machine theory  (2)
  48. Turing, Machines de  (2)
  49. Programming languages (Electronic computers)  (2)
  50. Mathématiques. Informatique  (2)
  51. LOGIQUE SYMBOLIQUE  (2)
  52. Traitement automatique du langage naturel  (2)
  53. Decidability (Mathematical logic)  (2)
  54. Épistémologie  (2)
  55. Langage et logique  (2)
  56. Logique intuitionniste  (2)
  57. Logique du premier ordre  (2)
  58. Traitement automatique des données  (2)
  59. Proof theory  (2)
  60. Logic  (2)
  61. EXERCICE  (2)
  62. Incomplétude, Théorèmes d'  (2)
  63. Prolog (langage de programmation)  (2)
  64. Métamathématique  (2)
  65. Reasoning  (2)
  66. Systèmes, Conception de  (2)
  67. Inférence  (2)
  68. Semantics (Philosophy)  (1)
  69. MODELISATION  (1)
  70. Reconnaissance automatique de la parole  (1)
  71. Nerode, Anil (1932-)  (1)
  72. Résolution de problème  (1)
  73. Symmetry (Mathematics)  (1)
  74. B (méthode formelle)  (1)
  75. Prise de décision  (1)
  76. Point fixe, théorie du  (1)
  77. Calcul formel. Informatique  (1)
  78. Incertitude  (1)
  79. Reasoning. Data processing  (1)
  80. Information theory  (1)
  81. Autres open sub menu

Auteur 

  1. Abramsky, Samson  (5)
  2. Gabbay, Dov M  (5)
  3. Girard, Jean-Yves  (3)
  4. Delahaye, Jean-Paul  (3)
  5. Hogger, Christopher John  (3)
  6. Smullyan, Raymond Merrill  (3)
  7. Gabbay, Dov. M  (2)
  8. Robinson, John Alan  (2)
  9. Kowalski, Robert A  (2)
  10. Lawvere, Francis William  (2)
  11. Raffalli, Christophe  (2)
  12. Margenstern, Maurice  (2)
  13. LASCAR, D  (2)
  14. Kröger, Fred  (2)
  15. Maibaum, T.S.E  (2)
  16. Monin, Jean-François  (2)
  17. Rougemont, Michel de  (2)
  18. Maibaum, Thomas S. E  (2)
  19. Gribomont, Pascal  (2)
  20. Nerode, Anil  (2)
  21. Kleene, Stephen Cole  (2)
  22. Lassaigne, Richard  (2)
  23. Papadimitriou, Christos H  (2)
  24. Nour, Karim  (2)
  25. CORI, R  (2)
  26. Lagasse, Jean  (2)
  27. Kuntzmann, Jean  (2)
  28. Gochet, Paul  (2)
  29. David, René  (2)
  30. Mendelson, Elliott  (1)
  31. Zbierski, Paweł  (1)
  32. Pym, David J  (1)
  33. Good, Irving John  (1)
  34. Régnier, Laurent  (1)
  35. Melham, Thomas F  (1)
  36. Bloom, Stephen L  (1)
  37. Szczerba, Leslaw W  (1)
  38. Börger, Egon  (1)
  39. Bouveresse, Jacques  (1)
  40. Manna, Zohar  (1)
  41. Frécon, Louis  (1)
  42. Hoek, W. van der  (1)
  43. Sambin, Giovanni  (1)
  44. Ésik, Zoltán  (1)
  45. Enderton, Herbert B  (1)
  46. Ithier, Philippe  (1)
  47. De Greef, Isabelle  (1)
  48. Gandy, Robin O  (1)
  49. L'Hospitalier, Yvon  (1)
  50. Adamowicz, Zofia  (1)
  51. Chazal, Gérard  (1)
  52. Courcelle, Bruno  (1)
  53. Schanuel, Stephen Hoel  (1)
  54. Schwichtenberg, Helmut  (1)
  55. Thomas, Wolfgang  (1)
  56. Lepage, François  (1)
  57. Waldinger, Richard  (1)
  58. Delmas-Rigoutsos, Yannis  (1)
  59. Meyer, J.-J. Ch  (1)
  60. Meulen, Alice G.B. ter  (1)
  61. Skyrms, Brian  (1)
  62. Ernst, Max  (1)
  63. Feferman, Solomon  (1)
  64. Curien, Pierre-Louis  (1)
  65. Sperschneider, V  (1)
  66. Huet, Gérard. informaticien  (1)
  67. Nute, Donald  (1)
  68. Došen, Kosta  (1)
  69. Institut de statistiques mathématiques  (1)
  70. Barwise, Jon  (1)
  71. Simpson, Stephen Gershom  (1)
  72. Lalement, René  (1)
  73. Flach, Peter A  (1)
  74. Richard, Jean-Pierre.physicien  (1)
  75. Arnold, André  (1)
  76. Clarke, Michael  (1)
  77. Coumet, Ernest  (1)
  78. Salomaa, Arto  (1)
  79. Turing, Alan Mathison  (1)
  80. Dauzat, Pierre-Emmanuel  (1)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1976  (7)
  2. 1976 à 1986  (8)
  3. 1987 à 1994  (44)
  4. 1995 à 2002  (32)
  5. Après 2002  (21)
  6. Autres open sub menu

Langue 

  1. Anglais  (69)
  2. Français  (41)
  3. Autres open sub menu

Collection 

  1. Artificial intelligence series  (1)
  2. Axiomes  (3)
  3. Bibliotheca mathematica  (1)
  4. Bibliothèque de l'automaticien  (1)
  5. Bibliothèque Pour la science  (1)
  6. Bibliothèque scientifique  (1)
  7. Cambridge tracts in theoretical computer science  (1)
  8. Collected works of A. M. Turing  (1)
  9. Collection des sciences appliquées de l'INSA de Lyon  (1)
  10. Collection Didactique  (1)
  11. Collection Informatique  (2)
  12. Collection Intelligence artificielle  (1)
  13. Collection technique et scientifique des télécommunications  (2)
  14. Computer Science and Technology Series  (1)
  15. Contemporary mathematics  (1)
  16. Démarches de pensée  (1)
  17. Dunod informatique  (1)
  18. Dunod université  (2)
  19. EATCS monographs on theoretical computer science  (2)
  20. Etudes et recherches en informatique  (1)
  21. Foundations of computing series  (1)
  22. IIA, Informatique intelligence artificielle  (1)
  23. Informatique  (1)
  24. Initiation aux nouveautés de la science  (1)
  25. International computer science series  (3)
  26. International series of monographs on computer science  (2)
  27. L'Esprit et la main  (1)
  28. Langue, raisonnement, calcul  (3)
  29. Lecture notes in pure and applied mathematics  (1)
  30. Logique mathématiques informatique  (3)
  31. London Mathematical Society lecture note series  (1)
  32. Manuels informatiques Masson  (3)
  33. Mathématiques et applications  (1)
  34. NATO ASI series  (1)
  35. Oxford logic guides  (1)
  36. Oxford science publications  (4)
  37. Perspectives in mathematical logic  (1)
  38. Petite bibliothèque Payot  (1)
  39. Prentice Hall software series  (1)
  40. Prentice-Hall International series in computer science  (1)
  41. Princeton monographs in philosophy  (1)
  42. Progress in computer science and applied logic  (2)
  43. Progress in theoretical computer science  (1)
  44. Publications of the Newton Institute  (1)
  45. Pure and applied mathematics  (1)
  46. Quatre à quatre  (1)
  47. Santa Fe Institute studies in the sciences of complexity  (1)
  48. Sciences sup  (2)
  49. Springer series in discrete mathematics and theoretical computer science  (1)
  50. Studies in logic and computation  (1)
  51. Studies in logic and the foundations of mathematics  (2)
  52. Studies in proof theory  (1)
  53. Synthese library  (1)
  54. Texts and monographs in computer science  (1)
  55. Texts in computer science  (1)
  56. Texts in theoretical computer science : an EATCS series  (1)
  57. The Computer science library  (1)
  58. Traité des nouvelles technologies  (1)
  59. Undergraduate texts in mathematics  (1)
  60. Universitext  (1)
  61. Visions des sciences  (2)
  62. Wadsworth philosophers series  (1)
  63. Wiley professional computing  (1)
  64. Autres open sub menu

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

Recherche dans les bases de données distantes en cours. Merci de patienter.