6 résultat(s) recherche sur le mot-clé 'predicate logic'

an Introduction to modal logic / Hughes, G.D.

Public ISBD Titre : an Introduction to modal logic Type de document : texte imprimé Auteurs : Hughes, G.D. ; Cresswell, M.J. Editeur : London : Methuen Année de publication : 1968 Collection : University Paperbacks num. 431 Importance : xii - 388 p. ISBN/ISSN/EAN : 978-0-416-29460-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic Mots-clés : modal logic  predicate logic  propositional logic Index. décimale : 03C Monographie an Introduction to modal logic [texte imprimé] / Hughes, G.D. ; Cresswell, M.J. . - London : Methuen, 1968 . - xii - 388 p.. - (University Paperbacks; 431) . ISBN : 978-0-416-29460-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic Mots-clés : modal logic  predicate logic  propositional logic Index. décimale : 03C Monographie

Exemplaires

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

Logic in computer science. Modelling and reasoning about systems / Michael Huth

Public ISBD Titre : Logic in computer science. Modelling and reasoning about systems Type de document : texte imprimé Auteurs : Michael Huth, Auteur ; Mark Ryan, Auteur Mention d'édition : 2nd ed. Editeur : Cambridge : Cambridge University Press Année de publication : 2004 Importance : xiv - 427 p. ISBN/ISSN/EAN : 978-0-521-54310-1 Note générale : commande M. Borer Langues : Anglais 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:03B70 Logic in computer science 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : contract-programming paradigm  program verification  model checking  object modeling  predicate logic  propositional logic  sat solver  natural deduction Index. décimale : 68C Monographie Logic in computer science. Modelling and reasoning about systems [texte imprimé] / Michael Huth, Auteur ; Mark Ryan, Auteur  . -  2nd ed. . - Cambridge : Cambridge University Press, 2004 . - xiv - 427 p. ISBN : 978-0-521-54310-1 commande M. Borer Langues : Anglais 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:03B70 Logic in computer science 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : contract-programming paradigm  program verification  model checking  object modeling  predicate logic  propositional logic  sat solver  natural deduction Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
17769	68C340	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Logic, induction and sets / Thomas Forster

Public ISBD Titre : Logic, induction and sets Type de document : texte imprimé Auteurs : Thomas Forster Editeur : Cambridge University Press Année de publication : 2003 Collection : London Mathematical Society Student Texts num. 56 Importance : x, 234 p. ISBN/ISSN/EAN : 978-0-521-53361-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : ordinals  propositional logic  textbook  recursive datatypes  posets  predicate logic  computable functions  set theory  lattices Index. décimale : 03C Monographie Logic, induction and sets [texte imprimé] / Thomas Forster . - [S.l.] : Cambridge University Press, 2003 . - x, 234 p.. - (London Mathematical Society Student Texts; 56) . ISBN : 978-0-521-53361-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : ordinals  propositional logic  textbook  recursive datatypes  posets  predicate logic  computable functions  set theory  lattices Index. décimale : 03C Monographie

Exemplaires

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

Proofs and algorithms / Gilles Dowek

Public ISBD Titre : Proofs and algorithms : an introduction to logic and computability Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur Editeur : London : Springer Année de publication : 2011 Collection : Undergraduate Topics in Computer Science Importance : xii - 155 p. Format : 24 cm ISBN/ISSN/EAN : 978-0-85729-120-2 Langues : Anglais 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 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.) Mots-clés : proof  algorithm  predicate logic  model  soundness  completeness  decidability  Turing machine  halting problem  lambda calculus  rewriting system Index. décimale : 68C Monographie Proofs and algorithms : an introduction to logic and computability [texte imprimé] / Gilles Dowek, Auteur . - London : Springer, 2011 . - xii - 155 p. ; 24 cm. - (Undergraduate Topics in Computer Science) . ISBN : 978-0-85729-120-2 Langues : Anglais 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 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.) Mots-clés : proof  algorithm  predicate logic  model  soundness  completeness  decidability  Turing machine  halting problem  lambda calculus  rewriting system Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21238	LINA/68C413	Ouvrage	CRDM	68/INFORMATIQUE	Disponible

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

Mathematical methods in linguistics / Partee, Barbara H.

Permalink