7 résultat(s) recherche sur le mot-clé 'resolution'

Basic proof theory / Troelstra, A.

Public ISBD Titre : Basic proof theory Type de document : texte imprimé Auteurs : Troelstra, A. ; Schwichtenberg, H. Mention d'édition : 2nd ed. Editeur : Cambridge : Cambridge University Press Année de publication : 2000 Collection : Cambridge Tracts in Computer Sciences num. 43 Importance : xii - 417 p. ISBN/ISSN/EAN : 978-0-521-77911-1 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:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F03 Proof theory, general 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F05 Cut-elimination and normal-form theorems 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragments 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F35 Second- and higher-order arithmetic and fragments 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 68-XX Computer science :68NXX Software:68N17 Logic programming Mots-clés : apartness  e-logic  multi-succedent intuitionistic sequent calculus  kleene-style sequent calculus  logic programming  connections with computer science  first-order arithmetic  modal logic  hilbert-style system  resolution  second-order heyting arithmetic  linear logic  coherence theorem  categorical logic  formulas-as-types relation  combinatory logic  type theory  interpolation  strong normalization  cut elimination  gentzen type system  sequent calculus  natural deduction system  intuitionistic logic  classical logic  minimal logic  proof theory Index. décimale : 03C Monographie Basic proof theory [texte imprimé] / Troelstra, A. ; Schwichtenberg, H.  . -  2nd ed. . - Cambridge : Cambridge University Press, 2000 . - xii - 417 p.. - (Cambridge Tracts in Computer Sciences; 43) . ISBN : 978-0-521-77911-1 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:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F03 Proof theory, general 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F05 Cut-elimination and normal-form theorems 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragments 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F35 Second- and higher-order arithmetic and fragments 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 68-XX Computer science :68NXX Software:68N17 Logic programming Mots-clés : apartness  e-logic  multi-succedent intuitionistic sequent calculus  kleene-style sequent calculus  logic programming  connections with computer science  first-order arithmetic  modal logic  hilbert-style system  resolution  second-order heyting arithmetic  linear logic  coherence theorem  categorical logic  formulas-as-types relation  combinatory logic  type theory  interpolation  strong normalization  cut elimination  gentzen type system  sequent calculus  natural deduction system  intuitionistic logic  classical logic  minimal logic  proof theory Index. décimale : 03C Monographie

Exemplaires

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

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

Public ISBD Titre : a First course in formal logic and its applications in computer science Type de document : texte imprimé Auteurs : R. D. Dowsing ; Walter, C.D ; V. J. Rayward-Smith Editeur : Oxford : Blackwell Scientific Publications Année de publication : 1986 Collection : Computer Science Texts Importance : vi - 265 p. ISBN/ISSN/EAN : 978-0-632-01308-1 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:03B05 Classical propositional logic 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : prolog  quicksort  pascal  logic programming  resolution  program correctness  switching networks  deductions  boolean algebra Index. décimale : 68C Monographie a First course in formal logic and its applications in computer science [texte imprimé] / R. D. Dowsing ; Walter, C.D ; V. J. Rayward-Smith . - Oxford : Blackwell Scientific Publications, 1986 . - vi - 265 p.. - (Computer Science Texts) . ISBN : 978-0-632-01308-1 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:03B05 Classical propositional logic 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : prolog  quicksort  pascal  logic programming  resolution  program correctness  switching networks  deductions  boolean algebra Index. décimale : 68C Monographie

Exemplaires

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

Introduction to singularities and deformations / Lossen, Christoph ; Greuel, Gert-Martin ; E. Shustin

Public ISBD Titre : Introduction to singularities and deformations Type de document : texte imprimé Auteurs : Lossen, Christoph ; Greuel, Gert-Martin ; E. Shustin Editeur : New York, NY : Springer Année de publication : 2007 Collection : Springer Monographs in Mathematics Importance : xii - 471 p. ISBN/ISSN/EAN : 978-3-540-28380-5 Langues : Anglais Catégories : 14-XX Algebraic geometry:14BXX Local theory:14B05 Singularities 32-XX Several complex variables and analytic spaces :32-02 Research exposition (monographs, survey articles) 32-XX Several complex variables and analytic spaces :32SXX Singularities :32S30 Deformations of singularities; vanishing cycles Mots-clés : complex spaces and germs  isolated hypersurface singularities  equisingular deformations  μ  -constant stratum  embedded deformations  plane curve singularities  parametrization  resolution  normalization  versal deformations  obstructions  cotangent complex Index. décimale : 14C Monographie Introduction to singularities and deformations [texte imprimé] / Lossen, Christoph ; Greuel, Gert-Martin ; E. Shustin . - New York, NY : Springer, 2007 . - xii - 471 p.. - (Springer Monographs in Mathematics) . ISBN : 978-3-540-28380-5 Langues : Anglais Catégories : 14-XX Algebraic geometry:14BXX Local theory:14B05 Singularities 32-XX Several complex variables and analytic spaces :32-02 Research exposition (monographs, survey articles) 32-XX Several complex variables and analytic spaces :32SXX Singularities :32S30 Deformations of singularities; vanishing cycles Mots-clés : complex spaces and germs  isolated hypersurface singularities  equisingular deformations  μ  -constant stratum  embedded deformations  plane curve singularities  parametrization  resolution  normalization  versal deformations  obstructions  cotangent complex Index. décimale : 14C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
17777	14C267	imprimé / autre	CRDM	14/GEOMETRIE ALGEBRIQUE	Disponible
18719	LMM / GRE	imprimé / autre	Fédération FR 2962 - Le Mans	Le Mans Ouvrages	Disponible

Modern computer algebra / von zur Gathen, Joachim

Public ISBD Titre : Modern computer algebra Type de document : texte imprimé Auteurs : von zur Gathen, Joachim ; Gerhard, Jürgen Editeur : Cambridge : Cambridge University Press Année de publication : 1999 Importance : xiii - 753 p. ISBN/ISSN/EAN : 978-0-521-64176-0 Langues : Anglais Catégories : 11-XX Number theory:11YXX Computational number theory 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68WXX Algorithms :68W30 Symbolic computation and algebraic computation Mots-clés : algorithme rapide  integration fonction  base gr?r  systeme equation  resolution  factorisation polynome  iteration  serie newton  polynome  algorithme  cryptographie  calcul formel Index. décimale : 68C Monographie Modern computer algebra [texte imprimé] / von zur Gathen, Joachim ; Gerhard, Jürgen . - Cambridge : Cambridge University Press, 1999 . - xiii - 753 p. ISBN : 978-0-521-64176-0 Langues : Anglais Catégories : 11-XX Number theory:11YXX Computational number theory 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68WXX Algorithms :68W30 Symbolic computation and algebraic computation Mots-clés : algorithme rapide  integration fonction  base gr?r  systeme equation  resolution  factorisation polynome  iteration  serie newton  polynome  algorithme  cryptographie  calcul formel Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
12772	68C18	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible
13151	68C18	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Strong shape and homology / Mardesic, Sibe

Public ISBD Titre : Strong shape and homology Type de document : texte imprimé Auteurs : Mardesic, Sibe Editeur : New York, NY : Springer Année de publication : 2000 Collection : Springer Monographs in Mathematics Importance : xii - 489 p. ISBN/ISSN/EAN : 978-3-540-66198-6 Langues : Anglais Catégories : 54-XX General topology :54CXX Maps and general types of spaces defined by maps:54C56 Shape theory 55-XX Algebraic topology:55PXX Homotopy theory :55P55 Shape theory 55-XX Algebraic topology:55QXX Homotopy groups:55Q07 Shape groups Mots-clés : higher derived limits  strong expansion  resolution  strong homology Index. décimale : 55C Monographie Strong shape and homology [texte imprimé] / Mardesic, Sibe . - New York, NY : Springer, 2000 . - xii - 489 p. . - (Springer Monographs in Mathematics) . ISBN : 978-3-540-66198-6 Langues : Anglais Catégories : 54-XX General topology :54CXX Maps and general types of spaces defined by maps:54C56 Shape theory 55-XX Algebraic topology:55PXX Homotopy theory :55P55 Shape theory 55-XX Algebraic topology:55QXX Homotopy groups:55Q07 Shape groups Mots-clés : higher derived limits  strong expansion  resolution  strong homology Index. décimale : 55C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16456	55C134	imprimé / autre	CRDM	55/TOPOLOGIE ALGEBRIQUE	Disponible

the Mathematics of computerized tomography / Natterer F.

Permalink

Topological invariants of the complement to arrangements of rational plane curves / José Ignacio Cogolludo-Agustín

Permalink